search

ApproxSymate / klee

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

Constant 0 error expression #26

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

The runs with basic/add_test.c and basic/add_test2.c of fp-examples both output 0 error expression. This should not be the case.

domainexpert commented 7 years ago

@Himeshi This seems to have been caused by the use of mem2reg in basic/Makefile. mem2reg is needed to obtain loop trip count. Error expression should not be affected by mem2reg.

domainexpert commented 7 years ago

Resolved via #30.