Skip to content
Snippets Groups Projects
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('')