From c17c88ffba83c546ae439238fdd43adce3992f53 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Mon, 16 May 2022 20:42:26 -0700 Subject: [PATCH] change run command --- fp16mul_test.smt2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fp16mul_test.smt2 b/fp16mul_test.smt2 index 1bf11454..6ad9dc79 100644 --- a/fp16mul_test.smt2 +++ b/fp16mul_test.smt2 @@ -6,7 +6,7 @@ ; all the effort to add support in yosys and nmigen for smtlib2 reals and ; floating-point numbers. -; run with: z3 -smt2 fpmul_test.smt2 +; run with: z3 -smt2 fp16mul_test.smt2 ; create some handy type aliases (define-sort bv1 () (_ BitVec 1)) -- 2.30.2