search

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.
MIT License
102 stars 14 forks source link

Freshened versions of memory not printed in model #326

Open fortunac opened 3 years ago

fortunac commented 3 years ago

When we print out the model of a SAT case, we only print out the memory found with

https://github.com/draperlaboratory/cbat_tools/blob/0ac2c142a4345571f324af958eb1032a2cea8e7f/wp/lib/bap_wp/src/output.ml#L150

If we create a fresh variable from mem, this value is not printed out.