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

Serialize a simulation result as a scenario #1

Closed
grayswandyr opened this issue Jul 18, 2019 · 1 comment
Closed

Serialize a simulation result as a scenario #1

grayswandyr opened this issue Jul 18, 2019 · 1 comment
Labels
enhancement New feature or request visualizer
Milestone
Electrum 2.1

Comments

@grayswandyr
Copy link
Collaborator

Expected steps:

  1. run {}
  2. Explore a simulation
  3. Once happy, serialize as a new command scenario1 : run { some disj ... }

Would be very cool for the tutorial, even !
@grayswandyr grayswandyr added the enhancement New feature or request label Oct 18, 2019
@grayswandyr
Copy link
Collaborator Author

Having found a bug after a vey long check, I realize even more how useful it would be to be able to serialize this in a new run command.

@nmacedo nmacedo added this to the Electrum 2.1 milestone Jul 30, 2020
nmacedo added a commit that referenced this issue Aug 3, 2020
@nmacedo
export to ltl generates valid electrum formulas (close #1)
854da08
@nmacedo nmacedo closed this as completed Aug 3, 2020
@nmacedo nmacedo mentioned this issue Nov 13, 2020
Merged
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 visualizer
Projects
None yet
Milestone
Electrum 2.1
Development

No branches or pull requests
2 participants
@nmacedo @grayswandyr