NullPointerException when last state of the trace is *not* in the model. #678
lemmypr.yml
on: pull_request
Matrix: Examples Integration Tests
Matrix: TLA+ Tools Build & Test
Matrix: Eclipse Toolbox Build & Test
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
testresults-macos-latest
|
3.76 MB |
|
|
testresults-ubuntu-latest
|
3.67 MB |
|