search

ApproxSymate / klee

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

Handle math calls #89

Closed Himeshi closed 6 years ago

Himeshi commented 6 years ago

For math function calls such as sin, sqrt, return a symbolic variable for the result and its error while noting down the function and its arguments. These math functions will then be evaluated with concrete input during the sensitivity analysis.

Creates testxxx.mathf file for each state with the math function calls made. Testing code is attached. test.txt

domainexpert commented 6 years ago

@Himeshi Since other updates have added to the master branch, please remember to rebase this branch to master after updating it.

git rebase master

and then force-push your new updates

git push -f
domainexpert commented 6 years ago

@Himeshi Very well done. I only added a small fix, that is, using C++-style explicit initialization in ErrorState constructor, and rebased this branch to master. Merging now.