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

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