Sébastien Villemot d5ee4dcb75 Testsuite: add a test for deprecated simul command		2023-03-29 17:01:09 +02:00
..
ramsey_ex.mod	Testsuite: no longer use deprecated ramsey_policy, except a in a dedicated test	2023-03-29 16:57:01 +02:00
ramst.mod	Testsuite: add a test for deprecated simul command	2023-03-29 17:01:09 +02:00