Limit checking of validity to the case when no -no-branch-check - Githubissues

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis

Other

0 stars 0 forks source link

Limit checking of validity to the case when no -no-branch-check #86

Closed domainexpert closed 6 years ago

domainexpert commented 6 years ago

In Executor::addConstraint, when it is not specified.