update test after parser fix

cucapra · Nov 16, 2023 · c051cbc · c051cbc
1 parent 0e3c136
commit c051cbc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/snapshots/btor2_test__parse_quiz1.snap b/tests/snapshots/btor2_test__parse_quiz1.snap
@@ -8,7 +8,7 @@ node %6 : bv<17> = zext(1'b1, 16)
 node %7 : bv<17> = add(%4, %6)
 node %8 : bv<16> = %7[15:0]
 node %10 : bv<16> = zext(4'b1010, 12)
-node %11 : bv<1> = sgt(counter, %10)
+node %11 : bv<1> = ugt(counter, %10)
 node %12 : bv<1> = not(%11)
 node %13 : bv<1> = not(reset)
 node %14 : bv<1> = not(%12)