Select a component to see open bugs in that component.
| Component | Default Assignee |
|---|---|
| any | Marius Mikučionis |
| Any and all components of UPPAAL TRON | |
| DriverAdapter | Marius Mikučionis |
| Interface to IUT: event time-stamping, delivery and execution API. | |
| Explorer | Marius Mikučionis |
| UPPAAL engine used as explorer in testing with TRON | |
| Parser | Marius Mikučionis |
| Specification and interface parser | |
| Simulator | Marius Mikučionis |
| The TRON component responsible for making testing decisions. | |
| Tracer GUI | Marius Mikučionis |
| Java-based front-end to interact with TRON via user-suplied test primitives (traces). GUI connects to TRON via generic trace-interpreter-adapter through standard input/output/error streams. |