Nondeterministic choice #1154
daniel-larrazAnnotations
3 errors
|
kind2-build (4.09.1, ubuntu-20.04)
Process completed with exit code 2.
|
|
kind2-build (4.09.1, macos-11)
The job was canceled because "_4_09_1_ubuntu-20_04" failed.
|
|
kind2-build (4.09.1, macos-11)
The operation was canceled.
|