diff --git a/tests/techmap/bug5574.ys b/tests/techmap/bug5574.ys index d986e688d..56b290a4a 100644 --- a/tests/techmap/bug5574.ys +++ b/tests/techmap/bug5574.ys @@ -1,8 +1,11 @@ -logger -expect error "ABC: Error: This command can only be applied to an AIG" 1 +# On Linux, with a spawned abc, this message is the error +# otherwise the error is the failure to load the output.blif +logger -expect log "ABC: Error: This command can only be applied to an AIG" 1 +logger -expect error "ABC" 1 read_verilog << EOT module fuzz_mwoqk (input i0, output o0); assign o0 = i0 ^ 1; endmodule EOT synth -abc -script +resub,-K,8; \ No newline at end of file +abc -script +resub,-K,8;