From 0e9baf4944e9a4b872a9795f498e9329207f0c42 Mon Sep 17 00:00:00 2001 From: microproofs Date: Mon, 6 May 2024 11:35:55 -0400 Subject: [PATCH] test should fail --- examples/acceptance_tests/102/lib/tests.ak | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/acceptance_tests/102/lib/tests.ak b/examples/acceptance_tests/102/lib/tests.ak index feeeb21d..a8889ab7 100644 --- a/examples/acceptance_tests/102/lib/tests.ak +++ b/examples/acceptance_tests/102/lib/tests.ak @@ -1,4 +1,4 @@ -test panic_aiken() { +test panic_aiken() fail { and { True, should_fail(1),