# HG changeset patch
# User krauss
# Date 1300981177 -3600
# Node ID a8598661d5eb9ef902fee519ea718798caa502d0
# Parent  e6867e9c6d106e6215cb510a3a3f4c208e4e93eb
added more judgement day provers

diff -r e6867e9c6d10 -r a8598661d5eb Admin/mira.py
--- a/Admin/mira.py	Thu Mar 24 15:29:31 2011 +0100
+++ b/Admin/mira.py	Thu Mar 24 16:39:37 2011 +0100
@@ -251,7 +251,7 @@
 
 # Judgement Day configurations
 
-judgement_day_provers = ('e', 'spass', 'vampire')
+judgement_day_provers = ('e', 'spass', 'vampire', 'z3', 'cvc3', 'yices')
 
 def judgement_day(base_path, theory, opts, env, case, paths, dep_paths, playground):
     """Judgement Day regression suite"""