search

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis
Other
0 stars 0 forks source link

Issue #44 Introduce command line option for uniform input error #45

Closed Himeshi closed 7 years ago

domainexpert commented 7 years ago

@Himeshi I found this build error: Would you please fix it? Thank you.

Z3ErrorSolver.cpp: In constructor 'klee::Z3ErrorSolverImpl::Z3ErrorSolverImpl()':
Z3ErrorSolver.cpp:93:7: error: 'Pareto' was not declared in this scope
   if (Pareto) {
       ^
domainexpert commented 7 years ago

@Himeshi Thank you!