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

Write up example interaction between TTY/JSON for constrained equivalence domain counter-example traces #440

Open

danmatichuk opened this issue Aug 19, 2024 · 1 comment

Milestone

Provenance of equ...

Collaborator

danmatichuk commented Aug 19, 2024

TODO: Concrete example runthrough of the steps required to request a trace where a specific location has been made inequivalent in a particular CFAR

Collaborator Author

danmatichuk commented Aug 19, 2024

Needs to handle:

Add constraints to intermediate CFARS, not just the final state
How to handle cases where we can't generate an example trace? i.e. if equivalence domain was weakened due to timeout rather than unsat result?

lcasburn added this to the Provenance of equivalence domain milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment