diff -r 0045b85101c9 -r c9bf3f8a8930 Admin/mira.py --- a/Admin/mira.py Mon Apr 18 10:00:55 2011 +0200 +++ b/Admin/mira.py Mon Apr 18 12:12:42 2011 +0200 @@ -304,6 +304,12 @@ """Mutabelle regression suite on Fun theory""" return invoke_mutabelle('Fun', *args) +mutabelle_confs = 'Mutabelle_Relation Mutabelle_List Mutabelle_Set Mutabelle_Map Mutabelle_Divides Mutabelle_MacLaurin Mutabelle_Fun'.split(' ') + +@scheduler() +def mutabelle_scheduler(env): + """Scheduler for Mutabelle.""" + return schedule.age_scheduler(env, 'Isabelle', mutabelle_confs) # Judgement Day configurations