Forked from
DryVRgroup / DryVRtool
4 commits behind, 1 commit ahead of the upstream repository.
main.py 558 B
import json
import sys
from src.core.dryvrmain import verify
from src.common.utils import importSimFunction
from src.plotter.parser import parse
import random
import numpy as np
assert ".json" in sys.argv[-1], "Please provide json input file"
with open(sys.argv[-1], 'r') as f:
data = json.load(f)
simFunction = importSimFunction(data["directory"])
safety, reach = verify(data, simFunction)
if safety == 'SAFE':
lines = reach.raw.split("\n")
print(type(lines[0]), lines[0])
initNode, y_min, y_max = parse(lines)
# elif safety == 'UNSAFE':
# print('')