Move test *.sav files to a sav/ subdirectory.

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

diff --git a/tests/sav/base_super_linext_raf.sav b/tests/sav/base_super_linext_raf.sav
new file mode 100644 (file)
index 0000000..e9742a5
--- /dev/null
+++ b/tests/sav/base_super_linext_raf.sav
@@ -0,0 +1,8 @@
+a[A]
+Aa
+b[B[a[A]]]
+AaBb
+c[C[a[A]]]
+AaCc
+d[D[b[B[c[C[a[A]]]]]]]
+AaCcBbDd