mirror of https://notabug.org/mthl/cuirass.git
2418019798
This fixes an issue in the database, where rows from the 'Evaluations' table were having an "#f" value instead of a valid reference to their corresponding specification. * bin/evaluate.in (main): Use specification #:name instead of obsolete #:id. |
||
---|---|---|
.. | ||
cuirass.in | ||
evaluate.in |