diff --git a/synthesizer/tests/expectations/vm/execute_and_finalize/out_of_order_await_fail.out b/synthesizer/tests/expectations/vm/execute_and_finalize/out_of_order_await_fail.out
deleted file mode 100644
index 7d4109cee6..0000000000
--- a/synthesizer/tests/expectations/vm/execute_and_finalize/out_of_order_await_fail.out
+++ /dev/null
@@ -1,3 +0,0 @@
-errors:
-- 'Failed to run `VM::deploy for program parent.aleo: Futures in finalize ''foo'' are not awaited in the order they are passed in.'
-outputs: []
diff --git a/synthesizer/tests/expectations/vm/execute_and_finalize/unawaited_future_fail.out b/synthesizer/tests/expectations/vm/execute_and_finalize/unawaited_future_fail.out
deleted file mode 100644
index 7d4109cee6..0000000000
--- a/synthesizer/tests/expectations/vm/execute_and_finalize/unawaited_future_fail.out
+++ /dev/null
@@ -1,3 +0,0 @@
-errors:
-- 'Failed to run `VM::deploy for program parent.aleo: Futures in finalize ''foo'' are not awaited in the order they are passed in.'
-outputs: []
diff --git a/synthesizer/tests/expectations/vm/execute_and_finalize/unused_future_fail.out b/synthesizer/tests/expectations/vm/execute_and_finalize/unused_future_fail.out
deleted file mode 100644
index 0cea7546f1..0000000000
--- a/synthesizer/tests/expectations/vm/execute_and_finalize/unused_future_fail.out
+++ /dev/null
@@ -1,3 +0,0 @@
-errors:
-- 'Failed to run `VM::deploy for program parent.aleo: Function ''foo'' contains futures, but the ''async'' instruction does not consume all of them in the order they were produced'
-outputs: []
diff --git a/synthesizer/tests/tests/vm/execute_and_finalize/out_of_order_await_fail.aleo b/synthesizer/tests/tests/vm/execute_and_finalize/out_of_order_await_fail.aleo
deleted file mode 100644
index b86f29b8b5..0000000000
--- a/synthesizer/tests/tests/vm/execute_and_finalize/out_of_order_await_fail.aleo
+++ /dev/null
@@ -1,39 +0,0 @@
-/*
-randomness: 45791624
-cases: []
-*/
-
-program child.aleo;
-
-mapping count:
-    key as address.public;
-    value as field.public;
-
-function foo:
-    async foo self.caller into r0;
-    output r0 as child.aleo/foo.future;
-
-finalize foo:
-    input r0 as address.public;
-    get.or_use count[r0] 0field into r1;
-    add r1 1field into r2;
-    set r2 into count[r0];
-
-/////////////////////////////////////////////////
-
-import child.aleo;
-
-program parent.aleo;
-
-function foo:
-    call child.aleo/foo into r0;
-    call child.aleo/foo into r1;
-    async foo r0 r1 into r2;
-    output r2 as parent.aleo/foo.future;
-
-finalize foo:
-    input r0 as child.aleo/foo.future;
-    input r1 as child.aleo/foo.future;
-    await r1;
-    await r0;
-
diff --git a/synthesizer/tests/tests/vm/execute_and_finalize/unawaited_future_fail.aleo b/synthesizer/tests/tests/vm/execute_and_finalize/unawaited_future_fail.aleo
deleted file mode 100644
index 26736dca73..0000000000
--- a/synthesizer/tests/tests/vm/execute_and_finalize/unawaited_future_fail.aleo
+++ /dev/null
@@ -1,38 +0,0 @@
-/*
-randomness: 45791624
-cases: []
-*/
-
-program child.aleo;
-
-mapping count:
-    key as address.public;
-    value as field.public;
-
-function foo:
-    async foo self.caller into r0;
-    output r0 as child.aleo/foo.future;
-
-finalize foo:
-    input r0 as address.public;
-    get.or_use count[r0] 0field into r1;
-    add r1 1field into r2;
-    set r2 into count[r0];
-
-/////////////////////////////////////////////////
-
-import child.aleo;
-
-program parent.aleo;
-
-function foo:
-    call child.aleo/foo into r0;
-    call child.aleo/foo into r1;
-    async foo r0 r1 into r2;
-    output r2 as parent.aleo/foo.future;
-
-finalize foo:
-    input r0 as child.aleo/foo.future;
-    input r1 as child.aleo/foo.future;
-    await r0;
-
diff --git a/synthesizer/tests/tests/vm/execute_and_finalize/unused_future_fail.aleo b/synthesizer/tests/tests/vm/execute_and_finalize/unused_future_fail.aleo
deleted file mode 100644
index 9277b9a3dd..0000000000
--- a/synthesizer/tests/tests/vm/execute_and_finalize/unused_future_fail.aleo
+++ /dev/null
@@ -1,37 +0,0 @@
-/*
-randomness: 45791624
-cases: []
-*/
-
-program child.aleo;
-
-mapping count:
-    key as address.public;
-    value as field.public;
-
-function foo:
-    async foo self.caller into r0;
-    output r0 as child.aleo/foo.future;
-
-finalize foo:
-    input r0 as address.public;
-    get.or_use count[r0] 0field into r1;
-    add r1 1field into r2;
-    set r2 into count[r0];
-
-/////////////////////////////////////////////////
-
-import child.aleo;
-
-program parent.aleo;
-
-function foo:
-    call child.aleo/foo into r0;
-    call child.aleo/foo into r1;
-    async foo r0 into r2;
-    output r2 as parent.aleo/foo.future;
-
-finalize foo:
-    input r0 as child.aleo/foo.future;
-    await r0;
-