test: Replace difftest model with Quint=>MBT #44
Triggered via pull request
December 8, 2023 09:55
p-offtermatt
p-offtermatt
synchronize
#1369
Status
Success
Total duration
20s
Artifacts
–