Version 2.1 of PRTest (!68) · Merge requests · SoSy-Lab / Test-Comp / Tester Archives 2020

The source project of this merge request has been removed.

Thomas Lemberger requested to merge (removed):prtest into master Nov 28, 2019

Updated README, slight modifications to wrapper script (without behavioral changes)

Version 2.1 of PRTest