ApproxSymate / klee

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

Expression print fix #92

Closed Himeshi closed 6 years ago

Himeshi commented 6 years ago

Fix issue of multiple expression for the same array variable.

Based on our assumption that we consider that arrays will have uniform error and the array as a whole will be considered for approximation, having multiple expressions for different array elements is not desirable.