Ejemplos de clone_batch en Python

Ejemplo n.º 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

Ejemplo n.º 2

Archivo: batch_seven.py Proyecto: 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

Ejemplo n.º 3

Archivo: batch_allassert.py Proyecto: jbreck/reachc

import choraconfig, glob

batch = choraconfig.clone_batch("assert")

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

Ejemplo n.º 4

import choraconfig, glob, os.path, sys

batch = choraconfig.clone_batch("regression")

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