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