Merge branch 'package2module' into wip

[nit.git] / tests / sav / base_isa_nil.sav

diff --git a/tests/sav/base_isa_nil.sav b/tests/sav/base_isa_nil.sav
index 5ec39bb..a9c7347 100644 (file)
--- a/tests/sav/base_isa_nil.sav
+++ b/tests/sav/base_isa_nil.sav
@@ -4,3 +4,9 @@ true
 true
 true
 true
+false
+false
+false
+true
+true
+true