# import os
# import time
import pyuppaal as pyu
# import iTools/buildCG as cg // fault

# pyu.get_communication_graph(r'C:\Users\22215\OneDrive\Coding\Github\pyuppaal\src\tests\Pedestrian.xml',r'C:\Users\22215\OneDrive\Coding\Github\pyuppaal\src\tests\Pedestrian.png')

pyu.get_communication_graph(r'C:\Users\22215\OneDrive\Coding\Lab\AVRT_Complete_GroundTruth.xml',r'C:\Users\22215\OneDrive\Coding\Lab\AVRT_Complete_GroundTruth.png')


# pyu.set_verifyta_path(r'C:/Users/22215/OneDrive/Software/UPPAAL/bin-Windows/verifyta.exe')

# p1_model_path = 'verifyta_demo1.xml'
# p1_trace_path = 'verifyta_demo1_trace.xml'
# res1 = pyu.simple_verify(model_path=p1_model_path, trace_path=p1_trace_path)
# print(res1)

