Merge requests · SoSy-Lab / Software / TestCov · GitLab

Update maximum format string length to fit format string for strings

!5 · created Jun 17, 2019 by Thomas Lemberger master
- MERGED
- 0
updated Jun 17, 2019
Support string input methods

!3 · created Jun 15, 2019 by Thomas Lemberger master
- MERGED
- 0
updated Jun 15, 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
Resolve "Support multiline reach_error"

!12 · created Dec 02, 2020 by Thomas Lemberger master Test-Comp bug
- MERGED
- 0
updated Dec 02, 2020
Resolve "Re-add naive test suite reduction"

!10 · created Aug 13, 2019 by Max Wiesholler master
- MERGED
- Approved
- 15
updated Aug 15, 2019
Resolve "Provide condition coverage and let user choose coverage measure"

!6 · created Jun 18, 2019 by Thomas Lemberger master Student Task enhancement
- MERGED
- 0
updated Jun 18, 2019
Resolve "Finding Efficient Test Suites"

!9 · created Jul 30, 2019 by Max Wiesholler master Student Task enhancement
- MERGED
- Approved
- 66
updated Aug 08, 2019
Resolve "Change program instrumentation to clang libtooling"

!13 · created May 14, 2021 by Thomas Lemberger enhancement
- MERGED
- 0
updated Nov 03, 2021
Resolve "Add test-suite reduction"

!2 · created Jun 14, 2019 by Thomas Lemberger master Student Task enhancement
- MERGED
- 0
updated Jun 17, 2019
Resolve "Add proper branch coverage measurement"

!11 · created Aug 30, 2019 by Max Wiesholler master Student Task enhancement
- CLOSED
- 0
updated Jan 29, 2020
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
Fix coverage computation

!8 · created Jun 19, 2019 by Max Wiesholler master Student Task bug
- CLOSED
- 1
updated Jun 19, 2019
Coverage per test

!1 · created Jun 13, 2019 by Max Wiesholler master
- MERGED
- Approved
- 47
updated Jun 18, 2019