Python clone_batch Examples

Example #1

import choraconfig, glob, os.path

batch = choraconfig.clone_batch("reachc_spacergt")

batch["toolIDs"] = ["reachc"]
batch["timeout"] = 300
batch["instant_error_callouts"] = True
batch["instant_unsound_callouts"] = True

Example #2

File: batch_seven.py Project: jbreck/reachc

import choraconfig, glob, os.path

batch = choraconfig.clone_batch("icra")
#batch = choraconfig.clone_batch("assert")

batch["toolIDs"] = [
    "duetcra", "icra", "icra2019", "chora_nolinspec", "chora", "chora_squeeze",
    "chorafull"
]
batch["timeout"] = 300

Example #3

File: batch_allassert.py Project: jbreck/reachc

import choraconfig, glob

batch = choraconfig.clone_batch("assert")

batch["toolIDs"] = ["duetcra", "icra", "chora"]

Example #4

import choraconfig, glob, os.path, sys

batch = choraconfig.clone_batch("regression")

batch["toolIDs"] = ["duetcra"]