search

GaloisInc / crucible

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

Inject concrete values back into symbolic expressions #1211

Closed langston-barrett closed 1 month ago

langston-barrett commented 1 month ago

https://github.com/GaloisInc/what4/pull/268, but for https://github.com/GaloisInc/crucible/pull/1207