diff --git a/crates/aiken-project/src/test_framework.rs b/crates/aiken-project/src/test_framework.rs index 14e91e4f..fe327ef8 100644 --- a/crates/aiken-project/src/test_framework.rs +++ b/crates/aiken-project/src/test_framework.rs @@ -70,6 +70,7 @@ impl Test { .map(|cst| (cst, side.tipo())) }; + // Assertion at this point is evaluated so it's not just a normal assertion Some(Assertion { bin_op, head: as_constant(generator, head.expect("cannot be Err at this point")),