Bugfix previous work on status.

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 talsewell closed 5 years ago

talsewell commented 5 years ago

Somewhere in the cleanup phase the previous implementation wasn't actually turned on.

It should be possible to interact with it now.