Actions
Bug #10370
closedclass ru.ispras.fortress.solver.constraint.Formulas cannot be cast to class ru.ispras.fortress.solver.constraint.Sat4jFormula
Start date:
06/08/2020
Due date:
% Done:
100%
Estimated time:
Detected in build:
git
Platform:
Published in build:
0.4.34-beta-200916
Description
68 test cases fall with the stack trace:
java.lang.ClassCastException: class ru.ispras.fortress.solver.constraint.Formulas cannot be cast to class ru.ispras.fortress.solver.constraint.Sat4jFormula (ru.ispras.fortress.solver.constraint.Formulas and ru.ispras.fortress.solver.constraint.Sat4jFormula are in unnamed module of loader 'app') at ru.ispras.fortress.solver.engine.sat.Sat4jSolver.solve(Sat4jSolver.java:74) at ru.ispras.fortress.solver.constraint.GenericSolverTestBase.solveAndCheckResult(GenericSolverTestBase.java:167) at ru.ispras.fortress.solver.constraint.GenericSolverTestBase.runSolverTests(GenericSolverTestBase.java:115)
Updated by Sergey Smolov over 4 years ago
- Status changed from New to Open
- Assignee set to Sergey Smolov
Updated by Sergey Smolov over 4 years ago
- Status changed from Open to Resolved
- % Done changed from 0 to 100
Fixed in 10453c1f
Updated by Sergey Smolov over 4 years ago
- Status changed from Resolved to Verified
Updated by Sergey Smolov about 4 years ago
- Status changed from Verified to Closed
- Published in build set to 0.4.34-beta-200916
Actions