Skip to content

Commit

Permalink
fix test output
Browse files Browse the repository at this point in the history
  • Loading branch information
Dejan Jovanovic committed Dec 9, 2020
1 parent cc30888 commit 0f2b8b3
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions test/regress/bmc/nra/algebraic.mcmt.gold
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
invalid.*1792728671193156477399422023279.*1267650600228229401496703205376.*

invalid.*1792728671193156477399422023279.*1267650600228229401496703205376.*

0 comments on commit 0f2b8b3

Please sign in to comment.