bug fix of btor2aiger in PR #27

gipsyh · gipsyh · commit c9c67c3c6ae9 · 2024-11-24T19:22:02.000+08:00
Signed-off-by: Yuheng Su &lt;gipsyh.icu@gmail.com&gt;
diff --git a/src/btor2aiger.cpp b/src/btor2aiger.cpp
@@ -423,6 +423,7 @@ add_state_to_aiger (Btor *btor,
         reset_val = init_bits ? init_bits[i] : state_bits[i];
         aiger_add_reset (aig, state_bits[i], reset_val);
       } else {
+        aiger_add_reset (aig, state_bits[i], state_bits[i]);
         init_constrains.push_back(std::make_pair(state_bits[i], init_bits[i]));
       }
     }

Original file line number	Diff line number	Diff line change
`@@ -423,6 +423,7 @@ add_state_to_aiger (Btor *btor,`
`423`	`423`	`reset_val = init_bits ? init_bits[i] : state_bits[i];`
`424`	`424`	`aiger_add_reset (aig, state_bits[i], reset_val);`
`425`	`425`	`} else {`
	`426`	`+ aiger_add_reset (aig, state_bits[i], state_bits[i]);`
`426`	`427`	`init_constrains.push_back(std::make_pair(state_bits[i], init_bits[i]));`
`427`	`428`	`}`
`428`	`429`	`}`