3 Commits

Author	SHA1	Message	Date
Marian Buschsieweke	12140ffb0e	examples,tests: Drop redundant dependency ... When depending on one or more shell commands, the shell is pulled in as dependency anyway.	2023-04-19 16:58:10 +02:00
Marian Buschsieweke	a04b0a01a2	examples,tests: replace deprecated module names by new names	2022-09-16 13:15:46 +02:00
Martine Lenders	90a1e4d5c5	tests: initial import of tests for CongURE and its test framework	2021-02-26 10:14:12 +01:00