test: Replace difftest model with Quint=>MBT #729
Triggered via pull request
December 4, 2023 11:49
p-offtermatt
p-offtermatt
synchronize
#1369
Status
Success
Total duration
12s
Artifacts
–