Make obligation checking more configurable

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs

617 stars 42 forks source link

Closed langston-barrett closed 2 weeks ago

langston-barrett commented 1 month ago

langston-barrett commented 3 weeks ago

(This is just waiting for me to test this in my downstream codebase to confirm it all works as expected there)