tree 5b4e9d770146b34b9b6ad909cec3d604828e2624
parent 8084d4d7929e3c7ca4d19189fa81483bc2402629
author Romain Manni-Bucau <rmannibucau@gmail.com> 1541411617 +0100
committer Romain Manni-Bucau <rmannibucau@gmail.com> 1541411617 +0100

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)