This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Test Suite

Our test suite. For internal use only.

Select a component to see open bugs in that component.

Component Default Assignee
Code Coverage Visualisation Tool Marius Mikučionis
Tools used to visualise gcov output.