Non-constant address assertion failure with adpcm_encoder.c

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis

Other

0 stars 0 forks source link

Non-constant address assertion failure with adpcm_encoder.c #16

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

@Himeshi This is the problem we discussed verbally before. It is exhibited by basic/adpcm_encoder.c of fp-examples. Try running make adpcm_encoder.klee in the basic folder.

domainexpert commented 7 years ago

Resolved via #17.