tests: Add contract test with static
authorFlorian Deljarry <deljarry.florian@gmail.com>
Tue, 8 Oct 2019 14:33:18 +0000 (10:33 -0400)
committerFlorian Deljarry <deljarry.florian@gmail.com>
Wed, 9 Oct 2019 12:35:03 +0000 (08:35 -0400)
commit62326077de6c27c78714c75b3325c293a4a5339e
tree1b74ad7ef75023ef2e0ec0f28db4b300b1e64081
parent99cbebc98a566e0054334633e146463156d073e1
tests: Add contract test with static

Test when the static type has no contract and the dynamic has one.

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