[dynamo]

test
Merge branch 'master' of https://github.com/KleeGroup/vertigo
[dynamo] rename some unit tests