3 Commits (72a17c4f72ba2501eeec1586c1c269469f881f96)

Author	SHA1	Message	Date
Tpt	8427eb23c5	Allows to build testsuite reports	4 years ago
Tpt	4dd7912300	Uses anyhow for testsuite error ... Allows to simplify the code	5 years ago
Tpt	c3ae01e701	Implements a crate for the testsuite, adds parser tests and a better isomorphism algorithm	5 years ago