-
Revert to original version from Test-Comp 2021 3 of 3 checklist items completed!52
- Merged
- 3
- Approved
updated -
!49
- Merged
- 1
- Approved
updated -
Use Symbiotic 9 instead of Symbiotic 8 3 of 3 checklist items completed!48
- Merged
- Approved
updated -
- Merged
- 1
- Approved
updated -
- Merged
- 1
- Approved
updated -
- Merged
- 1
- Approved
updated -
Updating max-time 300 3 of 3 checklist items completed!44
- Merged
- 5
- Approved
updated -
!42
- Merged
- 1
- Approved
updated -
Dropping binary and adding max time = 450 3 of 3 checklist items completed!41
- Merged
- Approved
updated -
Updating -max-time 3 of 3 checklist items completed!38
- Merged
- 3
- Approved
updated -
Update Legion/SymCC 3 of 3 checklist items completed!36
- Merged
- Approved
updated -
extended CoVeriTest with a random test generator 3 of 3 checklist items completed!35
- Merged
- Approved
updated -
- Merged
- 2
- Approved
updated -
- Merged
- 1
- Approved
updated -
- Merged
- 2
- Approved
updated -
- Merged
- Approved
updated -
- Merged
- Approved
updated -
- Merged
- Approved
updated -
- Merged
- Approved
updated