Removed JavaSMT test class for bug339 as it has been fixed.

sosy-lab · Dec 19, 2023 · d1e85eb · d1e85eb
1 parent 36919ed
commit d1e85eb
Showing 1 changed file with 0 additions and 84 deletions.
diff --git a/src/org/sosy_lab/java_smt/test/Bug339Test.java b/src/org/sosy_lab/java_smt/test/Bug339Test.java