Merge: Contract refactoring

[nit.git] / tests / nitvm.skip

diff --git a/tests/nitvm.skip b/tests/nitvm.skip
index 47cb8a0..61f68f8 100644 (file)
--- a/tests/nitvm.skip
+++ b/tests/nitvm.skip
@@ -4,8 +4,11 @@ nit_args3
 nit_args4
 nit_args5
 nit_args6
+nit_args8
+nit_args9
 nitvm_args1
 nitvm_args3
+nitin
 nitc_args1
 nitc_args3
 nitc_args5
@@ -40,3 +43,10 @@ test_ffi_c_lots_of_refs
 test_rubix_visual
 test_rubix_cube
 test_csv
+repeating_key_xor_solve
+test_explain_assert
+base_notnull_lit_alt2
+assertions
+nitpm
+nitdoc
+test_astbuilder