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

Standardize the solver features and options #13

Open
danmatichuk opened this issue Feb 7, 2020 · 0 comments
Open

Standardize the solver features and options #13

danmatichuk opened this issue Feb 7, 2020 · 0 comments
Assignees
@danmatichuk
Labels
maintenance Code cleanup

Comments

@danmatichuk
Copy link
Collaborator

Currently there are a few hardcoded and ad-hoc flags passed to the yices solver. These should be factored out into either a configuration flag or they should be computed automatically.

Specifically: in Language.ASL the executionFeatures function has a hardcoded timeout of 5 seconds and a list of instructions which require the path satisfiability feature to be turned on in order to successfully pass simulation.
@danmatichuk danmatichuk self-assigned this Feb 7, 2020
@danmatichuk danmatichuk added the maintenance Code cleanup label Feb 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@danmatichuk danmatichuk

Labels
maintenance Code cleanup
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@danmatichuk