3 commits

Author	SHA1	Message	Date
Jeroen Koekkoek	0bc263e537	Remove unnecessary os_procName and os_procNamePid functions ... Signed-off-by: Jeroen Koekkoek <jeroen@koekkoek.nl>	2019-01-08 16:40:07 +01:00
Jeroen Koekkoek	630178fb12	Cleanup CUnit integration and add support for theories ... Signed-off-by: Jeroen Koekkoek <jeroen@koekkoek.nl>	2018-11-01 19:32:24 +01:00
Michiel Beemster	11d9ce37aa	Initial contribution	2018-04-10 17:03:59 +02:00