WIP: user func spec compare

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.

MIT License

101 stars 14 forks source link

Closed ccasin closed 2 years ago

codyroux commented 2 years ago

👍

ccasin commented 2 years ago

@codyroux did you get UNSAT on the VIBES wp-debug example with this? I get SAT, which seems wrong, but haven't dug in yet.