search

ApproxSymate / klee

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

All fresh variables have length 8 #98

Open Himeshi opened 6 years ago

Himeshi commented 6 years ago

Currently all the fresh variables created by the new arguments such as --scaling --math-calls are of width 8. When actual constants are used, this can lead to erroneous results.