Esempi in Python per run_tests_with_expected

Esempio n. 1

File: testmultiple.py Progetto: xmorgan/jalangi

    ("tests/unit/from_char_code", 3),
    ("tests/unit/char_code_at", 9),
    ("tests/unit/char_at", 5),
    ("tests/unit/parse_int", 3),
    ("tests/unit/string1", 2),
    ("tests/unit/string2", 3),
    ("tests/unit/string3", 2),
    ("tests/unit/string4", 2),
    ("tests/unit/string5", 2),
    ("tests/unit/string6", 2),
    ("tests/unit/string7", 2),
    ("tests/unit/substr1", 2),
    ("tests/unit/substr2", 2),
    ("tests/unit/regex1", 2),
    ("tests/unit/regex2", 3),
    ("tests/unit/regex3", 3),
    ("tests/unit/regex4", 2),
    ("tests/unit/regex6", 5),
    ("tests/unit/regex7", 5),
    ("tests/unit/regex9", 2),
    ("tests/unit/switchs1", 5),
    ("tests/unit/switch-complex", 3)
    ]

def gen_args(expected):
    return ["symbolic", "-a", "src/js/analyses/puresymbolic/Multiple", "-i", str(expected)]
    
success = testrunner.run_tests_with_expected(tests, gen_args)
if not success:
    exit(1)

Esempio n. 2

File: sym.py Progetto: xmorgan/jalangi

         ("tests/unit/char_at", 3), ("tests/unit/parse_int", 3),
         ("tests/unit/array_s", 2), ("tests/unit/object_symbolic", 75),
         ("tests/unit/objects", 7), ("tests/unit/function_symbolic", 4),
         ("tests/unit/function_symbolic2", 6), ("tests/unit/null_symbolic", 6),
         ("tests/unit/type_symbolic", 12), ("tests/unit/string1", 2),
         ("tests/unit/string2", 3), ("tests/unit/string3", 2),
         ("tests/unit/string4", 2), ("tests/unit/string5", 2),
         ("tests/unit/string6", 2), ("tests/unit/string7", 2),
         ("tests/unit/substr1", 2), ("tests/unit/substr2", 2),
         ("tests/unit/regex1", 2), ("tests/unit/regex2", 2),
         ("tests/unit/regex3", 2), ("tests/unit/regex4", 2),
         ("tests/unit/regex6", 3), ("tests/unit/regex7", 3),
         ("tests/unit/regex8", 9), ("tests/unit/regex9", 2),
         ("tests/unit/switchs1", 5), ("tests/unit/switch-complex", 4),
         ("tests/unit/qsort", 24)]


def gen_args(expected):
    return ["concolic", "-i", str(expected)]


def my_fail_pred(case, out):
    return not ("{}.js passed".format(case) in out)


success = testrunner.run_tests_with_expected(tests,
                                             gen_args,
                                             fail_pred=my_fail_pred)
if not success:
    exit(1)

Esempio n. 3

File: testmultiple.py Progetto: cherry-wb/jalangi

    ("tests/unit/from_char_code", 3),
    ("tests/unit/char_code_at", 9),
    ("tests/unit/char_at", 5),
    ("tests/unit/parse_int", 3),
    ("tests/unit/string1", 2),
    ("tests/unit/string2", 3),
    ("tests/unit/string3", 2),
    ("tests/unit/string4", 2),
    ("tests/unit/string5", 2),
    ("tests/unit/string6", 2),
    ("tests/unit/string7", 2),
    ("tests/unit/substr1", 2),
    ("tests/unit/substr2", 2),
    ("tests/unit/regex1", 2),
    ("tests/unit/regex2", 3),
    ("tests/unit/regex3", 3),
    ("tests/unit/regex4", 2),
    ("tests/unit/regex6", 5),
    ("tests/unit/regex7", 5),
    ("tests/unit/regex9", 2),
    ("tests/unit/switchs1", 5),
    ("tests/unit/switch-complex", 3)
    ]

def gen_args(expected):
    return ["symbolic", "-a", "./analyses/puresymbolic/Multiple", "-i", str(expected)]
    
success = testrunner.run_tests_with_expected(tests, gen_args)
if not success:
    exit(1)

Esempio n. 4

File: sym.py Progetto: Berkeley-Correctness-Group/jalangi

    ("tests/unit/string3", 2),
    ("tests/unit/string4", 2),
    ("tests/unit/string5", 2),
    ("tests/unit/string6", 2),
    ("tests/unit/string7", 2),
    ("tests/unit/substr1", 2),
    ("tests/unit/substr2", 2),
    ("tests/unit/regex1", 2),
    ("tests/unit/regex2", 2),
    ("tests/unit/regex3", 2),
    ("tests/unit/regex4", 2),
    ("tests/unit/regex6", 3),
    ("tests/unit/regex7", 3),
    ("tests/unit/regex8", 9),
    ("tests/unit/regex9", 2),
    ("tests/unit/switchs1", 5),
    ("tests/unit/switch-complex", 4),
    ("tests/unit/qsort", 24)
]

def gen_args(expected):
    return ["concolic", "-i", str(expected)]

def my_fail_pred(case,out):
    return not ("{}.js passed".format(case) in out)

success = testrunner.run_tests_with_expected(tests,gen_args,fail_pred=my_fail_pred)
if not success:
    exit(1)