INNER CODE UNIT · Python

parse_solution_from_output

stp/stp · scripts/fuzz/fuzz_test.py:180

    def parse_solution_from_output(self, output_lines):
        if len(output_lines) == 0:
            print("Error! SMT solver output is empty!")
            print("output lines: ", output_lines)
            print("Error code 500")
            exit(500)

        # solution will be put here
        satunsatfound = False
        value = {}

        # parse in solution
        for line in output_lines:
            # skip comment
            if (re.match('^c ', line)):
                continue

            # solution

View source record →