test: Replace difftest model with Quint=>MBT #871
Triggered via pull request
December 18, 2023 10:47
p-offtermatt
p-offtermatt
synchronize
#1369
Status
Success
Total duration
11s
Artifacts
–