Pretty printing removes array indices #29

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis

Other

0 stars 0 forks source link

Pretty printing removes array indices #29 #34

Closed Himeshi closed 7 years ago

domainexpert commented 7 years ago

@Himeshi Would you please rebase to master and please let me know how to test that this fix is working?

Himeshi commented 7 years ago

@domainexpert This pull request can be tested with the attached program. Without this code the array indices should be missing in the error expression in the test000001.presicion_error file.

array_test2.pdf

domainexpert commented 7 years ago

@Himeshi Awesome work. Thank you!