andrei/modelverse @ b96a438ea3f9ddbb22fb9aacf4e13dabb11c00d8

forkattu lähteestä yentl/modelverse

Yentl Van Tendeloo b96a438ea3 Added a minimal piece of code for SCCD execution		8 vuotta sitten
..
code	b96a438ea3 Added a minimal piece of code for SCCD execution	8 vuotta sitten
conftest.py	42ea08d75a Added a flag to skip very slow tests (e.g., pn_simulate_larger)	9 vuotta sitten
test_mvc.py	20f9c52853 Make verify rely on a model operation that is explicitly defined	8 vuotta sitten
test_powerwindow.py	69f9e63b5c Fixed power window tests	8 vuotta sitten
utils.py	98124d3808 Fixed output generation of modelverse	8 vuotta sitten