search

ApproxSymate / klee

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

Correct issues in pretty printing error expressions #36

Closed Himeshi closed 7 years ago

Himeshi commented 7 years ago

Pretty printing contains several issues such as not printing array indices properly and adding extra backslashes which need to be corrected.

domainexpert commented 7 years ago

The issue with backslashes resolved via #37.

domainexpert commented 7 years ago

@Himeshi Issue with array indices have been resolved by #34, so both issues mentioned are resolved.