test: add new test base_virtual_type_check.nit

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

diff --git a/tests/sav/base_virtual_type_check.sav b/tests/sav/base_virtual_type_check.sav
new file mode 100644 (file)
index 0000000..43474d8
--- /dev/null
+++ b/tests/sav/base_virtual_type_check.sav
@@ -0,0 +1,26 @@
+J<Tfalse
+J<Ufalse
+K<Ttrue
+K<Utrue
+L<Ttrue
+L<Utrue
+K<T
+L<T
+K<U
+L<U
+J<Tfalse
+J<Ufalse
+K<Tfalse
+K<Ufalse
+L<Ttrue
+L<Utrue
+L<T
+L<U
+J<Tfalse
+J<Ufalse
+K<Tfalse
+K<Ufalse
+L<Ttrue
+L<Utrue
+L<T
+L<U