change run command
authorJacob Lifshay <programmerjake@gmail.com>
Tue, 17 May 2022 03:42:26 +0000 (20:42 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Tue, 17 May 2022 03:42:26 +0000 (20:42 -0700)
commitc17c88ffba83c546ae439238fdd43adce3992f53
treecfe2b1c284cbd81c4db08be865147ed0eb69954c
parent4281047204741bda8507f3868fbf1da29a981e80
change run command
fp16mul_test.smt2