Skip to content

Commit

Permalink
fix(tests): Add test
Browse files Browse the repository at this point in the history
  • Loading branch information
jubnzv committed Oct 8, 2022
1 parent 807d69b commit 382bb55
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions tests/checker/good/Good.ml
Original file line number Diff line number Diff line change
Expand Up @@ -95,6 +95,7 @@ module Tests = Scilla_test.Util.DiffBasedTests (struct
"dead_code_test15.scilla";
"dead_code_test16.scilla";
"dead_code_test17.scilla";
"dead_code_test18.scilla";
"simple-dex-remote-reads.scilla";
"type_casts.scilla";
"timestamp.scilla";
Expand Down

0 comments on commit 382bb55

Please sign in to comment.