import choraconfig, glob, os.path batch = choraconfig.get_default_batch_dict() #chc-comp19/lia-lin #batch["root"] = os.path.join(choraconfig.get_tool_root("reachc"), "experiments/benchmarks/small/") batch["root"] = os.path.join(choraconfig.get_tool_root("reachc"), "experiments/benchmarks/chc-comp19/") batch["files"] = glob.glob(batch["root"] + "lia-lin/*.smt2") + glob.glob(batch["root"] + "lia-nonlin/*.smt2") batch["format_style"] = "assert" batch["toolIDs"] = ["reachc", "spacer471"] #batch["format_col_width_proportional"] = True batch["timeout"] = 30
import choraconfig, glob, os.path batch = choraconfig.get_default_batch_dict() batch["ID"] = "c4b" batch["root"] = os.path.join(choraconfig.get_tool_root("icra"), "/WALi-OpenNWA/Examples/cprover/tests/") batch["files"] = glob.glob(c4b["root"] + "c4b/*.c") batch["format_style"] = "assert"