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

Yentl Van Tendeloo a23b269e9b Fixed non-determinism when the wrong model and fixed control model is sent		%!s(int64=8) %!d(string=hai) anos
..
code	351d75fdfe Fixed SCCD test	%!s(int64=8) %!d(string=hai) anos
conftest.py	42ea08d75a Added a flag to skip very slow tests (e.g., pn_simulate_larger)	%!s(int64=8) %!d(string=hai) anos
test_powerwindow.py	a23b269e9b Fixed non-determinism when the wrong model and fixed control model is sent	%!s(int64=8) %!d(string=hai) anos
utils.py	a9ca406a62 Built in a more decent timeout	%!s(int64=8) %!d(string=hai) anos