From 079df4d95f6955b9f4dc0b48b8fd282b0c0983ac Mon Sep 17 00:00:00 2001 From: Jannis Harder Date: Fri, 25 Mar 2022 11:38:22 +0100 Subject: [PATCH] Use `-no-startoffset`, avoiding index mismatch between aiger and smt2 --- sbysrc/sby_core.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py index e1ee51c..b78ef85 100644 --- a/sbysrc/sby_core.py +++ b/sbysrc/sby_core.py @@ -503,7 +503,7 @@ class SbyTask: print("abc -g AND -fast", file=f) print("opt_clean", file=f) print("stat", file=f) - print("write_aiger -I -B -zinit -map design_aiger.aim design_aiger.aig", file=f) + print("write_aiger -I -B -zinit -no-startoffset -map design_aiger.aim design_aiger.aig", file=f) proc = SbyProc( self, -- 2.30.2