Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
SoSy-Lab
Software
TestCov
Merge requests
Open
0
Merged
13
Closed
3
All
16
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{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}}
Updated date
Introduce option to format code before validation
!16
· created
Nov 24, 2023
by
Matthias Kettl
Merged
1
updated
Nov 28, 2023
Make test execution abort when no more input values exist
!15
· created
Sep 05, 2023
by
Thomas Lemberger
Merged
Approved
updated
Nov 07, 2023
Resolve "Change program instrumentation to clang libtooling"
!13
· created
May 14, 2021
by
Thomas Lemberger
enhancement
Merged
updated
Nov 03, 2021
Resolve "Support multiline reach_error"
!12
· created
Dec 02, 2020
by
Thomas Lemberger
master
Test-Comp
bug
Merged
updated
Dec 02, 2020
Resolve "Re-add naive test suite reduction"
!10
· created
Aug 13, 2019
by
Max Wiesholler
master
Merged
15
Approved
updated
Aug 15, 2019
Resolve "Finding Efficient Test Suites"
!9
· created
Jul 30, 2019
by
Max Wiesholler
master
Student Task
enhancement
Merged
66
Approved
updated
Aug 08, 2019
Individual test coverages are written into a csv file
!7
· created
Jun 18, 2019
by
Max Wiesholler
master
enhancement
Merged
9
updated
Jun 18, 2019
Resolve "Provide condition coverage and let user choose coverage measure"
!6
· created
Jun 18, 2019
by
Thomas Lemberger
master
Student Task
enhancement
Merged
updated
Jun 18, 2019
Coverage per test
!1
· created
Jun 13, 2019
by
Max Wiesholler
master
Merged
47
Approved
updated
Jun 18, 2019
Resolve "Add test-suite reduction"
!2
· created
Jun 14, 2019
by
Thomas Lemberger
master
Student Task
enhancement
Merged
updated
Jun 17, 2019
Run tests in separate containers using containerexec
!4
· created
Jun 17, 2019
by
Thomas Lemberger
master
Student Task
enhancement
Merged
2
updated
Jun 17, 2019
Update maximum format string length to fit format string for strings
!5
· created
Jun 17, 2019
by
Thomas Lemberger
master
Merged
updated
Jun 17, 2019
Support string input methods
!3
· created
Jun 15, 2019
by
Thomas Lemberger
master
Merged
updated
Jun 15, 2019