def test_slice1():
    program_slice = "{}/data/slice1.json".format(ROOT_DIR)
    pattern = "{}/tests/test_slice1/slice1_vuln_pattern.json".format(ROOT_DIR)

    analyzer(program_slice, pattern, debug=True)
    output = read_from_json("{}/data/slice1.output.json".format(ROOT_DIR))

    assert output == [{
        "vulnerability": "SQL injection",
        "source": "a",
        "sink": "z",
        "sanitizer": "",
    }]
def test_slice4():
    program_slice = "{}/data/slice4.json".format(ROOT_DIR)
    pattern = "{}/tests/test_slice4/slice4_vuln_pattern.json".format(ROOT_DIR)

    analyzer(program_slice, pattern, debug=False)
    output = read_from_json("{}/data/slice4.output.json".format(ROOT_DIR))

    assert output == [{
        "vulnerability": "SQL injection",
        "source": "koneksi",
        "sink": "s",
        "sanitizer": "",
    }]