Commit aba53008 authored by Adéla Štěpková's avatar Adéla Štěpková
Browse files

fix message in test.py

parent 68528d1d

tests/test.py

+3 −3
Original line number Diff line number Diff line
@@ -184,8 +184,6 @@ def main(reverser_path: str, input_dir: str, output_dir_ll: str, output_dir_bc: 
            expected = get_expected_result(filename)

            verifier_result = get_verifier_result(verifier, result_verifier)

            success = expected == verifier_result

            if not success:

                wrong += 1



            color = GREEN if success else ( YELLOW if verifier_result == Result.UNKNOWN else RED)

            status = f"{color}{verifier_result.name}{RESET}"
@@ -193,6 +191,8 @@ def main(reverser_path: str, input_dir: str, output_dir_ll: str, output_dir_bc: 


            if success:

                passed += 1

            if not success and (verifier_result == Result.TRUE or verifier_result == Result.FALSE):

                wrong += 1



            if show_output:

                print(result_verifier.stdout)
@@ -206,7 +206,7 @@ def parse_args(): 
    parser = argparse.ArgumentParser(description="Process .ll files with filtering and analysis.")

    parser.add_argument("--name-filter", help="Substring to filter .ll filenames", default="")

    parser.add_argument("--show-output", action="store_true", help="Print verifier output")

    parser.add_argument("--timeout", type=int, default=10, help="Timeout in seconds (default: 10)")

    parser.add_argument("--timeout", type=int, default=5, help="Timeout in seconds (default: 5)")

    parser.add_argument("--llvm2c", action="store_true", help="Decompile reversed LLVM IR to C (with llvm2c)")

    parser.add_argument("--sv-comp", action="store_true", help="Run symbiotic with property files used in SVComp")

    parser.add_argument("--symbiotic", action="store_true", help="Use symbiotic as verifier (default)")