ApproxSymate / klee

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

Introduce command line option for uniform input error #44

Closed Himeshi closed 6 years ago

Himeshi commented 6 years ago

In order to obtain error expressions containing multiple input errors, the current behavior requires providing the --pareto command line option. However the default behavior should allow for obtaining error expressions for programs with multiple input variables and multiple input errors even if pareto optimality is not computed.

Therefore remove the pareto option and introduce a new option, --uniform-input-error to allow pareto optimal computation when multiple input errors are defined.

domainexpert commented 6 years ago

Resolved via #45.