bug#52110: match-error exception in /var/log/cuirass.log

[Mathieu Othacehe]

Hello Maxim,

> Now for the "version-1.3.0" branch, which *does* exist.

The specifications are not removed anymore but can be deactivated. The
following error caused by an inconsistency between the
evaluations/specifications table should then be fixed.

Thanks,

Mathieu