From 7e366195bd15c04e9051659582222dd2c21c50c3 Mon Sep 17 00:00:00 2001 From: Christoph Egger Date: Sun, 24 Apr 2016 15:19:44 +0200 Subject: [PATCH] Add experiment definition for TreeTab --- cool.py | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/cool.py b/cool.py index d6b400c..0bfdc15 100755 --- a/cool.py +++ b/cool.py @@ -61,6 +61,27 @@ class CoolExperiment(SolverExperiment): +class TreeTabExperiment(SolverExperiment): + inputs = { 'treetab' : TarArchive('ctlProver_r1368.tar') } + outputs = {} + + + def __init__(self): + TreeTabExperiment.inputs.update(SolverExperiment.inputs) + TreeTabExperiment.outputs.update(SolverExperiment.outputs) + super(TreeTabExperiment, self).__init__() + + + def build_solver(self): + with self.inputs.treetab as path: + shell("make") + + + def run_solver(self, formula): + with self.inputs.treetab as path: + shell("timeout 1001 ./ctl tree --verbose < %s" % formula) + + if __name__ == "__main__": import sys experiment = CoolExperiment() -- 2.39.5