draperlaboratory / VIBES

Verified, Incremental, Binary Editing with Synthesis
MIT License
51 stars 1 forks source link

Adding SSA test cases, and some installation simplifications. #135

Closed jtpaasch closed 2 years ago

jtpaasch commented 3 years ago
jtpaasch commented 2 years ago

As always @ccasin, thanks for all the great finds on this one. I've now got only one regular SSA case and one Linear SSA case. Neither are listed in the run_all test target yet, because they don't pass, but we'll move them in when it's time.

Shall I merge?

ccasin commented 2 years ago

Looks great - thanks. Merge away.