From: Jacob Lifshay <programmerjake@gmail.com>
Date: Tue, 17 May 2022 03:42:26 +0000 (-0700)
Subject: change run command
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c17c88ffba83c546ae439238fdd43adce3992f53;p=ieee754fpu.git

change run command
---

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))