Skip to content

fix(RS): Fix stale MBT annotation on the initial state of --mbt traces - #2012

Open
bmastenbrook wants to merge 1 commit into
quint-co:mainfrom
bmastenbrook:fix-mbt-init-metadata
Open

fix(RS): Fix stale MBT annotation on the initial state of --mbt traces#2012
bmastenbrook wants to merge 1 commit into
quint-co:mainfrom
bmastenbrook:fix-mbt-init-metadata

fix: reset MBT metadata at the start of every simulation sample

5b7a850
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs