Values for storage in counterexample
zachwax101 opened this issue · comments
Would be cool to have a value for relevant storage slots in the counter example when using --symbolic-storage
just to make sure, do you mean having --print-full-model enabled automatically when --symbolic-storage is given?