removed `nitvm` engine from tests
[nit.git] / tests / contracts_ensures_3.nit
2019-09-25 Florian Deljarrytests: adding contract testing files