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

Runs should update q::lastTrace #347

Open
konnov opened this issue Nov 18, 2022 · 0 comments
Open

Runs should update q::lastTrace #347

konnov opened this issue Nov 18, 2022 · 0 comments
Assignees
@konnov
Labels
effort-easy Can be completed within about 1 day impact-low Low impact repl Quint REPL (phase 5c) simulator Quint simulator

Comments

@konnov
Copy link
Contributor

konnov commented Nov 18, 2022 •
edited by bugarela
Loading

This is a reminder for the future work. Runs that are introduced in #344 are evaluated in the simulator, but do not update q::lastTrace. We should do that in the future.
@konnov konnov added the simulator Quint simulator label Nov 18, 2022
@konnov konnov self-assigned this Nov 18, 2022
@konnov konnov added impact-low Low impact effort-easy Can be completed within about 1 day labels Nov 29, 2022
@konnov konnov added repl Quint REPL (phase 5c) and removed simulator Quint simulator labels May 2, 2023
@shonfeder shonfeder added the simulator Quint simulator label Jan 9, 2024
@shonfeder shonfeder removed this from the T4.2: Simulator Q1 (after MVP) milestone Jan 9, 2024
@bugarela bugarela changed the title Runs should update _lastTrace Runs should update q::lastTrace Dec 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@konnov konnov

Labels
effort-easy Can be completed within about 1 day impact-low Low impact repl Quint REPL (phase 5c) simulator Quint simulator
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@konnov @shonfeder