equal
deleted
inserted
replaced
421 @scheduler() |
421 @scheduler() |
422 def mutabelle_scheduler(env): |
422 def mutabelle_scheduler(env): |
423 """Scheduler for Mutabelle.""" |
423 """Scheduler for Mutabelle.""" |
424 return schedule.age_scheduler(env, 'Isabelle', mutabelle_confs) |
424 return schedule.age_scheduler(env, 'Isabelle', mutabelle_confs) |
425 |
425 |
|
426 |
426 # Judgement Day configurations |
427 # Judgement Day configurations |
427 |
428 |
428 judgement_day_provers = ('e', 'spass', 'vampire', 'z3', 'cvc3', 'yices') |
429 judgement_day_provers = ('e', 'spass', 'vampire', 'z3', 'cvc3', 'yices') |
429 |
430 |
430 def judgement_day(base_path, theory, opts, env, case, paths, dep_paths, playground): |
431 def judgement_day(base_path, theory, opts, env, case, paths, dep_paths, playground): |