AMM works

ethereum · Mar 31, 2024 · d93553b · d93553b
1 parent 453cf05
commit d93553b
Show file tree

Hide file tree

Showing 2 changed files with 42 additions and 7 deletions.
diff --git a/Makefile b/Makefile
@@ -43,7 +43,7 @@ postcondition_pass=$(wildcard tests/postconditions/pass/*.act) $(typing_pass)
 postcondition_fail=$(wildcard tests/postconditions/fail/*.act)
 
 # supposed to pass, but timeout
-hevm_buggy=tests/hevm/pass/transfer/transfer.act tests/hevm/pass/amm/amm.act
+hevm_buggy=tests/hevm/pass/transfer/transfer.act
 # supposed to pass
 hevm_pass=$(filter-out $(hevm_buggy), $(wildcard tests/hevm/pass/*/*.act))
 # supposed to fail

diff --git a/flake.lock b/flake.lock