GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs
617 stars 42 forks source link

Revert #1169 #1182

Closed RyanGlScott closed 4 months ago

RyanGlScott commented 4 months ago

This reverts commit 6157bbe44d9d0e0f429a4a0b60b96e17a4ca5b68, reversing changes made to 02cd934c4339a0cb113622b946e5b0d308b65df4. This is primarily for the benefit of ensuring that SAW's CI continues to work—see #1181 for the full details.