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

Resolve "Change program instrumentation to clang libtooling"

!13 · created May 14, 2021 by Thomas Lemberger enhancement
- MERGED
- 0
updated Nov 03, 2021
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 "Finding Efficient Test Suites"

!9 · created Jul 30, 2019 by Max Wiesholler master Student Task enhancement
- MERGED
- Approved
- 66
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
- 0
updated Jun 18, 2019
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
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
Support string input methods

!3 · created Jun 15, 2019 by Thomas Lemberger master
- MERGED
- 0
updated Jun 15, 2019
Resolve "Add test-suite reduction"

!2 · created Jun 14, 2019 by Thomas Lemberger master Student Task enhancement
- MERGED
- 0
updated Jun 17, 2019
Coverage per test

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