1 2 3 4 5 6 7 8 9 10
--- source: tests/btor2_test.rs expression: sys.serialize_to_str(&ctx) --- count2 bad %5 : bv<1> = eq(_state_0, 3'b111) state _state_0 : bv<3> [init] 3'b0 [next] add(_state_0, 3'b1)