From 971eb269d4af7ea81993a075ffc640d77db6c821 Mon Sep 17 00:00:00 2001
From: Adam Radziszewski <adam.radziszewski@pwr.wroc.pl>
Date: Wed, 8 Dec 2010 14:00:04 +0100
Subject: [PATCH] more tests for iteration ops
---
tests/data/iterations.ccl | 30 ++++++++++++++++++++++++++++++
1 file changed, 30 insertions(+)
diff --git a/tests/data/iterations.ccl b/tests/data/iterations.ccl
index 90b520b..f50cd48 100644
--- a/tests/data/iterations.ccl
+++ b/tests/data/iterations.ccl
@@ -58,3 +58,33 @@ llook(0,begin,$NomAcc, equal(cas[$NomAcc],{nom,acc}))
False
NomAcc=nowhere
---
+position=0
+only(10,12,$Loc, in(loc, cas[$Loc]))
+
+True
+Loc=12
+---
+position=0
+only(10,13,$Loc, in(loc, cas[$Loc]))
+
+False
+Loc=nowhere
+---
+position=0
+atleast(9,13,$Loc, in(loc, cas[$Loc]), 3)
+
+True
+Loc=12
+---
+position=0
+atleast(9,13,$Loc, in(loc, cas[$Loc]), 4)
+
+False
+Loc=nowhere
+---
+position=-1
+llook(0,begin,$NomAcc, equal(cas[$NomAcc],{nom,acc}))
+
+False
+NomAcc=nowhere
+---
--
GitLab