test: Replace difftest model with Quint=>MBT #524
Triggered via pull request
November 6, 2023 08:42
p-offtermatt
p-offtermatt
synchronize
#1369
Status
Success
Total duration
55s
Artifacts
–