Python clone_batch Beispiele

Beispiel #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

Beispiel #2

Datei: batch_seven.py Projekt: 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

Beispiel #3

Datei: batch_allassert.py Projekt: jbreck/reachc

import choraconfig, glob

batch = choraconfig.clone_batch("assert")

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

Beispiel #4

import choraconfig, glob, os.path, sys

batch = choraconfig.clone_batch("regression")

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