tests: adding contract testing files
authorFlorian Deljarry <deljarry.florian@gmail.com>
Sat, 27 Apr 2019 21:46:35 +0000 (17:46 -0400)
committerFlorian Deljarry <deljarry.florian@gmail.com>
Wed, 25 Sep 2019 20:43:58 +0000 (16:43 -0400)
commit09df0a0c5b183e71864bcce74a800ebe5c1f46e8
tree4edc7f6fe63c17ee54c6d74593275fb332f8f8e2
parentdf122cc2df844de72aca9fcd4896efd648be4210
tests: adding contract testing files

Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
39 files changed:
tests/contracts.nit [new file with mode: 0644]
tests/contracts_abstract.nit [new file with mode: 0644]
tests/contracts_add.nit [new file with mode: 0644]
tests/contracts_attributs.nit [new file with mode: 0644]
tests/contracts_constructor.nit [new file with mode: 0644]
tests/contracts_ensures.nit [new file with mode: 0644]
tests/contracts_ensures_1.nit [new file with mode: 0644]
tests/contracts_ensures_2.nit [new file with mode: 0644]
tests/contracts_ensures_3.nit [new file with mode: 0644]
tests/contracts_ensures_4.nit [new file with mode: 0644]
tests/contracts_ensures_sequence.nit [new file with mode: 0644]
tests/contracts_error.nit [new file with mode: 0644]
tests/contracts_expects.nit [new file with mode: 0644]
tests/contracts_expects_1.nit [new file with mode: 0644]
tests/contracts_expects_2.nit [new file with mode: 0644]
tests/contracts_expects_3.nit [new file with mode: 0644]
tests/contracts_inheritance.nit [new file with mode: 0644]
tests/contracts_same_contract.nit [new file with mode: 0644]
tests/sav/contracts.res [new file with mode: 0644]
tests/sav/contracts_abstract.res [new file with mode: 0644]
tests/sav/contracts_add.res [new file with mode: 0644]
tests/sav/contracts_attributs.res [new file with mode: 0644]
tests/sav/contracts_constructor.res [new file with mode: 0644]
tests/sav/contracts_ensures.res [new file with mode: 0644]
tests/sav/contracts_ensures_1.res [new file with mode: 0644]
tests/sav/contracts_ensures_2.res [new file with mode: 0644]
tests/sav/contracts_ensures_3.res [new file with mode: 0644]
tests/sav/contracts_ensures_4.res [new file with mode: 0644]
tests/sav/contracts_ensures_5.res [new file with mode: 0644]
tests/sav/contracts_ensures_sequence.res [new file with mode: 0644]
tests/sav/contracts_error.res [new file with mode: 0644]
tests/sav/contracts_expects.res [new file with mode: 0644]
tests/sav/contracts_expects_1.res [new file with mode: 0644]
tests/sav/contracts_expects_2.res [new file with mode: 0644]
tests/sav/contracts_expects_3.res [new file with mode: 0644]
tests/sav/contracts_inheritance.res [new file with mode: 0644]
tests/sav/contracts_same_contract.res [new file with mode: 0644]
tests/sav/test_toolcontext_args1.res
tests/sav/test_toolcontext_args2.res