modelverse/wrappers/test_modelverse.py

from modelverse import *
from random import random

username = str(random())
password = str(random())

init()
register(username, password)

try:
    model_add("PetriNets", "SimpleClassDiagrams", open("../models/petrinet_ports.mvc", "r").read())
except ModelExists:
    pass

model_modify("PetriNets")
print(element_list())
print(model_list())