{"ref":"bounded-exec","ref_type":"branch","master_branch":"master","description":"Crucible is a library for symbolic simulation of imperative programs","pusher_type":"user"}
{"actor":{"display_login":"robdockins"}}