scheduler for Mutabelle regression
authorkrauss
Mon, 18 Apr 2011 12:12:42 +0200
changeset 42393 c9bf3f8a8930
parent 42392 0045b85101c9
child 42395 77eedb527068
scheduler for Mutabelle regression
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