6 commits

Author	SHA1	Message	Date
Johannes Schauer Marin Rodrigues	7198ad50f6	coverage.py: actually count number of successes to print the correct number when ctrl+c was pressed	2022-05-29 09:43:41 +02:00
Johannes Schauer Marin Rodrigues	5ea760920d	coverage.py: fix typo successully -> successfully	2022-05-29 09:33:18 +02:00
Johannes Schauer Marin Rodrigues	86f616996d	coverage.py: strip off fractional seconds of time left	2022-05-29 09:32:58 +02:00
Johannes Schauer Marin Rodrigues	1b5d87c7cf	coverage.py: add --mode to only run tests with given mode	2022-05-29 09:32:02 +02:00
Johannes Schauer Marin Rodrigues	c1c6297db7	move copying files into shared directory from coverage.sh to coverage.py	2022-05-29 09:28:34 +02:00
Johannes Schauer Marin Rodrigues	4c3fddcd54	rewrite coverage.sh ... - multiple individual shell scripts instead of one 3.5k line monster - tests driven by Python script allowing: * declarative test description in coverage.txt * collecting errors instead of aborting on first error * skipping tests * running specific tests	2022-05-28 17:49:05 +02:00