UnitTests.RestartSchedulerTests
val a_pname : IR.Procname.t
val tests_wrapper : 'a -> unit
val tests : OUnit2.test