Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Values for storage in counterexample #172

Closed
zachwax101 opened this issue Aug 14, 2023 · 2 comments
Closed

Values for storage in counterexample #172

zachwax101 opened this issue Aug 14, 2023 · 2 comments
Labels
enhancement New feature or request

Comments

@zachwax101
Copy link

Would be cool to have a value for relevant storage slots in the counter example when using --symbolic-storage
@zachwax101 zachwax101 added the enhancement New feature or request label Aug 14, 2023
@daejunpark
Copy link
Collaborator

just to make sure, do you mean having --print-full-model enabled automatically when --symbolic-storage is given?

@karmacoma-eth
Copy link
Collaborator

closing this, as Daejun suggested this is what --print-full-model does

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@daejunpark @zachwax101 @karmacoma-eth