test.org.fortiss.af3.analyses.smt.compiler has no java source attached
This makes tracking test failures impossible for people without scala installation.
Tests currently failing:
SatisfiabilityCheckerBasicTest
FunctionsCompilerTest
StructEnumArrayCProverBasedAnalyzerTest
StructsAGCProverBasedAnalyzerTest
(from redmine: issue id 1710, created on 2013-09-13, closed on 2013-10-07)
- Relations:
- parent #1509 (closed)