search

GaloisInc / crucible

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

go: `crucible.Fresh*` should take a variable name as an argument #1137

Open langston-barrett opened 9 months ago

langston-barrett commented 9 months ago

... as is done in other frontends like crux-mir and crux-llvm. Currently, variable names are hardcoded to be "X":

https://github.com/GaloisInc/crucible/blob/0834003f70242a65e6850a5e54c8d882c3106b6c/crucible-go/src/Lang/Crucible/Go/Overrides.hs#L74