Skip to content
TLA+ PR Validation

'constrained' states not added to e.g. dot output if TLC runs under TLA+ #210

Sign in to view logs

'constrained' states not added to e.g. dot output if TLC runs under TLA+

'constrained' states not added to e.g. dot output if TLC runs under TLA+ #210

Triggered via pull request April 11, 2024 18:57
@lemmylemmy
opened #908
mku-DebuggerINotInModelFunctor
Status Success
Total duration 12m 4s
Artifacts –

pr.yml

on: pull_request
TLA+ Tools Build & Test
10m 3s
TLA+ Tools Build & Test
Matrix: Examples Integration Tests
Matrix: Eclipse Toolbox Build & Test
Fit to window
Zoom out
Zoom in