Commit Graph

4 Commits

Author SHA1 Message Date
Xavier Guimard 778ade2636 Update prove states 2020-01-04 08:40:20 +01:00
Xavier 0b69baa5d8 Update test state (parallel) 2019-09-11 20:59:02 +02:00
Xavier Guimard 667757a1a8 Update prove state 2019-08-29 11:42:36 +02:00
Xavier Guimard aeff014f79 Parallel tests 2019-08-29 10:48:55 +02:00