commit | 9171e1cdca0ccac946a27874417b8b43ec4e5282 | [log] [tgz] |
---|---|---|
author | Romain Manni-Bucau <rmannibucau@gmail.com> | Mon Nov 05 10:53:37 2018 +0100 |
committer | Romain Manni-Bucau <rmannibucau@gmail.com> | Mon Nov 05 10:53:37 2018 +0100 |
tree | 5b4e9d770146b34b9b6ad909cec3d604828e2624 | |
parent | 8084d4d7929e3c7ca4d19189fa81483bc2402629 [diff] |
adding LiskovTest in ignored more to share the work to do on Liskov + some minor tweaks in tck (mainly logging and fixing a wrong license)