- Committer: Jiri Srba
- Date: 2020-08-24 09:32:26 UTC
- mfrom: (1071.4.3 remove-nongame-queries)
- Revision ID: srba.jiri@gmail.com-20200824093226-pi6s1vfm9gmhmkzl
merged in lp:~tapaal-contributor/tapaal/remove-nongame-queries removing nonvalid queries for the game feature
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
dk
|
998.13.6 | 4 years ago | Kenneth Yrke Joergensen | Added first tests for TapnXMLLoader |
|
||
TestTest.kt |
998.10.24 | 4 years ago | Kenneth Yrke Joergensen | Enabled Kotlin and upgraded tests to Junit5 | 198 bytes |
|
|
|
TimeIntervalTest.java |
998.2.347 | 4 years ago | Kenneth Yrke Joergensen | Merged dev branch | 2.2 KB |
|
|
|
TimeInvariantTests.java |
998.10.24 | 4 years ago | Kenneth Yrke Joergensen | Enabled Kotlin and upgraded tests to Junit5 | 1.6 KB |
|
|