Skip to content
GitLab
Explore
Sign in
Open
0
Merged
3
Closed
0
All
3
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
WIP Improve the feedback the users retrieve from failed tests
!35
· created
Dec 09, 2020
by
Sascha Skowronnek
3.1
New Feature
Test Framework
Merged
21
Approved
updated
Dec 31, 2020
Implement linear temporal logic checks on top of the game state recorder
!33
· created
Nov 27, 2020
by
Steffen Becker
3.0
New Feature
Test Framework
Merged
64
Approved
updated
Nov 29, 2020
Implement a game state recorder. The execution of a hamster game is tracked as sequence of game states
!30
· created
Nov 25, 2020
by
Steffen Becker
3.0
New Feature
Merged
83
Approved
updated
Nov 28, 2020
