4 Commits

Author SHA1 Message Date
Edwin Eefting
8854303b7a test skipping 2022-03-07 21:57:36 +01:00
Edwin Eefting
f4e81bddb7 progress output 2022-02-22 18:00:06 +01:00
Edwin Eefting
6a58a294a3 now yields errors and mismatches 2022-02-22 14:47:15 +01:00
Edwin Eefting
d7d76032de more tests 2022-02-21 22:37:13 +01:00