search

ApproxSymate / klee

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

Add API function to declare output variables #1

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

Need a new KLEE API function to declare output variable in the code. Aside from making it clear which output is of interest, another advantage is that we can declare it in loop body so that loops need not be unrolled to completion (many numerical programs have loops).

domainexpert commented 7 years ago

@Himeshi klee_output_error API function has been added. See basic/get_sign.c in fp-examples repository.