search

CakeML / regression

Regression testing infrastructure for CakeML
https://cakeml.org/regression.cgi
GNU General Public License v3.0
3 stars 8 forks source link

Add configuration file for server and worker #17

Closed agomezl closed 5 years ago