lucas/modelverse: Code repository for master thesis about example-driven DSML design @ b698243fcbbe3bbadaf8c9c86d6f1525198d07d8

Yentl Van Tendeloo 510d84a08e Added test case for services		před 8 roky
..
code	510d84a08e Added test case for services	před 8 roky
conftest.py	42ea08d75a Added a flag to skip very slow tests (e.g., pn_simulate_larger)	před 8 roky
test_mvc.py	20f9c52853 Make verify rely on a model operation that is explicitly defined	před 8 roky
test_powerwindow.py	69f9e63b5c Fixed power window tests	před 8 roky
utils.py	51a3c0869d Remove deprecated code + do away with the __constraint and __model: .code and .model now, so they are hidden mostly	před 8 roky