def main():
filename = sys.argv[1]
utils.args = mypyvy.parse_args(['typecheck', filename])
with open(filename) as f:
contents = f.read()
prog = mypyvy.parse_program(contents, filename)
prog.resolve()
#typechecker.typecheck_program(prog)
actions = get_actions(prog)
print(
json.dumps({
"sorts": get_sorts(prog),
"functions": get_functions(prog),
"axioms": get_axioms(prog),
"inits": get_inits(prog),
"conjectures": get_conjs(prog),
"templates": [],
"actions": get_actions(prog),
}))
def setUp(self) -> None:
utils.args = mypyvy.parse_args(['typecheck', 'MOCK_FILENAME.pyv'])