search

GaloisInc / crucible

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

crucible: Introduce a helper to bind CFGs to their handles #1151

Closed langston-barrett closed 9 months ago

langston-barrett commented 9 months ago

A helper for a somewhat verbose but predictable pattern.