Merge remote-tracking branch 'upstream/master' into init_auto

[nit.git] / tests / sav / test_model_index_args8.res

diff --git a/tests/sav/test_model_index_args8.res b/tests/sav/test_model_index_args8.res
new file mode 100644 (file)
index 0000000..0b99c62
--- /dev/null
+++ b/tests/sav/test_model_index_args8.res
@@ -0,0 +1,12 @@
+# A
+
+ * 1: * (test_prog::Float::*)
+ * 1: * (test_prog::Int::*)
+ * 1: + (test_prog::Int::+)
+ * 1: + (test_prog::Float::+)
+ * 1: - (test_prog::Float::-)
+ * 1: - (test_prog::Int::-)
+ * 1: / (test_prog::Int::/)
+ * 1: / (test_prog::Float::/)
+ * 1: > (test_prog::Int::>)
+ * 1: > (test_prog::Float::>)