tests: Add tests for generic and virtual types
authorFlorian Deljarry <deljarry.florian@gmail.com>
Mon, 30 Sep 2019 15:48:33 +0000 (11:48 -0400)
committerFlorian Deljarry <deljarry.florian@gmail.com>
Mon, 30 Sep 2019 15:56:06 +0000 (11:56 -0400)
commitb66f1df35ed8205dda837e884e699a453134a2d9
tree0ed693103332a4648eb79dfdf7996b8e690ae109
parent5f30804e9038146b69ff4bf01bf80bd721742a46
tests: Add tests for generic and virtual types

Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
tests/contracts_generic_type.nit [new file with mode: 0644]
tests/contracts_virtual_type.nit [new file with mode: 0644]
tests/sav/contracts_generic_type.res [new file with mode: 0644]
tests/sav/contracts_virtual_type.res [new file with mode: 0644]