Merge pull request #1070 from GaloisInc/re-enable-tests

Re-enable all disabled integration tests in .github/ci.sh.
GaloisInc · Feb 10, 2021 · d3e2e7d · d3e2e7d
2 parents 9d812c9 + 59a4b45
commit d3e2e7d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/ci.sh b/.github/ci.sh
@@ -168,7 +168,6 @@ install_system_deps() {
 test_dist() {
   find_java
   pushd intTests
-  for t in test0019_jss_switch_statement test_crucible_jvm test_ecdsa test_issue108 test_tutorial1 test_tutorial2 test_tutorial_w4; do echo $t >> disabled_tests.txt; done
   env
   LOUD=true ./runtests.sh
   sh -c "! grep '<failure>' results.xml"