issues
search
SymbolicPathFinder
/
jpf-symbc
Symbolic PathFinder
https://github.com/SymbolicPathFinder/jpf-symbc
130
stars
91
forks
source link
moved ProblemZ3.getRealValueInf to ProblemZ3.getRealValue and polishe…
#17
Closed
yannicnoller
closed
6 years ago
yannicnoller
commented
6 years ago
polished SymbolicConstraintsGeneral and ProblemZ3
removed unnecessary supressing of console outputs in SymbolicConstraintsGeneral
moved ProblemZ3.getRealValueInf to ProblemZ3.getRealValue to make SymbolicConstraintsGeneral.solveWithValuation() working for ProblemZ3