Skip to content

Commit

Permalink
Merge pull request #1756 from GaloisInc/bugfix/test-actual-expected
Browse files Browse the repository at this point in the history
Fix flipped operands in `intTests` actual/expected checking
  • Loading branch information
mergify[bot] authored Nov 17, 2022
2 parents 2ae9d9b + af92456 commit 766a186
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion intTests/IntegrationTest.hs
Original file line number Diff line number Diff line change
Expand Up @@ -167,7 +167,7 @@ genTests envvars disabled = map mkTest
if r == ExitSuccess
then return ()
else putStrLn o >> hPutStrLn stderr e
r @=? ExitSuccess
ExitSuccess @=? r


-- | Several of the tests use definitions from the cryptol-specs
Expand Down

0 comments on commit 766a186

Please sign in to comment.