| tests / testsuite-gcc / ConferenceTut1.mos | 1 sec | Passed |
| tests / testsuite-clang / ConferenceTut1.mos | 4 sec | Passed |
| tests / testsuite-clang / ConferenceTut1DeadEnd.mos | 4 sec | Passed |
| tests / testsuite-gcc / ConferenceTut1DeadEnd.mos | 2 sec | Passed |
| tests / testsuite-clang / DeadEnd.mos | 3 sec | Passed |
| tests / testsuite-gcc / DeadEnd.mos | 1 sec | Passed |
| tests / testsuite-clang / EnteringByReset.mos | 7 sec | Passed |
| tests / testsuite-gcc / EnteringByReset.mos | 4 sec | Passed |
| tests / testsuite-gcc / MLS33_17_3_7NA.mos | 2 sec | Passed |
| tests / testsuite-clang / MLS33_17_3_7NA.mos | 4 sec | Passed |
| tests / testsuite-gcc / Maraninchi2003_2.mos | 1 sec | Passed |
| tests / testsuite-clang / Maraninchi2003_2.mos | 4 sec | Passed |
| tests / testsuite-gcc / SMGraphicalTestCases_DeepHierarchy.mos | 5 sec | Passed |
| tests / testsuite-clang / SMGraphicalTestCases_DeepHierarchy.mos | 8 sec | Passed |
| tests / testsuite-gcc / SMMin.mos | 2 sec | Passed |
| tests / testsuite-clang / SMMin.mos | 4 sec | Passed |
| tests / testsuite-clang / Ticket4618.mos | 7 sec | Passed |
| tests / testsuite-gcc / Ticket4618.mos | 4 sec | Passed |
| tests / testsuite-clang / TicksInState.mos | 4 sec | Passed |
| tests / testsuite-gcc / TicksInState.mos | 1 sec | Passed |
| tests / testsuite-gcc / TimeInState.mos | 1 sec | Passed |
| tests / testsuite-clang / TimeInState.mos | 4 sec | Passed |
| tests / testsuite-gcc / ticket4271.mos | 1 sec | Passed |
| tests / testsuite-clang / ticket4271.mos | 4 sec | Passed |
![[Jenkins]](/jenkins/static/e6f1148a/images/svgs/logo.svg){kind=logo}
