Commit 1da8a356 authored by Jaime Arias's avatar Jaime Arias
Browse files

fix: check error only for pnml2lts-mc

parent 1ceaaa08
......@@ -50,7 +50,7 @@ def get_time(experiment, tool):
with open(filename, mode='r') as output_file:
file_content = output_file.read()
match_error = regex_error.search(file_content)
match_error = False if (tool == 'pmc-sog') else regex_error.search(file_content)
match_true = regex_true.search(file_content)
match_false = regex_false.search(file_content)
match_time = regex_time.search(file_content)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment