2 Commits

Author	SHA1	Message	Date
Martine Lenders	f19c8bad01	congure_test: make shell commands shorter	2021-03-01 14:41:31 +01:00
Martine Lenders	90a1e4d5c5	tests: initial import of tests for CongURE and its test framework	2021-02-26 10:14:12 +01:00