Run jfs-opt before jfs-smt2cxx, per mc-imperial/jfs#39

moyix · Dec 7, 2020 · 35123c9 · 35123c9
1 parent d984b18
commit 35123c9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/generate.sh b/generate.sh
@@ -41,8 +41,8 @@ transpose() {
 
 smt2cxx() {
     docker run --rm -v $(realpath $(dirname ${1})):/out -u $(id -u):$(id -g) \
-           delcypher/jfs_build:fse_2019 /home/user/jfs/build/bin/jfs-smt2cxx \
-           /out/$(basename ${1})
+           delcypher/jfs_build:fse_2019 /bin/bash -c \
+           "/home/user/jfs/build/bin/jfs-opt -standard-passes /out/$(basename ${1}) | /home/user/jfs/build/bin/jfs-smt2cxx -branch-encoding=try-all"
 }