test: Replace difftest model with Quint=>MBT #61
Triggered via pull request
December 15, 2023 10:26
p-offtermatt
Status
Success
Total duration
12m 15s
Artifacts
–
Annotations
6 errors
|
Analyze
undefined: InitState
|
|
Analyze
undefined: InitState
|
|
Analyze
too many arguments in call to testutil.ToValidatorUpdates
|
|
Analyze
assignment mismatch: 1 variable but testutil.ToValidatorUpdates returns 2 values
|
|
Analyze
not enough arguments in call to simibc.UpdateReceiverClient
|
|
Analyze
not enough arguments in call to simibc.UpdateReceiverClient
|