Merge: Contract refactoring

[nit.git] / tests / niti.skip

diff --git a/tests/niti.skip b/tests/niti.skip
index 7a451c4..6e60c30 100644 (file)
--- a/tests/niti.skip
+++ b/tests/niti.skip
@@ -5,6 +5,7 @@ nit_args4
 nit_args5
 nit_args6
 nit_args8
+nit_args9
 nitvm_args1
 nitvm_args3
 nitin
@@ -44,3 +45,5 @@ test_rubix_visual
 test_csv
 repeating_key_xor_solve
 nitpm
+nitdoc
+test_astbuilder