Skip to content

Commit

Permalink
nit in Makefile
Browse files Browse the repository at this point in the history
  • Loading branch information
zoep authored Dec 21, 2024
1 parent 9a17d63 commit 96131c4
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -47,9 +47,9 @@ hevm_buggy=tests/hevm/pass/transfer/transfer.act
hevm_pass=$(filter-out $(hevm_buggy), $(wildcard tests/hevm/pass/*/*.act))
# supposed to fail
hevm_fail=$(wildcard tests/hevm/fail/*/*.act)
# slow passing tests
# supposed to pass
hevm_slow=tests/hevm/pass/amm/amm.act tests/hevm/pass/amm-2/amm-2.act
# supposed to pass, run fust
# supposed to pass, no slow tests
hevm_fast=$(filter-out $(hevm_slow), $(hevm_pass))

# supposed to pass
Expand Down

0 comments on commit 96131c4

Please sign in to comment.