diff --git a/test_programs/execution_failure/brillig_assert_msg_runtime/Nargo.toml b/test_programs/execution_failure/brillig_assert_msg_runtime/Nargo.toml deleted file mode 100644 index 00f97b7273a..00000000000 --- a/test_programs/execution_failure/brillig_assert_msg_runtime/Nargo.toml +++ /dev/null @@ -1,7 +0,0 @@ -[package] -name = "brillig_assert_msg_runtime" -type = "bin" -authors = [""] -compiler_version = ">=0.23.0" - -[dependencies] \ No newline at end of file diff --git a/test_programs/execution_failure/brillig_assert_msg_runtime/Prover.toml b/test_programs/execution_failure/brillig_assert_msg_runtime/Prover.toml deleted file mode 100644 index 0e5dfd5638d..00000000000 --- a/test_programs/execution_failure/brillig_assert_msg_runtime/Prover.toml +++ /dev/null @@ -1 +0,0 @@ -x = "5" diff --git a/test_programs/execution_failure/brillig_assert_msg_runtime/src/main.nr b/test_programs/execution_failure/brillig_assert_msg_runtime/src/main.nr deleted file mode 100644 index 4dd06ceb743..00000000000 --- a/test_programs/execution_failure/brillig_assert_msg_runtime/src/main.nr +++ /dev/null @@ -1,14 +0,0 @@ -fn main(x: Field) { - assert( - 1 == unsafe { - conditional(x) - } - ); -} - -unconstrained fn conditional(x: Field) -> Field { - let z = x as u8 + 20; - assert_eq(z, 25, f"Expected 25 but got {z}"); - assert(x == 10, f"Expected x to equal 10, but got {x}"); - 1 -}