cuirass/bin
Mathieu Lirzin 2418019798
evaluate: Use specification #:name in evaluation alists.
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.
2017-02-24 19:32:20 +01:00
..
cuirass.in cuirass: Add "--load-path" option. 2017-01-29 17:19:20 +01:00
evaluate.in evaluate: Use specification #:name in evaluation alists. 2017-02-24 19:32:20 +01:00