def JD_S2S(*args):
"""Judgement Day regression suite S2S"""
return isabelle.judgement_day('AFP/thys/SumSquares', 'TwoSquares',
'prover_timeout=10', *args)
def JD_Jinja(*args):
"""Judgement Day regression suite Jinja"""
return isabelle.judgement_day('AFP/thys/Jinja/J', 'TypeSafe',
'prover_timeout=10', *args)
def JD_QE(*args):
"""Judgement Day regression suite QE"""
return isabelle.judgement_day('AFP/thys/LinearQuantifierElim/Thys',
'QEpres', 'prover_timeout=10', *args)
def JD_Arrow(*args):
"""Judgement Day regression suite Arrow"""
return isabelle.judgement_day('AFP/thys/ArrowImpossibilityGS/Thys',
'Arrow_Order', 'prover_timeout=10', *args)
def JD_FFT(*args):
"""Judgement Day regression suite FFT"""
return isabelle.judgement_day('AFP/thys/FFT', 'FFT', 'prover_timeout=10',
*args)
def JD_S2S(*args):
"""Judgement Day regression suite S2S"""
return isabelle.judgement_day("AFP/thys/SumSquares", "TwoSquares", "prover_timeout=10", *args)
def JD_QE(*args):
"""Judgement Day regression suite QE"""
return isabelle.judgement_day("AFP/thys/LinearQuantifierElim/Thys", "QEpres", "prover_timeout=10", *args)
def JD_Jinja(*args):
"""Judgement Day regression suite Jinja"""
return isabelle.judgement_day("AFP/thys/Jinja/J", "TypeSafe", "prover_timeout=10", *args)
def JD_FFT(*args):
"""Judgement Day regression suite FFT"""
return isabelle.judgement_day("AFP/thys/FFT", "FFT", "prover_timeout=10", *args)
def JD_Arrow(*args):
"""Judgement Day regression suite Arrow"""
return isabelle.judgement_day("AFP/thys/ArrowImpossibilityGS/Thys", "Arrow_Order", "prover_timeout=10", *args)
