Open spaceben opened 4 years ago
Especially for parallel programs we need to reliably verify our solutions. Essentially the ground truth file we have now but with automatic checks.
Especially for parallel programs we need to reliably verify our solutions. Essentially the ground truth file we have now but with automatic checks.