worker should fail if called with an unrecognised argument

CakeML / regression

Regression testing infrastructure for CakeML

https://cakeml.org/regression.cgi

GNU General Public License v3.0

3 stars 8 forks source link

Closed oskarabrahamsson closed 5 years ago

oskarabrahamsson commented 6 years ago

For instance, the following typo leads to the worker starting off a regression test:

./worker refresh

xrchz commented 6 years ago

agreed. patch welcome :)

xrchz commented 5 years ago

I believe this is fixed by fc5d607cb3062db2630720c75155702491983d49