test.sh add missing fi statement

dafny-lang · Feb 16, 2024 · e07de26 · e07de26
1 parent c407c89
commit e07de26
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/scripts/test.sh b/scripts/test.sh
@@ -15,6 +15,7 @@ then
 fi
 
 echo Running $TARGET_LANG tests...
+
 echo "Running tests/TestsRandom.dfy:"
 if [ "$TARGET_LANG" = "py" ]
 then
@@ -24,12 +25,15 @@ else
 fi
 
 echo Running $TARGET_LANG documentation...
+
 echo "Building docs/dafny/ExamplesRandom.dfy..." 
 if [ "$TARGET_LANG" = "py" ]
 then
   time $DAFNY build docs/dafny/ExamplesRandom.dfy --target:$TARGET_LANG src/interop/$TARGET_LANG/Full/DafnyVMC.$TARGET_LANG src/interop/$TARGET_LANG/Part/DafnyVMCPartMaterial.$TARGET_LANG dfyconfig.toml --no-verify
 else
   time $DAFNY build docs/dafny/ExamplesRandom.dfy --target:$TARGET_LANG src/interop/$TARGET_LANG/Full/Random.$TARGET_LANG src/interop/$TARGET_LANG/Part/Random.$TARGET_LANG dfyconfig.toml --no-verify
+fi
+
 echo "Executing compiled docs/dafny/ExamplesRandom.dfy:" 
 if [ "$TARGET_LANG" = "java" ]
 then