diff --git a/tests/peepopt/addsub_c.ys b/tests/peepopt/addsub_c.ys index c0934dd4b..6543de7cf 100644 --- a/tests/peepopt/addsub_c.ys +++ b/tests/peepopt/addsub_c.ys @@ -133,7 +133,7 @@ select -assert-count 1 t:$sub design -reset log -pop -log -header "Signed pattern transformed: (a +- b) +- c case 3" +log -header "Signed pattern transformed: (a +- b) +- c case 4" log -push read_verilog <