Hello,

Closing this one as the specification/evaluation model in Cuirass has
been rewritten.

Thanks,

Mathieu



Reply via email to