yentl/modelverse @ 46519f7a2f6bfca5c634a1bdff0a58df8b5422f3

Yentl Van Tendeloo 20f9c52853 Make verify rely on a model operation that is explicitly defined		8 rokov pred
..
modelverse.py	20f9c52853 Make verify rely on a model operation that is explicitly defined	8 rokov pred
test.py	fbc4f18ce1 Fixed test file for wrappers	8 rokov pred
test_modelverse.py	da788db061 Fixed bugs in wrapper	8 rokov pred