go: crucible.Fresh*
should take a variable name as an argument
#1137
Labels
crucible.Fresh*
should take a variable name as an argument
#1137
... as is done in other frontends like
crux-mir
andcrux-llvm
. Currently, variable names are hardcoded to be"X"
:crucible/crucible-go/src/Lang/Crucible/Go/Overrides.hs
Line 74 in 0834003
The text was updated successfully, but these errors were encountered: