Skip to content

Commit 43adb99

Browse files
committed
add test that currently fails, document this.
1 parent e27537d commit 43adb99

File tree

1 file changed

+5
-3
lines changed
  • intTests/test_saw_submodule_access1

1 file changed

+5
-3
lines changed

intTests/test_saw_submodule_access1/test.sh

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,10 @@ $SAW test_import_errors.saw
55

66
$SAW test_import_D.saw
77

8-
# $SAW test_load_D.saw
9-
# - This is a test that will fail till till code is fixed.
10-
# - TODO: uncomment after fixing code.
8+
! $SAW test_load_D.saw
9+
10+
# finishing https://github.com/GaloisInc/saw-script/pull/2593
11+
# should allow test_load_D.saw to succeed. (as it should)
12+
# TODO: remove the ! above when that PR is done.
1113

1214
$SAW test_UseFunctors.saw

0 commit comments

Comments
 (0)