4 Commits

Author	SHA1	Message	Date
Robin Mueller	d721bb4d2c	first basic unit test for verification reporter	2022-09-03 20:55:32 +02:00
Robin Mueller	38bdc2155f	first basic verif reporter impl	2022-09-03 18:51:01 +02:00
Robin Mueller	a34497bf3c	conitnued verif reporter	2022-09-03 17:09:36 +02:00
Robin Mueller	3c1ed36b11	borrowing rules make this difficult	2022-09-03 16:30:37 +02:00