From e142b3eb0f972997c643594915388c430e01e2e3 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 17 May 2022 09:59:29 +0100
Subject: [PATCH] add set-logic ALL clause to stop cvc5 warning

---
 fp16mul_test.smt2 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/fp16mul_test.smt2 b/fp16mul_test.smt2
index 6ad9dc79..7132a284 100644
--- a/fp16mul_test.smt2
+++ b/fp16mul_test.smt2
@@ -7,6 +7,7 @@
 ; floating-point numbers.
 
 ; run with: z3 -smt2 fp16mul_test.smt2
+(set-logic ALL)
 
 ; create some handy type aliases
 (define-sort bv1 () (_ BitVec 1))
@@ -407,4 +408,4 @@
     rounded_up_normal
     round_up_overflows_normal
     do_round_up_normal
-))
\ No newline at end of file
+))
-- 
2.30.2