update tests after Wolfgang's commit

aptos-labs · Jun 28, 2024 · f572b33 · f572b33
1 parent 71f276d
commit f572b33
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 12 deletions.
diff --git a/third_party/move/move-compiler-v2/tests/more-v1/verification/noverify/function_with_spec.exp b/third_party/move/move-compiler-v2/tests/more-v1/verification/noverify/function_with_spec.exp
@@ -1,11 +1,5 @@
 
 Diagnostics:
-error: unresolved spec target
-   ┌─ tests/more-v1/verification/noverify/function_with_spec.move:10:10
-   │
-10 │     spec bar {
-   │          ^^^
-
 error: unresolved spec target
    ┌─ tests/more-v1/verification/noverify/function_with_spec.move:15:10
    │

diff --git a/third_party/move/move-compiler-v2/tests/unit_test/notest/function_with_spec.exp b/third_party/move/move-compiler-v2/tests/unit_test/notest/function_with_spec.exp
@@ -1,11 +1,5 @@
 
 Diagnostics:
-error: unresolved spec target
-   ┌─ tests/unit_test/notest/function_with_spec.move:13:10
-   │
-13 │     spec bar {
-   │          ^^^
-
 error: unresolved spec target
    ┌─ tests/unit_test/notest/function_with_spec.move:18:10
    │