From a4a97071790ab99626d3151356e7b0921310d5f0 Mon Sep 17 00:00:00 2001 From: zoep Date: Mon, 5 Feb 2024 17:58:34 +0200 Subject: [PATCH] makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index adb9fef4..88deccc9 100644 --- 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 +hevm_buggy=tests/hevm/pass/transfer/transfer.act tests/hevm/pass/amm/amm.act # supposed to pass hevm_pass=$(filter-out $(hevm_buggy), $(wildcard tests/hevm/pass/*/*.act)) # supposed to fail