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