leptris 1.9.232.0-arm-linux → 1.9.237.0-arm-linux
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/CHANGELOG.md +25 -0
- data/Rakefile +1 -1
- data/ext/leptris/native/native.c +144 -3
- data/lib/leptris/version.rb +1 -1
- data/lib/leptris/xml/document.rb +20 -3
- data/lib/leptris/xml/ffi.rb +91 -62
- data/lib/leptris/xml/native.so +0 -0
- data/lib/libleptris.so +0 -0
- data/vendor-src/README.md +1 -1
- data/vendor-src/libleptris/CHANGELOG.md +113 -4
- data/vendor-src/libleptris/CMakeLists.txt +1 -1
- data/vendor-src/libleptris/benchmarks/dom/bench_leptris.c +14 -6
- data/vendor-src/libleptris/src/include/leptris.h +27 -0
- data/vendor-src/libleptris/src/leptris/dom/element_modify.c +20 -0
- data/vendor-src/libleptris/src/leptris/leptris_internal.h +5 -0
- data/vendor-src/libleptris/src/leptris/xpath/evaluator.c +7 -0
- data/vendor-src/libleptris/src/leptris/xpath/evaluator_operators.c +38 -4
- data/vendor-src/libleptris/src/leptris/xpath/evaluator_types.c +5 -1
- data/vendor-src/libleptris/src/leptris/xpath/functions.c +86 -7
- data/vendor-src/libleptris/src/leptris/xpath/functions_ext31.c +237 -24
- data/vendor-src/libleptris/src/leptris/xpath/xpath_public.c +16 -1
- data/vendor-src/libleptris/test/dom/test_dom.cpp +80 -0
- data/vendor-src/libleptris/test/xquery/qt3/fn/count.xml +3117 -0
- data/vendor-src/libleptris/test/xquery/qt3/fn/empty.xml +502 -0
- data/vendor-src/libleptris/test/xquery/qt3/fn/exists.xml +537 -0
- data/vendor-src/libleptris/test/xquery/qt3/fn/head.xml +90 -0
- data/vendor-src/libleptris/test/xquery/qt3/fn/tail.xml +68 -0
- data/vendor-src/libleptris/test/xquery/test_qt3.cpp +124 -93
- data/vendor-src/libleptris/test/xquery/test_xquery.cpp +28 -0
- data/vendor-src/libleptris/vcpkg.json +1 -1
- metadata +6 -1
|
@@ -0,0 +1,3117 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="us-ascii"?>
|
|
2
|
+
<test-set xmlns="http://www.w3.org/2010/09/qt-fots-catalog" name="fn-count">
|
|
3
|
+
<description>Tests for the count() function</description>
|
|
4
|
+
<link type="spec" document="http://www.w3.org/TR/xpath-functions-30/"
|
|
5
|
+
idref="func-count"/>
|
|
6
|
+
|
|
7
|
+
<test-case name="fn-countint1args-1">
|
|
8
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:int(lower bound) </description>
|
|
9
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
10
|
+
<test>fn:count((xs:int("-2147483648")))</test>
|
|
11
|
+
<result>
|
|
12
|
+
<assert-eq>1</assert-eq>
|
|
13
|
+
</result>
|
|
14
|
+
</test-case>
|
|
15
|
+
|
|
16
|
+
<test-case name="fn-countint1args-2">
|
|
17
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:int(mid range) </description>
|
|
18
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
19
|
+
<test>fn:count((xs:int("-1873914410")))</test>
|
|
20
|
+
<result>
|
|
21
|
+
<assert-eq>1</assert-eq>
|
|
22
|
+
</result>
|
|
23
|
+
</test-case>
|
|
24
|
+
|
|
25
|
+
<test-case name="fn-countint1args-3">
|
|
26
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:int(upper bound) </description>
|
|
27
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
28
|
+
<test>fn:count((xs:int("2147483647")))</test>
|
|
29
|
+
<result>
|
|
30
|
+
<assert-eq>1</assert-eq>
|
|
31
|
+
</result>
|
|
32
|
+
</test-case>
|
|
33
|
+
|
|
34
|
+
<test-case name="fn-countintg1args-1">
|
|
35
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:integer(lower bound) </description>
|
|
36
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
37
|
+
<test>fn:count((xs:integer("-999999999999999999")))</test>
|
|
38
|
+
<result>
|
|
39
|
+
<assert-eq>1</assert-eq>
|
|
40
|
+
</result>
|
|
41
|
+
</test-case>
|
|
42
|
+
|
|
43
|
+
<test-case name="fn-countintg1args-2">
|
|
44
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:integer(mid range) </description>
|
|
45
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
46
|
+
<test>fn:count((xs:integer("830993497117024304")))</test>
|
|
47
|
+
<result>
|
|
48
|
+
<assert-eq>1</assert-eq>
|
|
49
|
+
</result>
|
|
50
|
+
</test-case>
|
|
51
|
+
|
|
52
|
+
<test-case name="fn-countintg1args-3">
|
|
53
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:integer(upper bound) </description>
|
|
54
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
55
|
+
<test>fn:count((xs:integer("999999999999999999")))</test>
|
|
56
|
+
<result>
|
|
57
|
+
<assert-eq>1</assert-eq>
|
|
58
|
+
</result>
|
|
59
|
+
</test-case>
|
|
60
|
+
|
|
61
|
+
<test-case name="fn-countdec1args-1">
|
|
62
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:decimal(lower bound) </description>
|
|
63
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
64
|
+
<test>fn:count((xs:decimal("-999999999999999999")))</test>
|
|
65
|
+
<result>
|
|
66
|
+
<assert-eq>1</assert-eq>
|
|
67
|
+
</result>
|
|
68
|
+
</test-case>
|
|
69
|
+
|
|
70
|
+
<test-case name="fn-countdec1args-2">
|
|
71
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:decimal(mid range) </description>
|
|
72
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
73
|
+
<test>fn:count((xs:decimal("617375191608514839")))</test>
|
|
74
|
+
<result>
|
|
75
|
+
<assert-eq>1</assert-eq>
|
|
76
|
+
</result>
|
|
77
|
+
</test-case>
|
|
78
|
+
|
|
79
|
+
<test-case name="fn-countdec1args-3">
|
|
80
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:decimal(upper bound) </description>
|
|
81
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
82
|
+
<test>fn:count((xs:decimal("999999999999999999")))</test>
|
|
83
|
+
<result>
|
|
84
|
+
<assert-eq>1</assert-eq>
|
|
85
|
+
</result>
|
|
86
|
+
</test-case>
|
|
87
|
+
|
|
88
|
+
<test-case name="fn-countdbl1args-1">
|
|
89
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:double(lower bound) </description>
|
|
90
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
91
|
+
<test>fn:count((xs:double("-1.7976931348623157E308")))</test>
|
|
92
|
+
<result>
|
|
93
|
+
<assert-eq>1</assert-eq>
|
|
94
|
+
</result>
|
|
95
|
+
</test-case>
|
|
96
|
+
|
|
97
|
+
<test-case name="fn-countdbl1args-2">
|
|
98
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:double(mid range) </description>
|
|
99
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
100
|
+
<test>fn:count((xs:double("0")))</test>
|
|
101
|
+
<result>
|
|
102
|
+
<assert-eq>1</assert-eq>
|
|
103
|
+
</result>
|
|
104
|
+
</test-case>
|
|
105
|
+
|
|
106
|
+
<test-case name="fn-countdbl1args-3">
|
|
107
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:double(upper bound) </description>
|
|
108
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
109
|
+
<test>fn:count((xs:double("1.7976931348623157E308")))</test>
|
|
110
|
+
<result>
|
|
111
|
+
<assert-eq>1</assert-eq>
|
|
112
|
+
</result>
|
|
113
|
+
</test-case>
|
|
114
|
+
|
|
115
|
+
<test-case name="fn-countflt1args-1">
|
|
116
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:float(lower bound) </description>
|
|
117
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
118
|
+
<test>fn:count((xs:float("-3.4028235E38")))</test>
|
|
119
|
+
<result>
|
|
120
|
+
<assert-eq>1</assert-eq>
|
|
121
|
+
</result>
|
|
122
|
+
</test-case>
|
|
123
|
+
|
|
124
|
+
<test-case name="fn-countflt1args-2">
|
|
125
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:float(mid range) </description>
|
|
126
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
127
|
+
<test>fn:count((xs:float("0")))</test>
|
|
128
|
+
<result>
|
|
129
|
+
<assert-eq>1</assert-eq>
|
|
130
|
+
</result>
|
|
131
|
+
</test-case>
|
|
132
|
+
|
|
133
|
+
<test-case name="fn-countflt1args-3">
|
|
134
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:float(upper bound) </description>
|
|
135
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
136
|
+
<test>fn:count((xs:float("3.4028235E38")))</test>
|
|
137
|
+
<result>
|
|
138
|
+
<assert-eq>1</assert-eq>
|
|
139
|
+
</result>
|
|
140
|
+
</test-case>
|
|
141
|
+
|
|
142
|
+
<test-case name="fn-countlng1args-1">
|
|
143
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:long(lower bound) </description>
|
|
144
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
145
|
+
<test>fn:count((xs:long("-92233720368547758")))</test>
|
|
146
|
+
<result>
|
|
147
|
+
<assert-eq>1</assert-eq>
|
|
148
|
+
</result>
|
|
149
|
+
</test-case>
|
|
150
|
+
|
|
151
|
+
<test-case name="fn-countlng1args-2">
|
|
152
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:long(mid range) </description>
|
|
153
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
154
|
+
<test>fn:count((xs:long("-47175562203048468")))</test>
|
|
155
|
+
<result>
|
|
156
|
+
<assert-eq>1</assert-eq>
|
|
157
|
+
</result>
|
|
158
|
+
</test-case>
|
|
159
|
+
|
|
160
|
+
<test-case name="fn-countlng1args-3">
|
|
161
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:long(upper bound) </description>
|
|
162
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
163
|
+
<test>fn:count((xs:long("92233720368547758")))</test>
|
|
164
|
+
<result>
|
|
165
|
+
<assert-eq>1</assert-eq>
|
|
166
|
+
</result>
|
|
167
|
+
</test-case>
|
|
168
|
+
|
|
169
|
+
<test-case name="fn-countusht1args-1">
|
|
170
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:unsignedShort(lower bound) </description>
|
|
171
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
172
|
+
<test>fn:count((xs:unsignedShort("0")))</test>
|
|
173
|
+
<result>
|
|
174
|
+
<assert-eq>1</assert-eq>
|
|
175
|
+
</result>
|
|
176
|
+
</test-case>
|
|
177
|
+
|
|
178
|
+
<test-case name="fn-countusht1args-2">
|
|
179
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:unsignedShort(mid range) </description>
|
|
180
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
181
|
+
<test>fn:count((xs:unsignedShort("44633")))</test>
|
|
182
|
+
<result>
|
|
183
|
+
<assert-eq>1</assert-eq>
|
|
184
|
+
</result>
|
|
185
|
+
</test-case>
|
|
186
|
+
|
|
187
|
+
<test-case name="fn-countusht1args-3">
|
|
188
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:unsignedShort(upper bound) </description>
|
|
189
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
190
|
+
<test>fn:count((xs:unsignedShort("65535")))</test>
|
|
191
|
+
<result>
|
|
192
|
+
<assert-eq>1</assert-eq>
|
|
193
|
+
</result>
|
|
194
|
+
</test-case>
|
|
195
|
+
|
|
196
|
+
<test-case name="fn-countnint1args-1">
|
|
197
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:negativeInteger(lower bound) </description>
|
|
198
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
199
|
+
<test>fn:count((xs:negativeInteger("-999999999999999999")))</test>
|
|
200
|
+
<result>
|
|
201
|
+
<assert-eq>1</assert-eq>
|
|
202
|
+
</result>
|
|
203
|
+
</test-case>
|
|
204
|
+
|
|
205
|
+
<test-case name="fn-countnint1args-2">
|
|
206
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:negativeInteger(mid range) </description>
|
|
207
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
208
|
+
<test>fn:count((xs:negativeInteger("-297014075999096793")))</test>
|
|
209
|
+
<result>
|
|
210
|
+
<assert-eq>1</assert-eq>
|
|
211
|
+
</result>
|
|
212
|
+
</test-case>
|
|
213
|
+
|
|
214
|
+
<test-case name="fn-countnint1args-3">
|
|
215
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:negativeInteger(upper bound) </description>
|
|
216
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
217
|
+
<test>fn:count((xs:negativeInteger("-1")))</test>
|
|
218
|
+
<result>
|
|
219
|
+
<assert-eq>1</assert-eq>
|
|
220
|
+
</result>
|
|
221
|
+
</test-case>
|
|
222
|
+
|
|
223
|
+
<test-case name="fn-countpint1args-1">
|
|
224
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:positiveInteger(lower bound) </description>
|
|
225
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
226
|
+
<test>fn:count((xs:positiveInteger("1")))</test>
|
|
227
|
+
<result>
|
|
228
|
+
<assert-eq>1</assert-eq>
|
|
229
|
+
</result>
|
|
230
|
+
</test-case>
|
|
231
|
+
|
|
232
|
+
<test-case name="fn-countpint1args-2">
|
|
233
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:positiveInteger(mid range) </description>
|
|
234
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
235
|
+
<test>fn:count((xs:positiveInteger("52704602390610033")))</test>
|
|
236
|
+
<result>
|
|
237
|
+
<assert-eq>1</assert-eq>
|
|
238
|
+
</result>
|
|
239
|
+
</test-case>
|
|
240
|
+
|
|
241
|
+
<test-case name="fn-countpint1args-3">
|
|
242
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:positiveInteger(upper bound) </description>
|
|
243
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
244
|
+
<test>fn:count((xs:positiveInteger("999999999999999999")))</test>
|
|
245
|
+
<result>
|
|
246
|
+
<assert-eq>1</assert-eq>
|
|
247
|
+
</result>
|
|
248
|
+
</test-case>
|
|
249
|
+
|
|
250
|
+
<test-case name="fn-countulng1args-1">
|
|
251
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:unsignedLong(lower bound) </description>
|
|
252
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
253
|
+
<test>fn:count((xs:unsignedLong("0")))</test>
|
|
254
|
+
<result>
|
|
255
|
+
<assert-eq>1</assert-eq>
|
|
256
|
+
</result>
|
|
257
|
+
</test-case>
|
|
258
|
+
|
|
259
|
+
<test-case name="fn-countulng1args-2">
|
|
260
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:unsignedLong(mid range) </description>
|
|
261
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
262
|
+
<test>fn:count((xs:unsignedLong("130747108607674654")))</test>
|
|
263
|
+
<result>
|
|
264
|
+
<assert-eq>1</assert-eq>
|
|
265
|
+
</result>
|
|
266
|
+
</test-case>
|
|
267
|
+
|
|
268
|
+
<test-case name="fn-countulng1args-3">
|
|
269
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:unsignedLong(upper bound) </description>
|
|
270
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
271
|
+
<test>fn:count((xs:unsignedLong("184467440737095516")))</test>
|
|
272
|
+
<result>
|
|
273
|
+
<assert-eq>1</assert-eq>
|
|
274
|
+
</result>
|
|
275
|
+
</test-case>
|
|
276
|
+
|
|
277
|
+
<test-case name="fn-countnpi1args-1">
|
|
278
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:nonPositiveInteger(lower bound) </description>
|
|
279
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
280
|
+
<test>fn:count((xs:nonPositiveInteger("-999999999999999999")))</test>
|
|
281
|
+
<result>
|
|
282
|
+
<assert-eq>1</assert-eq>
|
|
283
|
+
</result>
|
|
284
|
+
</test-case>
|
|
285
|
+
|
|
286
|
+
<test-case name="fn-countnpi1args-2">
|
|
287
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:nonPositiveInteger(mid range) </description>
|
|
288
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
289
|
+
<test>fn:count((xs:nonPositiveInteger("-475688437271870490")))</test>
|
|
290
|
+
<result>
|
|
291
|
+
<assert-eq>1</assert-eq>
|
|
292
|
+
</result>
|
|
293
|
+
</test-case>
|
|
294
|
+
|
|
295
|
+
<test-case name="fn-countnpi1args-3">
|
|
296
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:nonPositiveInteger(upper bound) </description>
|
|
297
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
298
|
+
<test>fn:count((xs:nonPositiveInteger("0")))</test>
|
|
299
|
+
<result>
|
|
300
|
+
<assert-eq>1</assert-eq>
|
|
301
|
+
</result>
|
|
302
|
+
</test-case>
|
|
303
|
+
|
|
304
|
+
<test-case name="fn-countnni1args-1">
|
|
305
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:nonNegativeInteger(lower bound) </description>
|
|
306
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
307
|
+
<test>fn:count((xs:nonNegativeInteger("0")))</test>
|
|
308
|
+
<result>
|
|
309
|
+
<assert-eq>1</assert-eq>
|
|
310
|
+
</result>
|
|
311
|
+
</test-case>
|
|
312
|
+
|
|
313
|
+
<test-case name="fn-countnni1args-2">
|
|
314
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:nonNegativeInteger(mid range) </description>
|
|
315
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
316
|
+
<test>fn:count((xs:nonNegativeInteger("303884545991464527")))</test>
|
|
317
|
+
<result>
|
|
318
|
+
<assert-eq>1</assert-eq>
|
|
319
|
+
</result>
|
|
320
|
+
</test-case>
|
|
321
|
+
|
|
322
|
+
<test-case name="fn-countnni1args-3">
|
|
323
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:nonNegativeInteger(upper bound) </description>
|
|
324
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
325
|
+
<test>fn:count((xs:nonNegativeInteger("999999999999999999")))</test>
|
|
326
|
+
<result>
|
|
327
|
+
<assert-eq>1</assert-eq>
|
|
328
|
+
</result>
|
|
329
|
+
</test-case>
|
|
330
|
+
|
|
331
|
+
<test-case name="fn-countsht1args-1">
|
|
332
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:short(lower bound) </description>
|
|
333
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
334
|
+
<test>fn:count((xs:short("-32768")))</test>
|
|
335
|
+
<result>
|
|
336
|
+
<assert-eq>1</assert-eq>
|
|
337
|
+
</result>
|
|
338
|
+
</test-case>
|
|
339
|
+
|
|
340
|
+
<test-case name="fn-countsht1args-2">
|
|
341
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:short(mid range) </description>
|
|
342
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
343
|
+
<test>fn:count((xs:short("-5324")))</test>
|
|
344
|
+
<result>
|
|
345
|
+
<assert-eq>1</assert-eq>
|
|
346
|
+
</result>
|
|
347
|
+
</test-case>
|
|
348
|
+
|
|
349
|
+
<test-case name="fn-countsht1args-3">
|
|
350
|
+
<description> Evaluates The "count" function with the arguments set as follows: $arg = xs:short(upper bound) </description>
|
|
351
|
+
<created by="Carmelo Montanez" on="2004-12-13"/>
|
|
352
|
+
<test>fn:count((xs:short("32767")))</test>
|
|
353
|
+
<result>
|
|
354
|
+
<assert-eq>1</assert-eq>
|
|
355
|
+
</result>
|
|
356
|
+
</test-case>
|
|
357
|
+
|
|
358
|
+
<test-case name="K-SeqCountFunc-1">
|
|
359
|
+
<description> A test whose essence is: `count()`. </description>
|
|
360
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
361
|
+
<test>count()</test>
|
|
362
|
+
<result>
|
|
363
|
+
<error code="XPST0017"/>
|
|
364
|
+
</result>
|
|
365
|
+
</test-case>
|
|
366
|
+
|
|
367
|
+
<test-case name="K-SeqCountFunc-2">
|
|
368
|
+
<description> A test whose essence is: `count(1, ())`. </description>
|
|
369
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
370
|
+
<test>count(1, ())</test>
|
|
371
|
+
<result>
|
|
372
|
+
<error code="XPST0017"/>
|
|
373
|
+
</result>
|
|
374
|
+
</test-case>
|
|
375
|
+
|
|
376
|
+
<test-case name="K-SeqCountFunc-3">
|
|
377
|
+
<description> A test whose essence is: `count( () ) eq 0`. </description>
|
|
378
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
379
|
+
<test>count( () ) eq 0</test>
|
|
380
|
+
<result>
|
|
381
|
+
<assert-true/>
|
|
382
|
+
</result>
|
|
383
|
+
</test-case>
|
|
384
|
+
|
|
385
|
+
<test-case name="K-SeqCountFunc-4">
|
|
386
|
+
<description> A test whose essence is: `count( (1, 2, 3) ) eq 3`. </description>
|
|
387
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
388
|
+
<test>count( (1, 2, 3) ) eq 3</test>
|
|
389
|
+
<result>
|
|
390
|
+
<assert-true/>
|
|
391
|
+
</result>
|
|
392
|
+
</test-case>
|
|
393
|
+
|
|
394
|
+
<test-case name="K-SeqCountFunc-5">
|
|
395
|
+
<description> A test whose essence is: `count( (1, 2, ()) ) eq 2`. </description>
|
|
396
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
397
|
+
<test>count( (1, 2, ()) ) eq 2</test>
|
|
398
|
+
<result>
|
|
399
|
+
<assert-true/>
|
|
400
|
+
</result>
|
|
401
|
+
</test-case>
|
|
402
|
+
|
|
403
|
+
<test-case name="K-SeqCountFunc-6">
|
|
404
|
+
<description> A test whose essence is: `count(()) eq 0`. </description>
|
|
405
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
406
|
+
<test>count(()) eq 0</test>
|
|
407
|
+
<result>
|
|
408
|
+
<assert-true/>
|
|
409
|
+
</result>
|
|
410
|
+
</test-case>
|
|
411
|
+
|
|
412
|
+
<test-case name="K-SeqCountFunc-7">
|
|
413
|
+
<description> A test whose essence is: `count(((((()))))) eq 0`. </description>
|
|
414
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
415
|
+
<test>count(((((()))))) eq 0</test>
|
|
416
|
+
<result>
|
|
417
|
+
<assert-true/>
|
|
418
|
+
</result>
|
|
419
|
+
</test-case>
|
|
420
|
+
|
|
421
|
+
<test-case name="K-SeqCountFunc-8">
|
|
422
|
+
<description> A test whose essence is: `count( (((), (), ()), (), (), (), ()) ) eq 0`. </description>
|
|
423
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
424
|
+
<test>count( (((), (), ()), (), (), (), ()) ) eq 0</test>
|
|
425
|
+
<result>
|
|
426
|
+
<assert-true/>
|
|
427
|
+
</result>
|
|
428
|
+
</test-case>
|
|
429
|
+
|
|
430
|
+
<test-case name="K-SeqCountFunc-9">
|
|
431
|
+
<description> A test whose essence is: `count( (1, 2, 3) ) eq 3`. </description>
|
|
432
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
433
|
+
<test>count( (1, 2, 3) ) eq 3</test>
|
|
434
|
+
<result>
|
|
435
|
+
<assert-true/>
|
|
436
|
+
</result>
|
|
437
|
+
</test-case>
|
|
438
|
+
|
|
439
|
+
<test-case name="K-SeqCountFunc-10">
|
|
440
|
+
<description> A test whose essence is: `count( ((), "one", 2, "three")) eq 3`. </description>
|
|
441
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
442
|
+
<test>count( ((), "one", 2, "three")) eq 3</test>
|
|
443
|
+
<result>
|
|
444
|
+
<assert-true/>
|
|
445
|
+
</result>
|
|
446
|
+
</test-case>
|
|
447
|
+
|
|
448
|
+
<test-case name="K-SeqCountFunc-11">
|
|
449
|
+
<description> A test whose essence is: `count( ("one", (2, "three")) ) eq 3`. </description>
|
|
450
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
451
|
+
<test>count( ("one", (2, "three")) ) eq 3</test>
|
|
452
|
+
<result>
|
|
453
|
+
<assert-true/>
|
|
454
|
+
</result>
|
|
455
|
+
</test-case>
|
|
456
|
+
|
|
457
|
+
<test-case name="K-SeqCountFunc-12">
|
|
458
|
+
<description> A test whose essence is: `count((1, 2)) eq 2`. </description>
|
|
459
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
460
|
+
<test>count((1, 2)) eq 2</test>
|
|
461
|
+
<result>
|
|
462
|
+
<assert-true/>
|
|
463
|
+
</result>
|
|
464
|
+
</test-case>
|
|
465
|
+
|
|
466
|
+
<test-case name="K-SeqCountFunc-13">
|
|
467
|
+
<description> A test whose essence is: `count((1, 2, 3, "four")) eq 4`. </description>
|
|
468
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
469
|
+
<test>count((1, 2, 3, "four")) eq 4</test>
|
|
470
|
+
<result>
|
|
471
|
+
<assert-true/>
|
|
472
|
+
</result>
|
|
473
|
+
</test-case>
|
|
474
|
+
|
|
475
|
+
<test-case name="K-SeqCountFunc-14">
|
|
476
|
+
<description> A test whose essence is: `count((1, 2, 3, "four")) eq 4`. </description>
|
|
477
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
478
|
+
<test>count((1, 2, 3, "four")) eq 4</test>
|
|
479
|
+
<result>
|
|
480
|
+
<assert-true/>
|
|
481
|
+
</result>
|
|
482
|
+
</test-case>
|
|
483
|
+
|
|
484
|
+
<test-case name="K-SeqCountFunc-15">
|
|
485
|
+
<description> A test whose essence is: `count(1 to 3) eq 3`. </description>
|
|
486
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
487
|
+
<test>count(1 to 3) eq 3</test>
|
|
488
|
+
<result>
|
|
489
|
+
<assert-true/>
|
|
490
|
+
</result>
|
|
491
|
+
</test-case>
|
|
492
|
+
|
|
493
|
+
<test-case name="K-SeqCountFunc-16">
|
|
494
|
+
<description> A test whose essence is: `count(reverse((1, 2, 3))) eq 3`. </description>
|
|
495
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
496
|
+
<test>count(reverse((1, 2, 3))) eq 3</test>
|
|
497
|
+
<result>
|
|
498
|
+
<assert-true/>
|
|
499
|
+
</result>
|
|
500
|
+
</test-case>
|
|
501
|
+
|
|
502
|
+
<test-case name="K-SeqCountFunc-17">
|
|
503
|
+
<description> A test whose essence is: `count(reverse((1, 2, 3))) eq 3`. </description>
|
|
504
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
505
|
+
<test>count(reverse((1, 2, 3))) eq 3</test>
|
|
506
|
+
<result>
|
|
507
|
+
<assert-true/>
|
|
508
|
+
</result>
|
|
509
|
+
</test-case>
|
|
510
|
+
|
|
511
|
+
<test-case name="K-SeqCountFunc-18">
|
|
512
|
+
<description> A test whose essence is: `not(count((1, 2, current-time(), 4))) eq false()`. </description>
|
|
513
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
514
|
+
<test>not(count((1, 2, current-time(), 4))) eq false()</test>
|
|
515
|
+
<result>
|
|
516
|
+
<assert-true/>
|
|
517
|
+
</result>
|
|
518
|
+
</test-case>
|
|
519
|
+
|
|
520
|
+
<test-case name="K2-SeqCountFunc-1">
|
|
521
|
+
<description> fn:count() doesn't implicitly get the context node. </description>
|
|
522
|
+
<created by="Frans Englich" on="2007-11-26"/>
|
|
523
|
+
<test>(1 to 10)/count()</test>
|
|
524
|
+
<result>
|
|
525
|
+
<error code="XPST0017"/>
|
|
526
|
+
</result>
|
|
527
|
+
</test-case>
|
|
528
|
+
|
|
529
|
+
<test-case name="Count001">
|
|
530
|
+
<description> count() applied to nodes (with optimization opportunities) </description>
|
|
531
|
+
<created by="Michael Kay" on="2011-11-04"/>
|
|
532
|
+
<environment ref="works-mod"/>
|
|
533
|
+
<test>count(//employee[@name='John Doe 4']) = 1</test>
|
|
534
|
+
<result>
|
|
535
|
+
<assert-true/>
|
|
536
|
+
</result>
|
|
537
|
+
</test-case>
|
|
538
|
+
|
|
539
|
+
<test-case name="Count002">
|
|
540
|
+
<description> count() applied to nodes (with optimization opportunities) </description>
|
|
541
|
+
<created by="Michael Kay" on="2011-11-04"/>
|
|
542
|
+
<environment ref="works-mod"/>
|
|
543
|
+
<test><![CDATA[count(//employee[@name='John Doe 4']) < 2]]></test>
|
|
544
|
+
<result>
|
|
545
|
+
<assert-true/>
|
|
546
|
+
</result>
|
|
547
|
+
</test-case>
|
|
548
|
+
|
|
549
|
+
<test-case name="Count003">
|
|
550
|
+
<description> count() applied to nodes (with optimization opportunities) </description>
|
|
551
|
+
<created by="Michael Kay" on="2011-11-04"/>
|
|
552
|
+
<environment ref="works-mod"/>
|
|
553
|
+
<test>count(//employee[@name='John Doe 4']) > 0</test>
|
|
554
|
+
<result>
|
|
555
|
+
<assert-true/>
|
|
556
|
+
</result>
|
|
557
|
+
</test-case>
|
|
558
|
+
|
|
559
|
+
<test-case name="Count004">
|
|
560
|
+
<description> count() applied to nodes (with optimization opportunities) </description>
|
|
561
|
+
<created by="Michael Kay" on="2011-11-04"/>
|
|
562
|
+
<environment ref="works-mod"/>
|
|
563
|
+
<test>count(//employee[@name='John Doe 4']/@name) > 0.5</test>
|
|
564
|
+
<result>
|
|
565
|
+
<assert-true/>
|
|
566
|
+
</result>
|
|
567
|
+
</test-case>
|
|
568
|
+
|
|
569
|
+
<test-case name="Count005">
|
|
570
|
+
<description> count() applied to nodes (with optimization opportunities) </description>
|
|
571
|
+
<created by="Michael Kay" on="2011-11-04"/>
|
|
572
|
+
<environment ref="works-mod"/>
|
|
573
|
+
<test>count(//*[@name='John Doe 4']) lt 1.5</test>
|
|
574
|
+
<result>
|
|
575
|
+
<assert-true/>
|
|
576
|
+
</result>
|
|
577
|
+
</test-case>
|
|
578
|
+
|
|
579
|
+
<test-case name="Count006">
|
|
580
|
+
<description> count() applied to nodes (with optimization opportunities) </description>
|
|
581
|
+
<created by="Michael Kay" on="2011-11-04"/>
|
|
582
|
+
<environment ref="works-mod"/>
|
|
583
|
+
<test>count(//*[@name='John Doe 4']) eq 0</test>
|
|
584
|
+
<result>
|
|
585
|
+
<assert-false/>
|
|
586
|
+
</result>
|
|
587
|
+
</test-case>
|
|
588
|
+
|
|
589
|
+
<test-case name="Count007">
|
|
590
|
+
<description> count() applied to nodes (with optimization opportunities) </description>
|
|
591
|
+
<created by="Michael Kay" on="2011-11-04"/>
|
|
592
|
+
<environment ref="works-mod"/>
|
|
593
|
+
<test>count(//*[@name='John Doe 498']) eq 0</test>
|
|
594
|
+
<result>
|
|
595
|
+
<assert-true/>
|
|
596
|
+
</result>
|
|
597
|
+
</test-case>
|
|
598
|
+
|
|
599
|
+
<test-case name="Count008">
|
|
600
|
+
<description> count() applied to nodes (with optimization opportunities) </description>
|
|
601
|
+
<created by="Michael Kay" on="2011-11-04"/>
|
|
602
|
+
<environment ref="works-mod"/>
|
|
603
|
+
<test>count(//*[@name='John Doe 4']) lt 1000000000000</test>
|
|
604
|
+
<result>
|
|
605
|
+
<assert-true/>
|
|
606
|
+
</result>
|
|
607
|
+
</test-case>
|
|
608
|
+
|
|
609
|
+
<test-case name="Count009">
|
|
610
|
+
<description> count() applied to nodes (with optimization opportunities) </description>
|
|
611
|
+
<created by="Michael Kay" on="2011-11-04"/>
|
|
612
|
+
<environment ref="works-mod"/>
|
|
613
|
+
<test>count(//*[@name='John Doe 4']) gt -5</test>
|
|
614
|
+
<result>
|
|
615
|
+
<assert-true/>
|
|
616
|
+
</result>
|
|
617
|
+
</test-case>
|
|
618
|
+
|
|
619
|
+
<test-case name="Count010">
|
|
620
|
+
<description> count() applied to nodes (with optimization opportunities) </description>
|
|
621
|
+
<created by="Michael Kay" on="2011-11-04"/>
|
|
622
|
+
<environment ref="works-mod"/>
|
|
623
|
+
<test>count(//*[@name='John Doe 4']) eq 0.3</test>
|
|
624
|
+
<result>
|
|
625
|
+
<assert-false/>
|
|
626
|
+
</result>
|
|
627
|
+
</test-case>
|
|
628
|
+
|
|
629
|
+
<test-case name="Count011">
|
|
630
|
+
<description> count() applied to nodes (with optimization opportunities) </description>
|
|
631
|
+
<created by="Michael Kay" on="2011-11-04"/>
|
|
632
|
+
<environment ref="works-mod"/>
|
|
633
|
+
<test>count(//node()) gt 40</test>
|
|
634
|
+
<result>
|
|
635
|
+
<assert-true/>
|
|
636
|
+
</result>
|
|
637
|
+
</test-case>
|
|
638
|
+
|
|
639
|
+
<test-case name="Count012">
|
|
640
|
+
<description> count() applied to nodes (with optimization opportunities) </description>
|
|
641
|
+
<created by="Michael Kay" on="2011-11-04"/>
|
|
642
|
+
<environment ref="works-mod"/>
|
|
643
|
+
<test>count(//node()) ne -1</test>
|
|
644
|
+
<result>
|
|
645
|
+
<assert-true/>
|
|
646
|
+
</result>
|
|
647
|
+
</test-case>
|
|
648
|
+
|
|
649
|
+
<test-case name="Count013">
|
|
650
|
+
<description> count() applied to nodes (with optimization opportunities) </description>
|
|
651
|
+
<created by="Michael Kay" on="2011-11-04"/>
|
|
652
|
+
<environment ref="works-mod"/>
|
|
653
|
+
<test>0 = count(//node())</test>
|
|
654
|
+
<result>
|
|
655
|
+
<assert-false/>
|
|
656
|
+
</result>
|
|
657
|
+
</test-case>
|
|
658
|
+
|
|
659
|
+
<test-case name="Count014">
|
|
660
|
+
<description> count() applied to nodes (with optimization opportunities) </description>
|
|
661
|
+
<created by="Michael Kay" on="2011-11-04"/>
|
|
662
|
+
<environment ref="works-mod"/>
|
|
663
|
+
<test>40 gt count(//node())</test>
|
|
664
|
+
<result>
|
|
665
|
+
<assert-false/>
|
|
666
|
+
</result>
|
|
667
|
+
</test-case>
|
|
668
|
+
|
|
669
|
+
<test-case name="Count015">
|
|
670
|
+
<description> count() applied to a for expression </description>
|
|
671
|
+
<created by="Michael Kay" on="2013-05-03"/>
|
|
672
|
+
<test>count(for $s in ("red", "blue", "green") return string-to-codepoints($s))</test>
|
|
673
|
+
<result>
|
|
674
|
+
<assert-eq>12</assert-eq>
|
|
675
|
+
</result>
|
|
676
|
+
</test-case>
|
|
677
|
+
|
|
678
|
+
|
|
679
|
+
<test-case name="cbcl-count-001">
|
|
680
|
+
<description> test fn:count on a range </description>
|
|
681
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
682
|
+
|
|
683
|
+
<test>fn:count(1 to 10000000)</test>
|
|
684
|
+
<result>
|
|
685
|
+
<assert-string-value>10000000</assert-string-value>
|
|
686
|
+
</result>
|
|
687
|
+
</test-case>
|
|
688
|
+
|
|
689
|
+
<test-case name="cbcl-count-002">
|
|
690
|
+
<description> test fn:count on a mix of values and expressions </description>
|
|
691
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
692
|
+
<dependency type="spec" value="XQ10+"/>
|
|
693
|
+
<test>declare function local:generate($arg as xs:integer?) { if ($arg = 0) then (1, 2, 3) else $arg }; fn:count( ( (), local:generate( () ), local:generate( 0 ), (1 to 10000000), local:generate( () ), local:generate(1)) )</test>
|
|
694
|
+
<result>
|
|
695
|
+
<assert-string-value>10000004</assert-string-value>
|
|
696
|
+
</result>
|
|
697
|
+
</test-case>
|
|
698
|
+
|
|
699
|
+
<test-case name="cbcl-count-003">
|
|
700
|
+
<description> Test fn:count on a range </description>
|
|
701
|
+
<created by="Oliver Hallam" on="2008-04-14"/>
|
|
702
|
+
<dependency type="spec" value="XQ10+ XP30+"/>
|
|
703
|
+
<test>let $x := year-from-date(current-date()) return count( 1 to $x ) = $x</test>
|
|
704
|
+
<result>
|
|
705
|
+
<assert-true/>
|
|
706
|
+
</result>
|
|
707
|
+
</test-case>
|
|
708
|
+
|
|
709
|
+
<test-case name="cbcl-count-005">
|
|
710
|
+
<description> test fn:count </description>
|
|
711
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
712
|
+
<dependency type="spec" value="XQ10+"/>
|
|
713
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt 25</test>
|
|
714
|
+
<result>
|
|
715
|
+
<assert-false/>
|
|
716
|
+
</result>
|
|
717
|
+
</test-case>
|
|
718
|
+
|
|
719
|
+
<test-case name="cbcl-count-006">
|
|
720
|
+
<description> test fn:count </description>
|
|
721
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
722
|
+
<dependency type="spec" value="XQ10+"/>
|
|
723
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le 25</test>
|
|
724
|
+
<result>
|
|
725
|
+
<assert-true/>
|
|
726
|
+
</result>
|
|
727
|
+
</test-case>
|
|
728
|
+
|
|
729
|
+
<test-case name="cbcl-count-007">
|
|
730
|
+
<description> test fn:count </description>
|
|
731
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
732
|
+
<dependency type="spec" value="XQ10+"/>
|
|
733
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq 25</test>
|
|
734
|
+
<result>
|
|
735
|
+
<assert-true/>
|
|
736
|
+
</result>
|
|
737
|
+
</test-case>
|
|
738
|
+
|
|
739
|
+
<test-case name="cbcl-count-008">
|
|
740
|
+
<description> test fn:count </description>
|
|
741
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
742
|
+
<dependency type="spec" value="XQ10+"/>
|
|
743
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge 25</test>
|
|
744
|
+
<result>
|
|
745
|
+
<assert-true/>
|
|
746
|
+
</result>
|
|
747
|
+
</test-case>
|
|
748
|
+
|
|
749
|
+
<test-case name="cbcl-count-009">
|
|
750
|
+
<description> test fn:count </description>
|
|
751
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
752
|
+
<dependency type="spec" value="XQ10+"/>
|
|
753
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt 25</test>
|
|
754
|
+
<result>
|
|
755
|
+
<assert-false/>
|
|
756
|
+
</result>
|
|
757
|
+
</test-case>
|
|
758
|
+
|
|
759
|
+
<test-case name="cbcl-count-010">
|
|
760
|
+
<description> test fn:count </description>
|
|
761
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
762
|
+
<dependency type="spec" value="XQ10+"/>
|
|
763
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne 25</test>
|
|
764
|
+
<result>
|
|
765
|
+
<assert-false/>
|
|
766
|
+
</result>
|
|
767
|
+
</test-case>
|
|
768
|
+
|
|
769
|
+
<test-case name="cbcl-count-011">
|
|
770
|
+
<description> test fn:count </description>
|
|
771
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
772
|
+
<dependency type="spec" value="XQ10+"/>
|
|
773
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) lt 25)</test>
|
|
774
|
+
<result>
|
|
775
|
+
<assert-true/>
|
|
776
|
+
</result>
|
|
777
|
+
</test-case>
|
|
778
|
+
|
|
779
|
+
<test-case name="cbcl-count-012">
|
|
780
|
+
<description> test fn:count </description>
|
|
781
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
782
|
+
<dependency type="spec" value="XQ10+"/>
|
|
783
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) le 25)</test>
|
|
784
|
+
<result>
|
|
785
|
+
<assert-false/>
|
|
786
|
+
</result>
|
|
787
|
+
</test-case>
|
|
788
|
+
|
|
789
|
+
<test-case name="cbcl-count-013">
|
|
790
|
+
<description> test fn:count </description>
|
|
791
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
792
|
+
<dependency type="spec" value="XQ10+"/>
|
|
793
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) eq 25)</test>
|
|
794
|
+
<result>
|
|
795
|
+
<assert-false/>
|
|
796
|
+
</result>
|
|
797
|
+
</test-case>
|
|
798
|
+
|
|
799
|
+
<test-case name="cbcl-count-014">
|
|
800
|
+
<description> test fn:count </description>
|
|
801
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
802
|
+
<dependency type="spec" value="XQ10+"/>
|
|
803
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) ge 25)</test>
|
|
804
|
+
<result>
|
|
805
|
+
<assert-false/>
|
|
806
|
+
</result>
|
|
807
|
+
</test-case>
|
|
808
|
+
|
|
809
|
+
<test-case name="cbcl-count-015">
|
|
810
|
+
<description> test fn:count </description>
|
|
811
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
812
|
+
<dependency type="spec" value="XQ10+"/>
|
|
813
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) gt 25)</test>
|
|
814
|
+
<result>
|
|
815
|
+
<assert-true/>
|
|
816
|
+
</result>
|
|
817
|
+
</test-case>
|
|
818
|
+
|
|
819
|
+
<test-case name="cbcl-count-016">
|
|
820
|
+
<description> test fn:count </description>
|
|
821
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
822
|
+
<dependency type="spec" value="XQ10+"/>
|
|
823
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) ne 25)</test>
|
|
824
|
+
<result>
|
|
825
|
+
<assert-true/>
|
|
826
|
+
</result>
|
|
827
|
+
</test-case>
|
|
828
|
+
|
|
829
|
+
<test-case name="cbcl-count-017">
|
|
830
|
+
<description> test fn:count </description>
|
|
831
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
832
|
+
<dependency type="spec" value="XQ10+"/>
|
|
833
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 25 lt count(local:primes(100))</test>
|
|
834
|
+
<result>
|
|
835
|
+
<assert-false/>
|
|
836
|
+
</result>
|
|
837
|
+
</test-case>
|
|
838
|
+
|
|
839
|
+
<test-case name="cbcl-count-018">
|
|
840
|
+
<description> test fn:count </description>
|
|
841
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
842
|
+
<dependency type="spec" value="XQ10+"/>
|
|
843
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 25 le count(local:primes(100))</test>
|
|
844
|
+
<result>
|
|
845
|
+
<assert-true/>
|
|
846
|
+
</result>
|
|
847
|
+
</test-case>
|
|
848
|
+
|
|
849
|
+
<test-case name="cbcl-count-019">
|
|
850
|
+
<description> test fn:count </description>
|
|
851
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
852
|
+
<dependency type="spec" value="XQ10+"/>
|
|
853
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 25 eq count(local:primes(100))</test>
|
|
854
|
+
<result>
|
|
855
|
+
<assert-true/>
|
|
856
|
+
</result>
|
|
857
|
+
</test-case>
|
|
858
|
+
|
|
859
|
+
<test-case name="cbcl-count-020">
|
|
860
|
+
<description> test fn:count </description>
|
|
861
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
862
|
+
<dependency type="spec" value="XQ10+"/>
|
|
863
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 25 ge count(local:primes(100))</test>
|
|
864
|
+
<result>
|
|
865
|
+
<assert-true/>
|
|
866
|
+
</result>
|
|
867
|
+
</test-case>
|
|
868
|
+
|
|
869
|
+
<test-case name="cbcl-count-021">
|
|
870
|
+
<description> test fn:count </description>
|
|
871
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
872
|
+
<dependency type="spec" value="XQ10+"/>
|
|
873
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 25 gt count(local:primes(100))</test>
|
|
874
|
+
<result>
|
|
875
|
+
<assert-false/>
|
|
876
|
+
</result>
|
|
877
|
+
</test-case>
|
|
878
|
+
|
|
879
|
+
<test-case name="cbcl-count-022">
|
|
880
|
+
<description> test fn:count </description>
|
|
881
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
882
|
+
<dependency type="spec" value="XQ10+"/>
|
|
883
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 25 ne count(local:primes(100))</test>
|
|
884
|
+
<result>
|
|
885
|
+
<assert-false/>
|
|
886
|
+
</result>
|
|
887
|
+
</test-case>
|
|
888
|
+
|
|
889
|
+
<test-case name="cbcl-count-023">
|
|
890
|
+
<description> test fn:count </description>
|
|
891
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
892
|
+
<dependency type="spec" value="XQ10+"/>
|
|
893
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(25 lt count(local:primes(100)))</test>
|
|
894
|
+
<result>
|
|
895
|
+
<assert-true/>
|
|
896
|
+
</result>
|
|
897
|
+
</test-case>
|
|
898
|
+
|
|
899
|
+
<test-case name="cbcl-count-024">
|
|
900
|
+
<description> test fn:count </description>
|
|
901
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
902
|
+
<dependency type="spec" value="XQ10+"/>
|
|
903
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(25 le count(local:primes(100)))</test>
|
|
904
|
+
<result>
|
|
905
|
+
<assert-false/>
|
|
906
|
+
</result>
|
|
907
|
+
</test-case>
|
|
908
|
+
|
|
909
|
+
<test-case name="cbcl-count-025">
|
|
910
|
+
<description> test fn:count </description>
|
|
911
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
912
|
+
<dependency type="spec" value="XQ10+"/>
|
|
913
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(25 eq count(local:primes(100)))</test>
|
|
914
|
+
<result>
|
|
915
|
+
<assert-false/>
|
|
916
|
+
</result>
|
|
917
|
+
</test-case>
|
|
918
|
+
|
|
919
|
+
<test-case name="cbcl-count-026">
|
|
920
|
+
<description> test fn:count </description>
|
|
921
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
922
|
+
<dependency type="spec" value="XQ10+"/>
|
|
923
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(25 ge count(local:primes(100)))</test>
|
|
924
|
+
<result>
|
|
925
|
+
<assert-false/>
|
|
926
|
+
</result>
|
|
927
|
+
</test-case>
|
|
928
|
+
|
|
929
|
+
<test-case name="cbcl-count-027">
|
|
930
|
+
<description> test fn:count </description>
|
|
931
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
932
|
+
<dependency type="spec" value="XQ10+"/>
|
|
933
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(25 gt count(local:primes(100)))</test>
|
|
934
|
+
<result>
|
|
935
|
+
<assert-true/>
|
|
936
|
+
</result>
|
|
937
|
+
</test-case>
|
|
938
|
+
|
|
939
|
+
<test-case name="cbcl-count-028">
|
|
940
|
+
<description> test fn:count </description>
|
|
941
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
942
|
+
<dependency type="spec" value="XQ10+"/>
|
|
943
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(25 ne count(local:primes(100)))</test>
|
|
944
|
+
<result>
|
|
945
|
+
<assert-true/>
|
|
946
|
+
</result>
|
|
947
|
+
</test-case>
|
|
948
|
+
|
|
949
|
+
<test-case name="cbcl-count-029">
|
|
950
|
+
<description> test fn:count </description>
|
|
951
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
952
|
+
<dependency type="spec" value="XQ10+"/>
|
|
953
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) lt local:square(5)</test>
|
|
954
|
+
<result>
|
|
955
|
+
<assert-false/>
|
|
956
|
+
</result>
|
|
957
|
+
</test-case>
|
|
958
|
+
|
|
959
|
+
<test-case name="cbcl-count-030">
|
|
960
|
+
<description> test fn:count </description>
|
|
961
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
962
|
+
<dependency type="spec" value="XQ10+"/>
|
|
963
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) le local:square(5)</test>
|
|
964
|
+
<result>
|
|
965
|
+
<assert-true/>
|
|
966
|
+
</result>
|
|
967
|
+
</test-case>
|
|
968
|
+
|
|
969
|
+
<test-case name="cbcl-count-031">
|
|
970
|
+
<description> test fn:count </description>
|
|
971
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
972
|
+
<dependency type="spec" value="XQ10+"/>
|
|
973
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) eq local:square(5)</test>
|
|
974
|
+
<result>
|
|
975
|
+
<assert-true/>
|
|
976
|
+
</result>
|
|
977
|
+
</test-case>
|
|
978
|
+
|
|
979
|
+
<test-case name="cbcl-count-032">
|
|
980
|
+
<description> test fn:count </description>
|
|
981
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
982
|
+
<dependency type="spec" value="XQ10+"/>
|
|
983
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) ge local:square(5)</test>
|
|
984
|
+
<result>
|
|
985
|
+
<assert-true/>
|
|
986
|
+
</result>
|
|
987
|
+
</test-case>
|
|
988
|
+
|
|
989
|
+
<test-case name="cbcl-count-033">
|
|
990
|
+
<description> test fn:count </description>
|
|
991
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
992
|
+
<dependency type="spec" value="XQ10+"/>
|
|
993
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) gt local:square(5)</test>
|
|
994
|
+
<result>
|
|
995
|
+
<assert-false/>
|
|
996
|
+
</result>
|
|
997
|
+
</test-case>
|
|
998
|
+
|
|
999
|
+
<test-case name="cbcl-count-034">
|
|
1000
|
+
<description> test fn:count </description>
|
|
1001
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1002
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1003
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) ne local:square(5)</test>
|
|
1004
|
+
<result>
|
|
1005
|
+
<assert-false/>
|
|
1006
|
+
</result>
|
|
1007
|
+
</test-case>
|
|
1008
|
+
|
|
1009
|
+
<test-case name="cbcl-count-035">
|
|
1010
|
+
<description> test fn:count </description>
|
|
1011
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1012
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1013
|
+
<test>declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(2, 100)) lt count(local:primes(100, 200))</test>
|
|
1014
|
+
<result>
|
|
1015
|
+
<assert-false/>
|
|
1016
|
+
</result>
|
|
1017
|
+
</test-case>
|
|
1018
|
+
|
|
1019
|
+
<test-case name="cbcl-count-036">
|
|
1020
|
+
<description> test fn:count </description>
|
|
1021
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1022
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1023
|
+
<test>declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(2, 100)) le count(local:primes(100, 200))</test>
|
|
1024
|
+
<result>
|
|
1025
|
+
<assert-false/>
|
|
1026
|
+
</result>
|
|
1027
|
+
</test-case>
|
|
1028
|
+
|
|
1029
|
+
<test-case name="cbcl-count-037">
|
|
1030
|
+
<description> test fn:count </description>
|
|
1031
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1032
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1033
|
+
<test>declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(2, 100)) eq count(local:primes(100, 200))</test>
|
|
1034
|
+
<result>
|
|
1035
|
+
<assert-false/>
|
|
1036
|
+
</result>
|
|
1037
|
+
</test-case>
|
|
1038
|
+
|
|
1039
|
+
<test-case name="cbcl-count-038">
|
|
1040
|
+
<description> test fn:count </description>
|
|
1041
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1042
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1043
|
+
<test>declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(2, 100)) ge count(local:primes(100, 200))</test>
|
|
1044
|
+
<result>
|
|
1045
|
+
<assert-true/>
|
|
1046
|
+
</result>
|
|
1047
|
+
</test-case>
|
|
1048
|
+
|
|
1049
|
+
<test-case name="cbcl-count-039">
|
|
1050
|
+
<description> test fn:count </description>
|
|
1051
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1052
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1053
|
+
<test>declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(2, 100)) gt count(local:primes(100, 200))</test>
|
|
1054
|
+
<result>
|
|
1055
|
+
<assert-true/>
|
|
1056
|
+
</result>
|
|
1057
|
+
</test-case>
|
|
1058
|
+
|
|
1059
|
+
<test-case name="cbcl-count-040">
|
|
1060
|
+
<description> test fn:count </description>
|
|
1061
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1062
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1063
|
+
<test>declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(2, 100)) ne count(local:primes(100, 200))</test>
|
|
1064
|
+
<result>
|
|
1065
|
+
<assert-true/>
|
|
1066
|
+
</result>
|
|
1067
|
+
</test-case>
|
|
1068
|
+
|
|
1069
|
+
<test-case name="cbcl-count-041">
|
|
1070
|
+
<description> test fn:count </description>
|
|
1071
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1072
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1073
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt -1</test>
|
|
1074
|
+
<result>
|
|
1075
|
+
<assert-false/>
|
|
1076
|
+
</result>
|
|
1077
|
+
</test-case>
|
|
1078
|
+
|
|
1079
|
+
<test-case name="cbcl-count-042">
|
|
1080
|
+
<description> test fn:count </description>
|
|
1081
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1082
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1083
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le -1</test>
|
|
1084
|
+
<result>
|
|
1085
|
+
<assert-false/>
|
|
1086
|
+
</result>
|
|
1087
|
+
</test-case>
|
|
1088
|
+
|
|
1089
|
+
<test-case name="cbcl-count-043">
|
|
1090
|
+
<description> test fn:count </description>
|
|
1091
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1092
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1093
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq -1</test>
|
|
1094
|
+
<result>
|
|
1095
|
+
<assert-false/>
|
|
1096
|
+
</result>
|
|
1097
|
+
</test-case>
|
|
1098
|
+
|
|
1099
|
+
<test-case name="cbcl-count-044">
|
|
1100
|
+
<description> test fn:count </description>
|
|
1101
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1102
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1103
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge -1</test>
|
|
1104
|
+
<result>
|
|
1105
|
+
<assert-true/>
|
|
1106
|
+
</result>
|
|
1107
|
+
</test-case>
|
|
1108
|
+
|
|
1109
|
+
<test-case name="cbcl-count-045">
|
|
1110
|
+
<description> test fn:count </description>
|
|
1111
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1112
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1113
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt -1</test>
|
|
1114
|
+
<result>
|
|
1115
|
+
<assert-true/>
|
|
1116
|
+
</result>
|
|
1117
|
+
</test-case>
|
|
1118
|
+
|
|
1119
|
+
<test-case name="cbcl-count-046">
|
|
1120
|
+
<description> test fn:count </description>
|
|
1121
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1122
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1123
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne -1</test>
|
|
1124
|
+
<result>
|
|
1125
|
+
<assert-true/>
|
|
1126
|
+
</result>
|
|
1127
|
+
</test-case>
|
|
1128
|
+
|
|
1129
|
+
<test-case name="cbcl-count-047">
|
|
1130
|
+
<description> test fn:count </description>
|
|
1131
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1132
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1133
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) lt -local:square(5)</test>
|
|
1134
|
+
<result>
|
|
1135
|
+
<assert-false/>
|
|
1136
|
+
</result>
|
|
1137
|
+
</test-case>
|
|
1138
|
+
|
|
1139
|
+
<test-case name="cbcl-count-048">
|
|
1140
|
+
<description> test fn:count </description>
|
|
1141
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1142
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1143
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) le -local:square(5)</test>
|
|
1144
|
+
<result>
|
|
1145
|
+
<assert-false/>
|
|
1146
|
+
</result>
|
|
1147
|
+
</test-case>
|
|
1148
|
+
|
|
1149
|
+
<test-case name="cbcl-count-049">
|
|
1150
|
+
<description> test fn:count </description>
|
|
1151
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1152
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1153
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) eq -local:square(5)</test>
|
|
1154
|
+
<result>
|
|
1155
|
+
<assert-false/>
|
|
1156
|
+
</result>
|
|
1157
|
+
</test-case>
|
|
1158
|
+
|
|
1159
|
+
<test-case name="cbcl-count-050">
|
|
1160
|
+
<description> test fn:count </description>
|
|
1161
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1162
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1163
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) ge -local:square(5)</test>
|
|
1164
|
+
<result>
|
|
1165
|
+
<assert-true/>
|
|
1166
|
+
</result>
|
|
1167
|
+
</test-case>
|
|
1168
|
+
|
|
1169
|
+
<test-case name="cbcl-count-051">
|
|
1170
|
+
<description> test fn:count </description>
|
|
1171
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1172
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1173
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) gt -local:square(5)</test>
|
|
1174
|
+
<result>
|
|
1175
|
+
<assert-true/>
|
|
1176
|
+
</result>
|
|
1177
|
+
</test-case>
|
|
1178
|
+
|
|
1179
|
+
<test-case name="cbcl-count-052">
|
|
1180
|
+
<description> test fn:count </description>
|
|
1181
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1182
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1183
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) ne -local:square(5)</test>
|
|
1184
|
+
<result>
|
|
1185
|
+
<assert-true/>
|
|
1186
|
+
</result>
|
|
1187
|
+
</test-case>
|
|
1188
|
+
|
|
1189
|
+
<test-case name="cbcl-count-053">
|
|
1190
|
+
<description> test fn:count </description>
|
|
1191
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1192
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1193
|
+
<test>declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(2, 100)) lt count(local:primes(100, 200)))</test>
|
|
1194
|
+
<result>
|
|
1195
|
+
<assert-true/>
|
|
1196
|
+
</result>
|
|
1197
|
+
</test-case>
|
|
1198
|
+
|
|
1199
|
+
<test-case name="cbcl-count-054">
|
|
1200
|
+
<description> test fn:count </description>
|
|
1201
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1202
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1203
|
+
<test>declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(2, 100)) le count(local:primes(100, 200)))</test>
|
|
1204
|
+
<result>
|
|
1205
|
+
<assert-true/>
|
|
1206
|
+
</result>
|
|
1207
|
+
</test-case>
|
|
1208
|
+
|
|
1209
|
+
<test-case name="cbcl-count-055">
|
|
1210
|
+
<description> test fn:count </description>
|
|
1211
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1212
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1213
|
+
<test>declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(2, 100)) eq count(local:primes(100, 200)))</test>
|
|
1214
|
+
<result>
|
|
1215
|
+
<assert-true/>
|
|
1216
|
+
</result>
|
|
1217
|
+
</test-case>
|
|
1218
|
+
|
|
1219
|
+
<test-case name="cbcl-count-056">
|
|
1220
|
+
<description> test fn:count </description>
|
|
1221
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1222
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1223
|
+
<test>declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(2, 100)) ge count(local:primes(100, 200)))</test>
|
|
1224
|
+
<result>
|
|
1225
|
+
<assert-false/>
|
|
1226
|
+
</result>
|
|
1227
|
+
</test-case>
|
|
1228
|
+
|
|
1229
|
+
<test-case name="cbcl-count-057">
|
|
1230
|
+
<description> test fn:count </description>
|
|
1231
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1232
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1233
|
+
<test>declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(2, 100)) gt count(local:primes(100, 200)))</test>
|
|
1234
|
+
<result>
|
|
1235
|
+
<assert-false/>
|
|
1236
|
+
</result>
|
|
1237
|
+
</test-case>
|
|
1238
|
+
|
|
1239
|
+
<test-case name="cbcl-count-058">
|
|
1240
|
+
<description> test fn:count </description>
|
|
1241
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1242
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1243
|
+
<test>declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(2, 100)) ne count(local:primes(100, 200)))</test>
|
|
1244
|
+
<result>
|
|
1245
|
+
<assert-false/>
|
|
1246
|
+
</result>
|
|
1247
|
+
</test-case>
|
|
1248
|
+
|
|
1249
|
+
<test-case name="cbcl-count-059">
|
|
1250
|
+
<description> test fn:count </description>
|
|
1251
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1252
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1253
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt 25.5</test>
|
|
1254
|
+
<result>
|
|
1255
|
+
<assert-true/>
|
|
1256
|
+
</result>
|
|
1257
|
+
</test-case>
|
|
1258
|
+
|
|
1259
|
+
<test-case name="cbcl-count-060">
|
|
1260
|
+
<description> test fn:count </description>
|
|
1261
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1262
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1263
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le 25.5</test>
|
|
1264
|
+
<result>
|
|
1265
|
+
<assert-true/>
|
|
1266
|
+
</result>
|
|
1267
|
+
</test-case>
|
|
1268
|
+
|
|
1269
|
+
<test-case name="cbcl-count-061">
|
|
1270
|
+
<description> test fn:count </description>
|
|
1271
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1272
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1273
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq 25.5</test>
|
|
1274
|
+
<result>
|
|
1275
|
+
<assert-false/>
|
|
1276
|
+
</result>
|
|
1277
|
+
</test-case>
|
|
1278
|
+
|
|
1279
|
+
<test-case name="cbcl-count-062">
|
|
1280
|
+
<description> test fn:count </description>
|
|
1281
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1282
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1283
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge 25.5</test>
|
|
1284
|
+
<result>
|
|
1285
|
+
<assert-false/>
|
|
1286
|
+
</result>
|
|
1287
|
+
</test-case>
|
|
1288
|
+
|
|
1289
|
+
<test-case name="cbcl-count-063">
|
|
1290
|
+
<description> test fn:count </description>
|
|
1291
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1292
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1293
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt 25.5</test>
|
|
1294
|
+
<result>
|
|
1295
|
+
<assert-false/>
|
|
1296
|
+
</result>
|
|
1297
|
+
</test-case>
|
|
1298
|
+
|
|
1299
|
+
<test-case name="cbcl-count-064">
|
|
1300
|
+
<description> test fn:count </description>
|
|
1301
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1302
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1303
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne 25.5</test>
|
|
1304
|
+
<result>
|
|
1305
|
+
<assert-true/>
|
|
1306
|
+
</result>
|
|
1307
|
+
</test-case>
|
|
1308
|
+
|
|
1309
|
+
<test-case name="cbcl-count-065">
|
|
1310
|
+
<description> test fn:count </description>
|
|
1311
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1312
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1313
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) lt 25.5)</test>
|
|
1314
|
+
<result>
|
|
1315
|
+
<assert-false/>
|
|
1316
|
+
</result>
|
|
1317
|
+
</test-case>
|
|
1318
|
+
|
|
1319
|
+
<test-case name="cbcl-count-066">
|
|
1320
|
+
<description> test fn:count </description>
|
|
1321
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1322
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1323
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) le 25.5)</test>
|
|
1324
|
+
<result>
|
|
1325
|
+
<assert-false/>
|
|
1326
|
+
</result>
|
|
1327
|
+
</test-case>
|
|
1328
|
+
|
|
1329
|
+
<test-case name="cbcl-count-067">
|
|
1330
|
+
<description> test fn:count </description>
|
|
1331
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1332
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1333
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) eq 25.5)</test>
|
|
1334
|
+
<result>
|
|
1335
|
+
<assert-true/>
|
|
1336
|
+
</result>
|
|
1337
|
+
</test-case>
|
|
1338
|
+
|
|
1339
|
+
<test-case name="cbcl-count-068">
|
|
1340
|
+
<description> test fn:count </description>
|
|
1341
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1342
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1343
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) ge 25.5)</test>
|
|
1344
|
+
<result>
|
|
1345
|
+
<assert-true/>
|
|
1346
|
+
</result>
|
|
1347
|
+
</test-case>
|
|
1348
|
+
|
|
1349
|
+
<test-case name="cbcl-count-069">
|
|
1350
|
+
<description> test fn:count </description>
|
|
1351
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1352
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1353
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) gt 25.5)</test>
|
|
1354
|
+
<result>
|
|
1355
|
+
<assert-true/>
|
|
1356
|
+
</result>
|
|
1357
|
+
</test-case>
|
|
1358
|
+
|
|
1359
|
+
<test-case name="cbcl-count-070">
|
|
1360
|
+
<description> test fn:count </description>
|
|
1361
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1362
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1363
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) ne 25.5)</test>
|
|
1364
|
+
<result>
|
|
1365
|
+
<assert-false/>
|
|
1366
|
+
</result>
|
|
1367
|
+
</test-case>
|
|
1368
|
+
|
|
1369
|
+
<test-case name="cbcl-count-071">
|
|
1370
|
+
<description> test fn:count </description>
|
|
1371
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1372
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1373
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 24.5 lt count(local:primes(100))</test>
|
|
1374
|
+
<result>
|
|
1375
|
+
<assert-true/>
|
|
1376
|
+
</result>
|
|
1377
|
+
</test-case>
|
|
1378
|
+
|
|
1379
|
+
<test-case name="cbcl-count-072">
|
|
1380
|
+
<description> test fn:count </description>
|
|
1381
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1382
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1383
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 24.5 le count(local:primes(100))</test>
|
|
1384
|
+
<result>
|
|
1385
|
+
<assert-true/>
|
|
1386
|
+
</result>
|
|
1387
|
+
</test-case>
|
|
1388
|
+
|
|
1389
|
+
<test-case name="cbcl-count-073">
|
|
1390
|
+
<description> test fn:count </description>
|
|
1391
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1392
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1393
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 24.5 eq count(local:primes(100))</test>
|
|
1394
|
+
<result>
|
|
1395
|
+
<assert-false/>
|
|
1396
|
+
</result>
|
|
1397
|
+
</test-case>
|
|
1398
|
+
|
|
1399
|
+
<test-case name="cbcl-count-074">
|
|
1400
|
+
<description> test fn:count </description>
|
|
1401
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1402
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1403
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 24.5 ge count(local:primes(100))</test>
|
|
1404
|
+
<result>
|
|
1405
|
+
<assert-false/>
|
|
1406
|
+
</result>
|
|
1407
|
+
</test-case>
|
|
1408
|
+
|
|
1409
|
+
<test-case name="cbcl-count-075">
|
|
1410
|
+
<description> test fn:count </description>
|
|
1411
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1412
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1413
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 24.5 gt count(local:primes(100))</test>
|
|
1414
|
+
<result>
|
|
1415
|
+
<assert-false/>
|
|
1416
|
+
</result>
|
|
1417
|
+
</test-case>
|
|
1418
|
+
|
|
1419
|
+
<test-case name="cbcl-count-076">
|
|
1420
|
+
<description> test fn:count </description>
|
|
1421
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1422
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1423
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 24.5 ne count(local:primes(100))</test>
|
|
1424
|
+
<result>
|
|
1425
|
+
<assert-true/>
|
|
1426
|
+
</result>
|
|
1427
|
+
</test-case>
|
|
1428
|
+
|
|
1429
|
+
<test-case name="cbcl-count-077">
|
|
1430
|
+
<description> test fn:count </description>
|
|
1431
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1432
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1433
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(24.5 lt count(local:primes(100)))</test>
|
|
1434
|
+
<result>
|
|
1435
|
+
<assert-false/>
|
|
1436
|
+
</result>
|
|
1437
|
+
</test-case>
|
|
1438
|
+
|
|
1439
|
+
<test-case name="cbcl-count-078">
|
|
1440
|
+
<description> test fn:count </description>
|
|
1441
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1442
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1443
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(24.5 le count(local:primes(100)))</test>
|
|
1444
|
+
<result>
|
|
1445
|
+
<assert-false/>
|
|
1446
|
+
</result>
|
|
1447
|
+
</test-case>
|
|
1448
|
+
|
|
1449
|
+
<test-case name="cbcl-count-079">
|
|
1450
|
+
<description> test fn:count </description>
|
|
1451
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1452
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1453
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(24.5 eq count(local:primes(100)))</test>
|
|
1454
|
+
<result>
|
|
1455
|
+
<assert-true/>
|
|
1456
|
+
</result>
|
|
1457
|
+
</test-case>
|
|
1458
|
+
|
|
1459
|
+
<test-case name="cbcl-count-080">
|
|
1460
|
+
<description> test fn:count </description>
|
|
1461
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1462
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1463
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(24.5 ge count(local:primes(100)))</test>
|
|
1464
|
+
<result>
|
|
1465
|
+
<assert-true/>
|
|
1466
|
+
</result>
|
|
1467
|
+
</test-case>
|
|
1468
|
+
|
|
1469
|
+
<test-case name="cbcl-count-081">
|
|
1470
|
+
<description> test fn:count </description>
|
|
1471
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1472
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1473
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(24.5 gt count(local:primes(100)))</test>
|
|
1474
|
+
<result>
|
|
1475
|
+
<assert-true/>
|
|
1476
|
+
</result>
|
|
1477
|
+
</test-case>
|
|
1478
|
+
|
|
1479
|
+
<test-case name="cbcl-count-082">
|
|
1480
|
+
<description> test fn:count </description>
|
|
1481
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1482
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1483
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(24.5 ne count(local:primes(100)))</test>
|
|
1484
|
+
<result>
|
|
1485
|
+
<assert-false/>
|
|
1486
|
+
</result>
|
|
1487
|
+
</test-case>
|
|
1488
|
+
|
|
1489
|
+
<test-case name="cbcl-count-083">
|
|
1490
|
+
<description> test fn:count </description>
|
|
1491
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1492
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1493
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) lt local:square(5.1)</test>
|
|
1494
|
+
<result>
|
|
1495
|
+
<assert-true/>
|
|
1496
|
+
</result>
|
|
1497
|
+
</test-case>
|
|
1498
|
+
|
|
1499
|
+
<test-case name="cbcl-count-084">
|
|
1500
|
+
<description> test fn:count </description>
|
|
1501
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1502
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1503
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) le local:square(5.1)</test>
|
|
1504
|
+
<result>
|
|
1505
|
+
<assert-true/>
|
|
1506
|
+
</result>
|
|
1507
|
+
</test-case>
|
|
1508
|
+
|
|
1509
|
+
<test-case name="cbcl-count-085">
|
|
1510
|
+
<description> test fn:count </description>
|
|
1511
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1512
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1513
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) eq local:square(5.1)</test>
|
|
1514
|
+
<result>
|
|
1515
|
+
<assert-false/>
|
|
1516
|
+
</result>
|
|
1517
|
+
</test-case>
|
|
1518
|
+
|
|
1519
|
+
<test-case name="cbcl-count-086">
|
|
1520
|
+
<description> test fn:count </description>
|
|
1521
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1522
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1523
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) ge local:square(5.1)</test>
|
|
1524
|
+
<result>
|
|
1525
|
+
<assert-false/>
|
|
1526
|
+
</result>
|
|
1527
|
+
</test-case>
|
|
1528
|
+
|
|
1529
|
+
<test-case name="cbcl-count-087">
|
|
1530
|
+
<description> test fn:count </description>
|
|
1531
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1532
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1533
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) gt local:square(5.1)</test>
|
|
1534
|
+
<result>
|
|
1535
|
+
<assert-false/>
|
|
1536
|
+
</result>
|
|
1537
|
+
</test-case>
|
|
1538
|
+
|
|
1539
|
+
<test-case name="cbcl-count-088">
|
|
1540
|
+
<description> test fn:count </description>
|
|
1541
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1542
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1543
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) ne local:square(5.1)</test>
|
|
1544
|
+
<result>
|
|
1545
|
+
<assert-true/>
|
|
1546
|
+
</result>
|
|
1547
|
+
</test-case>
|
|
1548
|
+
|
|
1549
|
+
<test-case name="cbcl-count-089">
|
|
1550
|
+
<description> test fn:count </description>
|
|
1551
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1552
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1553
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt -1.5</test>
|
|
1554
|
+
<result>
|
|
1555
|
+
<assert-false/>
|
|
1556
|
+
</result>
|
|
1557
|
+
</test-case>
|
|
1558
|
+
|
|
1559
|
+
<test-case name="cbcl-count-090">
|
|
1560
|
+
<description> test fn:count </description>
|
|
1561
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1562
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1563
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le -1.5</test>
|
|
1564
|
+
<result>
|
|
1565
|
+
<assert-false/>
|
|
1566
|
+
</result>
|
|
1567
|
+
</test-case>
|
|
1568
|
+
|
|
1569
|
+
<test-case name="cbcl-count-091">
|
|
1570
|
+
<description> test fn:count </description>
|
|
1571
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1572
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1573
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq -1.5</test>
|
|
1574
|
+
<result>
|
|
1575
|
+
<assert-false/>
|
|
1576
|
+
</result>
|
|
1577
|
+
</test-case>
|
|
1578
|
+
|
|
1579
|
+
<test-case name="cbcl-count-092">
|
|
1580
|
+
<description> test fn:count </description>
|
|
1581
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1582
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1583
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge -1.5</test>
|
|
1584
|
+
<result>
|
|
1585
|
+
<assert-true/>
|
|
1586
|
+
</result>
|
|
1587
|
+
</test-case>
|
|
1588
|
+
|
|
1589
|
+
<test-case name="cbcl-count-093">
|
|
1590
|
+
<description> test fn:count </description>
|
|
1591
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1592
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1593
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt -1.5</test>
|
|
1594
|
+
<result>
|
|
1595
|
+
<assert-true/>
|
|
1596
|
+
</result>
|
|
1597
|
+
</test-case>
|
|
1598
|
+
|
|
1599
|
+
<test-case name="cbcl-count-094">
|
|
1600
|
+
<description> test fn:count </description>
|
|
1601
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1602
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1603
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne -1.5</test>
|
|
1604
|
+
<result>
|
|
1605
|
+
<assert-true/>
|
|
1606
|
+
</result>
|
|
1607
|
+
</test-case>
|
|
1608
|
+
|
|
1609
|
+
<test-case name="cbcl-count-095">
|
|
1610
|
+
<description> test fn:count </description>
|
|
1611
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1612
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1613
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) lt -local:square(5.0)</test>
|
|
1614
|
+
<result>
|
|
1615
|
+
<assert-false/>
|
|
1616
|
+
</result>
|
|
1617
|
+
</test-case>
|
|
1618
|
+
|
|
1619
|
+
<test-case name="cbcl-count-096">
|
|
1620
|
+
<description> test fn:count </description>
|
|
1621
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1622
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1623
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) le -local:square(5.0)</test>
|
|
1624
|
+
<result>
|
|
1625
|
+
<assert-false/>
|
|
1626
|
+
</result>
|
|
1627
|
+
</test-case>
|
|
1628
|
+
|
|
1629
|
+
<test-case name="cbcl-count-097">
|
|
1630
|
+
<description> test fn:count </description>
|
|
1631
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1632
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1633
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) eq -local:square(5.0)</test>
|
|
1634
|
+
<result>
|
|
1635
|
+
<assert-false/>
|
|
1636
|
+
</result>
|
|
1637
|
+
</test-case>
|
|
1638
|
+
|
|
1639
|
+
<test-case name="cbcl-count-098">
|
|
1640
|
+
<description> test fn:count </description>
|
|
1641
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1642
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1643
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) ge -local:square(5.0)</test>
|
|
1644
|
+
<result>
|
|
1645
|
+
<assert-true/>
|
|
1646
|
+
</result>
|
|
1647
|
+
</test-case>
|
|
1648
|
+
|
|
1649
|
+
<test-case name="cbcl-count-099">
|
|
1650
|
+
<description> test fn:count </description>
|
|
1651
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1652
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1653
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) gt -local:square(5.0)</test>
|
|
1654
|
+
<result>
|
|
1655
|
+
<assert-true/>
|
|
1656
|
+
</result>
|
|
1657
|
+
</test-case>
|
|
1658
|
+
|
|
1659
|
+
<test-case name="cbcl-count-100">
|
|
1660
|
+
<description> test fn:count </description>
|
|
1661
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1662
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1663
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) ne -local:square(5.0)</test>
|
|
1664
|
+
<result>
|
|
1665
|
+
<assert-true/>
|
|
1666
|
+
</result>
|
|
1667
|
+
</test-case>
|
|
1668
|
+
|
|
1669
|
+
<test-case name="cbcl-count-101">
|
|
1670
|
+
<description> test fn:count </description>
|
|
1671
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1672
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1673
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) ge 1.0</test>
|
|
1674
|
+
<result>
|
|
1675
|
+
<assert-true/>
|
|
1676
|
+
</result>
|
|
1677
|
+
</test-case>
|
|
1678
|
+
|
|
1679
|
+
<test-case name="cbcl-count-102">
|
|
1680
|
+
<description> test fn:count </description>
|
|
1681
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1682
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1683
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt xs:float("25.5")</test>
|
|
1684
|
+
<result>
|
|
1685
|
+
<assert-true/>
|
|
1686
|
+
</result>
|
|
1687
|
+
</test-case>
|
|
1688
|
+
|
|
1689
|
+
<test-case name="cbcl-count-103">
|
|
1690
|
+
<description> test fn:count </description>
|
|
1691
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1692
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1693
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le xs:float("25.5")</test>
|
|
1694
|
+
<result>
|
|
1695
|
+
<assert-true/>
|
|
1696
|
+
</result>
|
|
1697
|
+
</test-case>
|
|
1698
|
+
|
|
1699
|
+
<test-case name="cbcl-count-104">
|
|
1700
|
+
<description> test fn:count </description>
|
|
1701
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1702
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1703
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq xs:float("25.5")</test>
|
|
1704
|
+
<result>
|
|
1705
|
+
<assert-false/>
|
|
1706
|
+
</result>
|
|
1707
|
+
</test-case>
|
|
1708
|
+
|
|
1709
|
+
<test-case name="cbcl-count-105">
|
|
1710
|
+
<description> test fn:count </description>
|
|
1711
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1712
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1713
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:float("25.5")</test>
|
|
1714
|
+
<result>
|
|
1715
|
+
<assert-false/>
|
|
1716
|
+
</result>
|
|
1717
|
+
</test-case>
|
|
1718
|
+
|
|
1719
|
+
<test-case name="cbcl-count-106">
|
|
1720
|
+
<description> test fn:count </description>
|
|
1721
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1722
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1723
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt xs:float("25.5")</test>
|
|
1724
|
+
<result>
|
|
1725
|
+
<assert-false/>
|
|
1726
|
+
</result>
|
|
1727
|
+
</test-case>
|
|
1728
|
+
|
|
1729
|
+
<test-case name="cbcl-count-107">
|
|
1730
|
+
<description> test fn:count </description>
|
|
1731
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1732
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1733
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne xs:float("25.5")</test>
|
|
1734
|
+
<result>
|
|
1735
|
+
<assert-true/>
|
|
1736
|
+
</result>
|
|
1737
|
+
</test-case>
|
|
1738
|
+
|
|
1739
|
+
<test-case name="cbcl-count-108">
|
|
1740
|
+
<description> test fn:count </description>
|
|
1741
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1742
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1743
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) lt xs:float("25.5"))</test>
|
|
1744
|
+
<result>
|
|
1745
|
+
<assert-false/>
|
|
1746
|
+
</result>
|
|
1747
|
+
</test-case>
|
|
1748
|
+
|
|
1749
|
+
<test-case name="cbcl-count-109">
|
|
1750
|
+
<description> test fn:count </description>
|
|
1751
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1752
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1753
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) le xs:float("25.5"))</test>
|
|
1754
|
+
<result>
|
|
1755
|
+
<assert-false/>
|
|
1756
|
+
</result>
|
|
1757
|
+
</test-case>
|
|
1758
|
+
|
|
1759
|
+
<test-case name="cbcl-count-110">
|
|
1760
|
+
<description> test fn:count </description>
|
|
1761
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1762
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1763
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) eq xs:float("25.5"))</test>
|
|
1764
|
+
<result>
|
|
1765
|
+
<assert-true/>
|
|
1766
|
+
</result>
|
|
1767
|
+
</test-case>
|
|
1768
|
+
|
|
1769
|
+
<test-case name="cbcl-count-111">
|
|
1770
|
+
<description> test fn:count </description>
|
|
1771
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1772
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1773
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) ge xs:float("25.5"))</test>
|
|
1774
|
+
<result>
|
|
1775
|
+
<assert-true/>
|
|
1776
|
+
</result>
|
|
1777
|
+
</test-case>
|
|
1778
|
+
|
|
1779
|
+
<test-case name="cbcl-count-112">
|
|
1780
|
+
<description> test fn:count </description>
|
|
1781
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1782
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1783
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) gt xs:float("25.5"))</test>
|
|
1784
|
+
<result>
|
|
1785
|
+
<assert-true/>
|
|
1786
|
+
</result>
|
|
1787
|
+
</test-case>
|
|
1788
|
+
|
|
1789
|
+
<test-case name="cbcl-count-113">
|
|
1790
|
+
<description> test fn:count </description>
|
|
1791
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1792
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1793
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) ne xs:float("25.5"))</test>
|
|
1794
|
+
<result>
|
|
1795
|
+
<assert-false/>
|
|
1796
|
+
</result>
|
|
1797
|
+
</test-case>
|
|
1798
|
+
|
|
1799
|
+
<test-case name="cbcl-count-114">
|
|
1800
|
+
<description> test fn:count </description>
|
|
1801
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1802
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1803
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:float("24.5") lt count(local:primes(100))</test>
|
|
1804
|
+
<result>
|
|
1805
|
+
<assert-true/>
|
|
1806
|
+
</result>
|
|
1807
|
+
</test-case>
|
|
1808
|
+
|
|
1809
|
+
<test-case name="cbcl-count-115">
|
|
1810
|
+
<description> test fn:count </description>
|
|
1811
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1812
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1813
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:float("24.5") le count(local:primes(100))</test>
|
|
1814
|
+
<result>
|
|
1815
|
+
<assert-true/>
|
|
1816
|
+
</result>
|
|
1817
|
+
</test-case>
|
|
1818
|
+
|
|
1819
|
+
<test-case name="cbcl-count-116">
|
|
1820
|
+
<description> test fn:count </description>
|
|
1821
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1822
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1823
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:float("24.5") eq count(local:primes(100))</test>
|
|
1824
|
+
<result>
|
|
1825
|
+
<assert-false/>
|
|
1826
|
+
</result>
|
|
1827
|
+
</test-case>
|
|
1828
|
+
|
|
1829
|
+
<test-case name="cbcl-count-117">
|
|
1830
|
+
<description> test fn:count </description>
|
|
1831
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1832
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1833
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:float("24.5") ge count(local:primes(100))</test>
|
|
1834
|
+
<result>
|
|
1835
|
+
<assert-false/>
|
|
1836
|
+
</result>
|
|
1837
|
+
</test-case>
|
|
1838
|
+
|
|
1839
|
+
<test-case name="cbcl-count-118">
|
|
1840
|
+
<description> test fn:count </description>
|
|
1841
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1842
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1843
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:float("24.5") gt count(local:primes(100))</test>
|
|
1844
|
+
<result>
|
|
1845
|
+
<assert-false/>
|
|
1846
|
+
</result>
|
|
1847
|
+
</test-case>
|
|
1848
|
+
|
|
1849
|
+
<test-case name="cbcl-count-119">
|
|
1850
|
+
<description> test fn:count </description>
|
|
1851
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1852
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1853
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:float("24.5") ne count(local:primes(100))</test>
|
|
1854
|
+
<result>
|
|
1855
|
+
<assert-true/>
|
|
1856
|
+
</result>
|
|
1857
|
+
</test-case>
|
|
1858
|
+
|
|
1859
|
+
<test-case name="cbcl-count-120">
|
|
1860
|
+
<description> test fn:count </description>
|
|
1861
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1862
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1863
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:float("24.5") lt count(local:primes(100)))</test>
|
|
1864
|
+
<result>
|
|
1865
|
+
<assert-false/>
|
|
1866
|
+
</result>
|
|
1867
|
+
</test-case>
|
|
1868
|
+
|
|
1869
|
+
<test-case name="cbcl-count-121">
|
|
1870
|
+
<description> test fn:count </description>
|
|
1871
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1872
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1873
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:float("24.5") le count(local:primes(100)))</test>
|
|
1874
|
+
<result>
|
|
1875
|
+
<assert-false/>
|
|
1876
|
+
</result>
|
|
1877
|
+
</test-case>
|
|
1878
|
+
|
|
1879
|
+
<test-case name="cbcl-count-122">
|
|
1880
|
+
<description> test fn:count </description>
|
|
1881
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1882
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1883
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:float("24.5") eq count(local:primes(100)))</test>
|
|
1884
|
+
<result>
|
|
1885
|
+
<assert-true/>
|
|
1886
|
+
</result>
|
|
1887
|
+
</test-case>
|
|
1888
|
+
|
|
1889
|
+
<test-case name="cbcl-count-123">
|
|
1890
|
+
<description> test fn:count </description>
|
|
1891
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1892
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1893
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:float("24.5") ge count(local:primes(100)))</test>
|
|
1894
|
+
<result>
|
|
1895
|
+
<assert-true/>
|
|
1896
|
+
</result>
|
|
1897
|
+
</test-case>
|
|
1898
|
+
|
|
1899
|
+
<test-case name="cbcl-count-124">
|
|
1900
|
+
<description> test fn:count </description>
|
|
1901
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1902
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1903
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:float("24.5") gt count(local:primes(100)))</test>
|
|
1904
|
+
<result>
|
|
1905
|
+
<assert-true/>
|
|
1906
|
+
</result>
|
|
1907
|
+
</test-case>
|
|
1908
|
+
|
|
1909
|
+
<test-case name="cbcl-count-125">
|
|
1910
|
+
<description> test fn:count </description>
|
|
1911
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1912
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1913
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:float("24.5") ne count(local:primes(100)))</test>
|
|
1914
|
+
<result>
|
|
1915
|
+
<assert-false/>
|
|
1916
|
+
</result>
|
|
1917
|
+
</test-case>
|
|
1918
|
+
|
|
1919
|
+
<test-case name="cbcl-count-126">
|
|
1920
|
+
<description> test fn:count </description>
|
|
1921
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1922
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1923
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) lt local:square(xs:float("4.9"))</test>
|
|
1924
|
+
<result>
|
|
1925
|
+
<assert-false/>
|
|
1926
|
+
</result>
|
|
1927
|
+
</test-case>
|
|
1928
|
+
|
|
1929
|
+
<test-case name="cbcl-count-127">
|
|
1930
|
+
<description> test fn:count </description>
|
|
1931
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1932
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1933
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) le local:square(xs:float("4.9"))</test>
|
|
1934
|
+
<result>
|
|
1935
|
+
<assert-false/>
|
|
1936
|
+
</result>
|
|
1937
|
+
</test-case>
|
|
1938
|
+
|
|
1939
|
+
<test-case name="cbcl-count-128">
|
|
1940
|
+
<description> test fn:count </description>
|
|
1941
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1942
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1943
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) eq local:square(xs:float("4.9"))</test>
|
|
1944
|
+
<result>
|
|
1945
|
+
<assert-false/>
|
|
1946
|
+
</result>
|
|
1947
|
+
</test-case>
|
|
1948
|
+
|
|
1949
|
+
<test-case name="cbcl-count-129">
|
|
1950
|
+
<description> test fn:count </description>
|
|
1951
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1952
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1953
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) ge local:square(xs:float("4.9"))</test>
|
|
1954
|
+
<result>
|
|
1955
|
+
<assert-true/>
|
|
1956
|
+
</result>
|
|
1957
|
+
</test-case>
|
|
1958
|
+
|
|
1959
|
+
<test-case name="cbcl-count-130">
|
|
1960
|
+
<description> test fn:count </description>
|
|
1961
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1962
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1963
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) gt local:square(xs:float("4.9"))</test>
|
|
1964
|
+
<result>
|
|
1965
|
+
<assert-true/>
|
|
1966
|
+
</result>
|
|
1967
|
+
</test-case>
|
|
1968
|
+
|
|
1969
|
+
<test-case name="cbcl-count-131">
|
|
1970
|
+
<description> test fn:count </description>
|
|
1971
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1972
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1973
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) ne local:square(xs:float("4.9"))</test>
|
|
1974
|
+
<result>
|
|
1975
|
+
<assert-true/>
|
|
1976
|
+
</result>
|
|
1977
|
+
</test-case>
|
|
1978
|
+
|
|
1979
|
+
<test-case name="cbcl-count-132">
|
|
1980
|
+
<description> test fn:count </description>
|
|
1981
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1982
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1983
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt xs:float("-1.5")</test>
|
|
1984
|
+
<result>
|
|
1985
|
+
<assert-false/>
|
|
1986
|
+
</result>
|
|
1987
|
+
</test-case>
|
|
1988
|
+
|
|
1989
|
+
<test-case name="cbcl-count-133">
|
|
1990
|
+
<description> test fn:count </description>
|
|
1991
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
1992
|
+
<dependency type="spec" value="XQ10+"/>
|
|
1993
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le xs:float("-1.5")</test>
|
|
1994
|
+
<result>
|
|
1995
|
+
<assert-false/>
|
|
1996
|
+
</result>
|
|
1997
|
+
</test-case>
|
|
1998
|
+
|
|
1999
|
+
<test-case name="cbcl-count-134">
|
|
2000
|
+
<description> test fn:count </description>
|
|
2001
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2002
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2003
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq xs:float("-1.5")</test>
|
|
2004
|
+
<result>
|
|
2005
|
+
<assert-false/>
|
|
2006
|
+
</result>
|
|
2007
|
+
</test-case>
|
|
2008
|
+
|
|
2009
|
+
<test-case name="cbcl-count-135">
|
|
2010
|
+
<description> test fn:count </description>
|
|
2011
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2012
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2013
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:float("-1.5")</test>
|
|
2014
|
+
<result>
|
|
2015
|
+
<assert-true/>
|
|
2016
|
+
</result>
|
|
2017
|
+
</test-case>
|
|
2018
|
+
|
|
2019
|
+
<test-case name="cbcl-count-136">
|
|
2020
|
+
<description> test fn:count </description>
|
|
2021
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2022
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2023
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt xs:float("-1.5")</test>
|
|
2024
|
+
<result>
|
|
2025
|
+
<assert-true/>
|
|
2026
|
+
</result>
|
|
2027
|
+
</test-case>
|
|
2028
|
+
|
|
2029
|
+
<test-case name="cbcl-count-137">
|
|
2030
|
+
<description> test fn:count </description>
|
|
2031
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2032
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2033
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne xs:float("-1.5")</test>
|
|
2034
|
+
<result>
|
|
2035
|
+
<assert-true/>
|
|
2036
|
+
</result>
|
|
2037
|
+
</test-case>
|
|
2038
|
+
|
|
2039
|
+
<test-case name="cbcl-count-138">
|
|
2040
|
+
<description> test fn:count </description>
|
|
2041
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2042
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2043
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) lt -local:square(5.0)</test>
|
|
2044
|
+
<result>
|
|
2045
|
+
<assert-false/>
|
|
2046
|
+
</result>
|
|
2047
|
+
</test-case>
|
|
2048
|
+
|
|
2049
|
+
<test-case name="cbcl-count-139">
|
|
2050
|
+
<description> test fn:count </description>
|
|
2051
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2052
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2053
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) le -local:square(5.0)</test>
|
|
2054
|
+
<result>
|
|
2055
|
+
<assert-false/>
|
|
2056
|
+
</result>
|
|
2057
|
+
</test-case>
|
|
2058
|
+
|
|
2059
|
+
<test-case name="cbcl-count-140">
|
|
2060
|
+
<description> test fn:count </description>
|
|
2061
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2062
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2063
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) eq -local:square(5.0)</test>
|
|
2064
|
+
<result>
|
|
2065
|
+
<assert-false/>
|
|
2066
|
+
</result>
|
|
2067
|
+
</test-case>
|
|
2068
|
+
|
|
2069
|
+
<test-case name="cbcl-count-141">
|
|
2070
|
+
<description> test fn:count </description>
|
|
2071
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2072
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2073
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) ge -local:square(5.0)</test>
|
|
2074
|
+
<result>
|
|
2075
|
+
<assert-true/>
|
|
2076
|
+
</result>
|
|
2077
|
+
</test-case>
|
|
2078
|
+
|
|
2079
|
+
<test-case name="cbcl-count-142">
|
|
2080
|
+
<description> test fn:count </description>
|
|
2081
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2082
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2083
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) gt -local:square(5.0)</test>
|
|
2084
|
+
<result>
|
|
2085
|
+
<assert-true/>
|
|
2086
|
+
</result>
|
|
2087
|
+
</test-case>
|
|
2088
|
+
|
|
2089
|
+
<test-case name="cbcl-count-143">
|
|
2090
|
+
<description> test fn:count </description>
|
|
2091
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2092
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2093
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) ne -local:square(5.0)</test>
|
|
2094
|
+
<result>
|
|
2095
|
+
<assert-true/>
|
|
2096
|
+
</result>
|
|
2097
|
+
</test-case>
|
|
2098
|
+
|
|
2099
|
+
<test-case name="cbcl-count-144">
|
|
2100
|
+
<description> test fn:count </description>
|
|
2101
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2102
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2103
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:float("1.0")</test>
|
|
2104
|
+
<result>
|
|
2105
|
+
<assert-true/>
|
|
2106
|
+
</result>
|
|
2107
|
+
</test-case>
|
|
2108
|
+
|
|
2109
|
+
<test-case name="cbcl-count-145">
|
|
2110
|
+
<description> test fn:count </description>
|
|
2111
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2112
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2113
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt xs:double("25.5")</test>
|
|
2114
|
+
<result>
|
|
2115
|
+
<assert-true/>
|
|
2116
|
+
</result>
|
|
2117
|
+
</test-case>
|
|
2118
|
+
|
|
2119
|
+
<test-case name="cbcl-count-146">
|
|
2120
|
+
<description> test fn:count </description>
|
|
2121
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2122
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2123
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le xs:double("25.5")</test>
|
|
2124
|
+
<result>
|
|
2125
|
+
<assert-true/>
|
|
2126
|
+
</result>
|
|
2127
|
+
</test-case>
|
|
2128
|
+
|
|
2129
|
+
<test-case name="cbcl-count-147">
|
|
2130
|
+
<description> test fn:count </description>
|
|
2131
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2132
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2133
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq xs:double("25.5")</test>
|
|
2134
|
+
<result>
|
|
2135
|
+
<assert-false/>
|
|
2136
|
+
</result>
|
|
2137
|
+
</test-case>
|
|
2138
|
+
|
|
2139
|
+
<test-case name="cbcl-count-148">
|
|
2140
|
+
<description> test fn:count </description>
|
|
2141
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2142
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2143
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:double("25.5")</test>
|
|
2144
|
+
<result>
|
|
2145
|
+
<assert-false/>
|
|
2146
|
+
</result>
|
|
2147
|
+
</test-case>
|
|
2148
|
+
|
|
2149
|
+
<test-case name="cbcl-count-149">
|
|
2150
|
+
<description> test fn:count </description>
|
|
2151
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2152
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2153
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt xs:double("25.5")</test>
|
|
2154
|
+
<result>
|
|
2155
|
+
<assert-false/>
|
|
2156
|
+
</result>
|
|
2157
|
+
</test-case>
|
|
2158
|
+
|
|
2159
|
+
<test-case name="cbcl-count-150">
|
|
2160
|
+
<description> test fn:count </description>
|
|
2161
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2162
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2163
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne xs:double("25.5")</test>
|
|
2164
|
+
<result>
|
|
2165
|
+
<assert-true/>
|
|
2166
|
+
</result>
|
|
2167
|
+
</test-case>
|
|
2168
|
+
|
|
2169
|
+
<test-case name="cbcl-count-151">
|
|
2170
|
+
<description> test fn:count </description>
|
|
2171
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2172
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2173
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) lt xs:double("25.5"))</test>
|
|
2174
|
+
<result>
|
|
2175
|
+
<assert-false/>
|
|
2176
|
+
</result>
|
|
2177
|
+
</test-case>
|
|
2178
|
+
|
|
2179
|
+
<test-case name="cbcl-count-152">
|
|
2180
|
+
<description> test fn:count </description>
|
|
2181
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2182
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2183
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) le xs:double("25.5"))</test>
|
|
2184
|
+
<result>
|
|
2185
|
+
<assert-false/>
|
|
2186
|
+
</result>
|
|
2187
|
+
</test-case>
|
|
2188
|
+
|
|
2189
|
+
<test-case name="cbcl-count-153">
|
|
2190
|
+
<description> test fn:count </description>
|
|
2191
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2192
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2193
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) eq xs:double("25.5"))</test>
|
|
2194
|
+
<result>
|
|
2195
|
+
<assert-true/>
|
|
2196
|
+
</result>
|
|
2197
|
+
</test-case>
|
|
2198
|
+
|
|
2199
|
+
<test-case name="cbcl-count-154">
|
|
2200
|
+
<description> test fn:count </description>
|
|
2201
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2202
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2203
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) ge xs:double("25.5"))</test>
|
|
2204
|
+
<result>
|
|
2205
|
+
<assert-true/>
|
|
2206
|
+
</result>
|
|
2207
|
+
</test-case>
|
|
2208
|
+
|
|
2209
|
+
<test-case name="cbcl-count-155">
|
|
2210
|
+
<description> test fn:count </description>
|
|
2211
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2212
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2213
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) gt xs:double("25.5"))</test>
|
|
2214
|
+
<result>
|
|
2215
|
+
<assert-true/>
|
|
2216
|
+
</result>
|
|
2217
|
+
</test-case>
|
|
2218
|
+
|
|
2219
|
+
<test-case name="cbcl-count-156">
|
|
2220
|
+
<description> test fn:count </description>
|
|
2221
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2222
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2223
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) ne xs:double("25.5"))</test>
|
|
2224
|
+
<result>
|
|
2225
|
+
<assert-false/>
|
|
2226
|
+
</result>
|
|
2227
|
+
</test-case>
|
|
2228
|
+
|
|
2229
|
+
<test-case name="cbcl-count-157">
|
|
2230
|
+
<description> test fn:count </description>
|
|
2231
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2232
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2233
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:double("24.5") lt count(local:primes(100))</test>
|
|
2234
|
+
<result>
|
|
2235
|
+
<assert-true/>
|
|
2236
|
+
</result>
|
|
2237
|
+
</test-case>
|
|
2238
|
+
|
|
2239
|
+
<test-case name="cbcl-count-158">
|
|
2240
|
+
<description> test fn:count </description>
|
|
2241
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2242
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2243
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:double("24.5") le count(local:primes(100))</test>
|
|
2244
|
+
<result>
|
|
2245
|
+
<assert-true/>
|
|
2246
|
+
</result>
|
|
2247
|
+
</test-case>
|
|
2248
|
+
|
|
2249
|
+
<test-case name="cbcl-count-159">
|
|
2250
|
+
<description> test fn:count </description>
|
|
2251
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2252
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2253
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:double("24.5") eq count(local:primes(100))</test>
|
|
2254
|
+
<result>
|
|
2255
|
+
<assert-false/>
|
|
2256
|
+
</result>
|
|
2257
|
+
</test-case>
|
|
2258
|
+
|
|
2259
|
+
<test-case name="cbcl-count-160">
|
|
2260
|
+
<description> test fn:count </description>
|
|
2261
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2262
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2263
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:double("24.5") ge count(local:primes(100))</test>
|
|
2264
|
+
<result>
|
|
2265
|
+
<assert-false/>
|
|
2266
|
+
</result>
|
|
2267
|
+
</test-case>
|
|
2268
|
+
|
|
2269
|
+
<test-case name="cbcl-count-161">
|
|
2270
|
+
<description> test fn:count </description>
|
|
2271
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2272
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2273
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:double("24.5") gt count(local:primes(100))</test>
|
|
2274
|
+
<result>
|
|
2275
|
+
<assert-false/>
|
|
2276
|
+
</result>
|
|
2277
|
+
</test-case>
|
|
2278
|
+
|
|
2279
|
+
<test-case name="cbcl-count-162">
|
|
2280
|
+
<description> test fn:count </description>
|
|
2281
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2282
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2283
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:double("24.5") ne count(local:primes(100))</test>
|
|
2284
|
+
<result>
|
|
2285
|
+
<assert-true/>
|
|
2286
|
+
</result>
|
|
2287
|
+
</test-case>
|
|
2288
|
+
|
|
2289
|
+
<test-case name="cbcl-count-163">
|
|
2290
|
+
<description> test fn:count </description>
|
|
2291
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2292
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2293
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:double("24.5") lt count(local:primes(100)))</test>
|
|
2294
|
+
<result>
|
|
2295
|
+
<assert-false/>
|
|
2296
|
+
</result>
|
|
2297
|
+
</test-case>
|
|
2298
|
+
|
|
2299
|
+
<test-case name="cbcl-count-164">
|
|
2300
|
+
<description> test fn:count </description>
|
|
2301
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2302
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2303
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:double("24.5") le count(local:primes(100)))</test>
|
|
2304
|
+
<result>
|
|
2305
|
+
<assert-false/>
|
|
2306
|
+
</result>
|
|
2307
|
+
</test-case>
|
|
2308
|
+
|
|
2309
|
+
<test-case name="cbcl-count-165">
|
|
2310
|
+
<description> test fn:count </description>
|
|
2311
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2312
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2313
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:double("24.5") eq count(local:primes(100)))</test>
|
|
2314
|
+
<result>
|
|
2315
|
+
<assert-true/>
|
|
2316
|
+
</result>
|
|
2317
|
+
</test-case>
|
|
2318
|
+
|
|
2319
|
+
<test-case name="cbcl-count-166">
|
|
2320
|
+
<description> test fn:count </description>
|
|
2321
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2322
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2323
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:double("24.5") ge count(local:primes(100)))</test>
|
|
2324
|
+
<result>
|
|
2325
|
+
<assert-true/>
|
|
2326
|
+
</result>
|
|
2327
|
+
</test-case>
|
|
2328
|
+
|
|
2329
|
+
<test-case name="cbcl-count-167">
|
|
2330
|
+
<description> test fn:count </description>
|
|
2331
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2332
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2333
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:double("24.5") gt count(local:primes(100)))</test>
|
|
2334
|
+
<result>
|
|
2335
|
+
<assert-true/>
|
|
2336
|
+
</result>
|
|
2337
|
+
</test-case>
|
|
2338
|
+
|
|
2339
|
+
<test-case name="cbcl-count-168">
|
|
2340
|
+
<description> test fn:count </description>
|
|
2341
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2342
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2343
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:double("24.5") ne count(local:primes(100)))</test>
|
|
2344
|
+
<result>
|
|
2345
|
+
<assert-false/>
|
|
2346
|
+
</result>
|
|
2347
|
+
</test-case>
|
|
2348
|
+
|
|
2349
|
+
<test-case name="cbcl-count-169">
|
|
2350
|
+
<description> test fn:count </description>
|
|
2351
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2352
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2353
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) lt local:square(xs:double("4.9"))</test>
|
|
2354
|
+
<result>
|
|
2355
|
+
<assert-false/>
|
|
2356
|
+
</result>
|
|
2357
|
+
</test-case>
|
|
2358
|
+
|
|
2359
|
+
<test-case name="cbcl-count-170">
|
|
2360
|
+
<description> test fn:count </description>
|
|
2361
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2362
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2363
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) le local:square(xs:double("4.9"))</test>
|
|
2364
|
+
<result>
|
|
2365
|
+
<assert-false/>
|
|
2366
|
+
</result>
|
|
2367
|
+
</test-case>
|
|
2368
|
+
|
|
2369
|
+
<test-case name="cbcl-count-171">
|
|
2370
|
+
<description> test fn:count </description>
|
|
2371
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2372
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2373
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) eq local:square(xs:double("4.9"))</test>
|
|
2374
|
+
<result>
|
|
2375
|
+
<assert-false/>
|
|
2376
|
+
</result>
|
|
2377
|
+
</test-case>
|
|
2378
|
+
|
|
2379
|
+
<test-case name="cbcl-count-172">
|
|
2380
|
+
<description> test fn:count </description>
|
|
2381
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2382
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2383
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) ge local:square(xs:double("4.9"))</test>
|
|
2384
|
+
<result>
|
|
2385
|
+
<assert-true/>
|
|
2386
|
+
</result>
|
|
2387
|
+
</test-case>
|
|
2388
|
+
|
|
2389
|
+
<test-case name="cbcl-count-173">
|
|
2390
|
+
<description> test fn:count </description>
|
|
2391
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2392
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2393
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) gt local:square(xs:double("4.9"))</test>
|
|
2394
|
+
<result>
|
|
2395
|
+
<assert-true/>
|
|
2396
|
+
</result>
|
|
2397
|
+
</test-case>
|
|
2398
|
+
|
|
2399
|
+
<test-case name="cbcl-count-174">
|
|
2400
|
+
<description> test fn:count </description>
|
|
2401
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2402
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2403
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) ne local:square(xs:double("4.9"))</test>
|
|
2404
|
+
<result>
|
|
2405
|
+
<assert-true/>
|
|
2406
|
+
</result>
|
|
2407
|
+
</test-case>
|
|
2408
|
+
|
|
2409
|
+
<test-case name="cbcl-count-175">
|
|
2410
|
+
<description> test fn:count </description>
|
|
2411
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2412
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2413
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt xs:double("-1.5")</test>
|
|
2414
|
+
<result>
|
|
2415
|
+
<assert-false/>
|
|
2416
|
+
</result>
|
|
2417
|
+
</test-case>
|
|
2418
|
+
|
|
2419
|
+
<test-case name="cbcl-count-176">
|
|
2420
|
+
<description> test fn:count </description>
|
|
2421
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2422
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2423
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le xs:double("-1.5")</test>
|
|
2424
|
+
<result>
|
|
2425
|
+
<assert-false/>
|
|
2426
|
+
</result>
|
|
2427
|
+
</test-case>
|
|
2428
|
+
|
|
2429
|
+
<test-case name="cbcl-count-177">
|
|
2430
|
+
<description> test fn:count </description>
|
|
2431
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2432
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2433
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq xs:double("-1.5")</test>
|
|
2434
|
+
<result>
|
|
2435
|
+
<assert-false/>
|
|
2436
|
+
</result>
|
|
2437
|
+
</test-case>
|
|
2438
|
+
|
|
2439
|
+
<test-case name="cbcl-count-178">
|
|
2440
|
+
<description> test fn:count </description>
|
|
2441
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2442
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2443
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:double("-1.5")</test>
|
|
2444
|
+
<result>
|
|
2445
|
+
<assert-true/>
|
|
2446
|
+
</result>
|
|
2447
|
+
</test-case>
|
|
2448
|
+
|
|
2449
|
+
<test-case name="cbcl-count-179">
|
|
2450
|
+
<description> test fn:count </description>
|
|
2451
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2452
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2453
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt xs:double("-1.5")</test>
|
|
2454
|
+
<result>
|
|
2455
|
+
<assert-true/>
|
|
2456
|
+
</result>
|
|
2457
|
+
</test-case>
|
|
2458
|
+
|
|
2459
|
+
<test-case name="cbcl-count-180">
|
|
2460
|
+
<description> test fn:count </description>
|
|
2461
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2462
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2463
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne xs:double("-1.5")</test>
|
|
2464
|
+
<result>
|
|
2465
|
+
<assert-true/>
|
|
2466
|
+
</result>
|
|
2467
|
+
</test-case>
|
|
2468
|
+
|
|
2469
|
+
<test-case name="cbcl-count-181">
|
|
2470
|
+
<description> test fn:count </description>
|
|
2471
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2472
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2473
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) lt -local:square(5.0)</test>
|
|
2474
|
+
<result>
|
|
2475
|
+
<assert-false/>
|
|
2476
|
+
</result>
|
|
2477
|
+
</test-case>
|
|
2478
|
+
|
|
2479
|
+
<test-case name="cbcl-count-182">
|
|
2480
|
+
<description> test fn:count </description>
|
|
2481
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2482
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2483
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) le -local:square(5.0)</test>
|
|
2484
|
+
<result>
|
|
2485
|
+
<assert-false/>
|
|
2486
|
+
</result>
|
|
2487
|
+
</test-case>
|
|
2488
|
+
|
|
2489
|
+
<test-case name="cbcl-count-183">
|
|
2490
|
+
<description> test fn:count </description>
|
|
2491
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2492
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2493
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) eq -local:square(5.0)</test>
|
|
2494
|
+
<result>
|
|
2495
|
+
<assert-false/>
|
|
2496
|
+
</result>
|
|
2497
|
+
</test-case>
|
|
2498
|
+
|
|
2499
|
+
<test-case name="cbcl-count-184">
|
|
2500
|
+
<description> test fn:count </description>
|
|
2501
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2502
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2503
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) ge -local:square(5.0)</test>
|
|
2504
|
+
<result>
|
|
2505
|
+
<assert-true/>
|
|
2506
|
+
</result>
|
|
2507
|
+
</test-case>
|
|
2508
|
+
|
|
2509
|
+
<test-case name="cbcl-count-185">
|
|
2510
|
+
<description> test fn:count </description>
|
|
2511
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2512
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2513
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) gt -local:square(5.0)</test>
|
|
2514
|
+
<result>
|
|
2515
|
+
<assert-true/>
|
|
2516
|
+
</result>
|
|
2517
|
+
</test-case>
|
|
2518
|
+
|
|
2519
|
+
<test-case name="cbcl-count-186">
|
|
2520
|
+
<description> test fn:count </description>
|
|
2521
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2522
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2523
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) ne -local:square(5.0)</test>
|
|
2524
|
+
<result>
|
|
2525
|
+
<assert-true/>
|
|
2526
|
+
</result>
|
|
2527
|
+
</test-case>
|
|
2528
|
+
|
|
2529
|
+
<test-case name="cbcl-count-187">
|
|
2530
|
+
<description> test fn:count </description>
|
|
2531
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2532
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2533
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:double("1.0")</test>
|
|
2534
|
+
<result>
|
|
2535
|
+
<assert-true/>
|
|
2536
|
+
</result>
|
|
2537
|
+
</test-case>
|
|
2538
|
+
|
|
2539
|
+
<test-case name="cbcl-count-188">
|
|
2540
|
+
<description> test fn:count </description>
|
|
2541
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2542
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2543
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge 1</test>
|
|
2544
|
+
<result>
|
|
2545
|
+
<assert-true/>
|
|
2546
|
+
</result>
|
|
2547
|
+
</test-case>
|
|
2548
|
+
|
|
2549
|
+
<test-case name="cbcl-count-189">
|
|
2550
|
+
<description> test fn:count </description>
|
|
2551
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2552
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2553
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt xs:double("NaN")</test>
|
|
2554
|
+
<result>
|
|
2555
|
+
<assert-false/>
|
|
2556
|
+
</result>
|
|
2557
|
+
</test-case>
|
|
2558
|
+
|
|
2559
|
+
<test-case name="cbcl-count-190">
|
|
2560
|
+
<description> test fn:count </description>
|
|
2561
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2562
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2563
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le xs:double("NaN")</test>
|
|
2564
|
+
<result>
|
|
2565
|
+
<assert-false/>
|
|
2566
|
+
</result>
|
|
2567
|
+
</test-case>
|
|
2568
|
+
|
|
2569
|
+
<test-case name="cbcl-count-191">
|
|
2570
|
+
<description> test fn:count </description>
|
|
2571
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2572
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2573
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq xs:double("NaN")</test>
|
|
2574
|
+
<result>
|
|
2575
|
+
<assert-false/>
|
|
2576
|
+
</result>
|
|
2577
|
+
</test-case>
|
|
2578
|
+
|
|
2579
|
+
<test-case name="cbcl-count-192">
|
|
2580
|
+
<description> test fn:count </description>
|
|
2581
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2582
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2583
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:double("NaN")</test>
|
|
2584
|
+
<result>
|
|
2585
|
+
<assert-false/>
|
|
2586
|
+
</result>
|
|
2587
|
+
</test-case>
|
|
2588
|
+
|
|
2589
|
+
<test-case name="cbcl-count-193">
|
|
2590
|
+
<description> test fn:count </description>
|
|
2591
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2592
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2593
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt xs:double("NaN")</test>
|
|
2594
|
+
<result>
|
|
2595
|
+
<assert-false/>
|
|
2596
|
+
</result>
|
|
2597
|
+
</test-case>
|
|
2598
|
+
|
|
2599
|
+
<test-case name="cbcl-count-194">
|
|
2600
|
+
<description> test fn:count </description>
|
|
2601
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2602
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2603
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne xs:double("NaN")</test>
|
|
2604
|
+
<result>
|
|
2605
|
+
<assert-true/>
|
|
2606
|
+
</result>
|
|
2607
|
+
</test-case>
|
|
2608
|
+
|
|
2609
|
+
<test-case name="cbcl-count-195">
|
|
2610
|
+
<description> test fn:count </description>
|
|
2611
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2612
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2613
|
+
<test>
|
|
2614
|
+
declare function local:primes($n as xs:integer) {
|
|
2615
|
+
if ($n lt 2)
|
|
2616
|
+
then 1
|
|
2617
|
+
else for $i in 2 to $n
|
|
2618
|
+
return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0))
|
|
2619
|
+
then $i
|
|
2620
|
+
else ()
|
|
2621
|
+
};
|
|
2622
|
+
count(local:primes(100)) lt xs:double("INF")</test>
|
|
2623
|
+
<result>
|
|
2624
|
+
<assert-true/>
|
|
2625
|
+
</result>
|
|
2626
|
+
</test-case>
|
|
2627
|
+
|
|
2628
|
+
<test-case name="cbcl-count-196">
|
|
2629
|
+
<description> test fn:count </description>
|
|
2630
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2631
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2632
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le xs:double("INF")</test>
|
|
2633
|
+
<result>
|
|
2634
|
+
<assert-true/>
|
|
2635
|
+
</result>
|
|
2636
|
+
</test-case>
|
|
2637
|
+
|
|
2638
|
+
<test-case name="cbcl-count-197">
|
|
2639
|
+
<description> test fn:count </description>
|
|
2640
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2641
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2642
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq xs:double("INF")</test>
|
|
2643
|
+
<result>
|
|
2644
|
+
<assert-false/>
|
|
2645
|
+
</result>
|
|
2646
|
+
</test-case>
|
|
2647
|
+
|
|
2648
|
+
<test-case name="cbcl-count-198">
|
|
2649
|
+
<description> test fn:count </description>
|
|
2650
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2651
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2652
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:double("INF")</test>
|
|
2653
|
+
<result>
|
|
2654
|
+
<assert-false/>
|
|
2655
|
+
</result>
|
|
2656
|
+
</test-case>
|
|
2657
|
+
|
|
2658
|
+
<test-case name="cbcl-count-199">
|
|
2659
|
+
<description> test fn:count </description>
|
|
2660
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2661
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2662
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt xs:double("INF")</test>
|
|
2663
|
+
<result>
|
|
2664
|
+
<assert-false/>
|
|
2665
|
+
</result>
|
|
2666
|
+
</test-case>
|
|
2667
|
+
|
|
2668
|
+
<test-case name="cbcl-count-200">
|
|
2669
|
+
<description> test fn:count </description>
|
|
2670
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2671
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2672
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne xs:double("INF")</test>
|
|
2673
|
+
<result>
|
|
2674
|
+
<assert-true/>
|
|
2675
|
+
</result>
|
|
2676
|
+
</test-case>
|
|
2677
|
+
|
|
2678
|
+
<test-case name="cbcl-count-201">
|
|
2679
|
+
<description> test fn:count </description>
|
|
2680
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2681
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2682
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt xs:float("NaN")</test>
|
|
2683
|
+
<result>
|
|
2684
|
+
<assert-false/>
|
|
2685
|
+
</result>
|
|
2686
|
+
</test-case>
|
|
2687
|
+
|
|
2688
|
+
<test-case name="cbcl-count-202">
|
|
2689
|
+
<description> test fn:count </description>
|
|
2690
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2691
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2692
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le xs:float("NaN")</test>
|
|
2693
|
+
<result>
|
|
2694
|
+
<assert-false/>
|
|
2695
|
+
</result>
|
|
2696
|
+
</test-case>
|
|
2697
|
+
|
|
2698
|
+
<test-case name="cbcl-count-203">
|
|
2699
|
+
<description> test fn:count </description>
|
|
2700
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2701
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2702
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq xs:float("NaN")</test>
|
|
2703
|
+
<result>
|
|
2704
|
+
<assert-false/>
|
|
2705
|
+
</result>
|
|
2706
|
+
</test-case>
|
|
2707
|
+
|
|
2708
|
+
<test-case name="cbcl-count-204">
|
|
2709
|
+
<description> test fn:count </description>
|
|
2710
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2711
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2712
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:float("NaN")</test>
|
|
2713
|
+
<result>
|
|
2714
|
+
<assert-false/>
|
|
2715
|
+
</result>
|
|
2716
|
+
</test-case>
|
|
2717
|
+
|
|
2718
|
+
<test-case name="cbcl-count-205">
|
|
2719
|
+
<description> test fn:count </description>
|
|
2720
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2721
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2722
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt xs:float("NaN")</test>
|
|
2723
|
+
<result>
|
|
2724
|
+
<assert-false/>
|
|
2725
|
+
</result>
|
|
2726
|
+
</test-case>
|
|
2727
|
+
|
|
2728
|
+
<test-case name="cbcl-count-206">
|
|
2729
|
+
<description> test fn:count </description>
|
|
2730
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2731
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2732
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne xs:float("NaN")</test>
|
|
2733
|
+
<result>
|
|
2734
|
+
<assert-true/>
|
|
2735
|
+
</result>
|
|
2736
|
+
</test-case>
|
|
2737
|
+
|
|
2738
|
+
<test-case name="cbcl-count-207">
|
|
2739
|
+
<description> test fn:count </description>
|
|
2740
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2741
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2742
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt xs:float("INF")</test>
|
|
2743
|
+
<result>
|
|
2744
|
+
<assert-true/>
|
|
2745
|
+
</result>
|
|
2746
|
+
</test-case>
|
|
2747
|
+
|
|
2748
|
+
<test-case name="cbcl-count-208">
|
|
2749
|
+
<description> test fn:count </description>
|
|
2750
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2751
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2752
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le xs:float("INF")</test>
|
|
2753
|
+
<result>
|
|
2754
|
+
<assert-true/>
|
|
2755
|
+
</result>
|
|
2756
|
+
</test-case>
|
|
2757
|
+
|
|
2758
|
+
<test-case name="cbcl-count-209">
|
|
2759
|
+
<description> test fn:count </description>
|
|
2760
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2761
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2762
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq xs:float("INF")</test>
|
|
2763
|
+
<result>
|
|
2764
|
+
<assert-false/>
|
|
2765
|
+
</result>
|
|
2766
|
+
</test-case>
|
|
2767
|
+
|
|
2768
|
+
<test-case name="cbcl-count-210">
|
|
2769
|
+
<description> test fn:count </description>
|
|
2770
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2771
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2772
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:float("INF")</test>
|
|
2773
|
+
<result>
|
|
2774
|
+
<assert-false/>
|
|
2775
|
+
</result>
|
|
2776
|
+
</test-case>
|
|
2777
|
+
|
|
2778
|
+
<test-case name="cbcl-count-211">
|
|
2779
|
+
<description> test fn:count </description>
|
|
2780
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2781
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2782
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt xs:float("INF")</test>
|
|
2783
|
+
<result>
|
|
2784
|
+
<assert-false/>
|
|
2785
|
+
</result>
|
|
2786
|
+
</test-case>
|
|
2787
|
+
|
|
2788
|
+
<test-case name="cbcl-count-212">
|
|
2789
|
+
<description> test fn:count </description>
|
|
2790
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2791
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2792
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne xs:float("INF")</test>
|
|
2793
|
+
<result>
|
|
2794
|
+
<assert-true/>
|
|
2795
|
+
</result>
|
|
2796
|
+
</test-case>
|
|
2797
|
+
|
|
2798
|
+
<test-case name="cbcl-count-213">
|
|
2799
|
+
<description> test fn:count </description>
|
|
2800
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2801
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2802
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) lt local:strange(true())</test>
|
|
2803
|
+
<result>
|
|
2804
|
+
<assert-false/>
|
|
2805
|
+
</result>
|
|
2806
|
+
</test-case>
|
|
2807
|
+
|
|
2808
|
+
<test-case name="cbcl-count-214">
|
|
2809
|
+
<description> test fn:count </description>
|
|
2810
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2811
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2812
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) le local:strange(true())</test>
|
|
2813
|
+
<result>
|
|
2814
|
+
<assert-false/>
|
|
2815
|
+
</result>
|
|
2816
|
+
</test-case>
|
|
2817
|
+
|
|
2818
|
+
<test-case name="cbcl-count-215">
|
|
2819
|
+
<description> test fn:count </description>
|
|
2820
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2821
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2822
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) eq local:strange(true())</test>
|
|
2823
|
+
<result>
|
|
2824
|
+
<assert-false/>
|
|
2825
|
+
</result>
|
|
2826
|
+
</test-case>
|
|
2827
|
+
|
|
2828
|
+
<test-case name="cbcl-count-216">
|
|
2829
|
+
<description> test fn:count </description>
|
|
2830
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2831
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2832
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) ge local:strange(true())</test>
|
|
2833
|
+
<result>
|
|
2834
|
+
<assert-false/>
|
|
2835
|
+
</result>
|
|
2836
|
+
</test-case>
|
|
2837
|
+
|
|
2838
|
+
<test-case name="cbcl-count-217">
|
|
2839
|
+
<description> test fn:count </description>
|
|
2840
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2841
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2842
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) gt local:strange(true())</test>
|
|
2843
|
+
<result>
|
|
2844
|
+
<assert-false/>
|
|
2845
|
+
</result>
|
|
2846
|
+
</test-case>
|
|
2847
|
+
|
|
2848
|
+
<test-case name="cbcl-count-218">
|
|
2849
|
+
<description> test fn:count </description>
|
|
2850
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2851
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2852
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) ne local:strange(true())</test>
|
|
2853
|
+
<result>
|
|
2854
|
+
<assert-true/>
|
|
2855
|
+
</result>
|
|
2856
|
+
</test-case>
|
|
2857
|
+
|
|
2858
|
+
<test-case name="cbcl-count-219">
|
|
2859
|
+
<description> test fn:count </description>
|
|
2860
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2861
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2862
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) lt local:strange(false())</test>
|
|
2863
|
+
<result>
|
|
2864
|
+
<assert-true/>
|
|
2865
|
+
</result>
|
|
2866
|
+
</test-case>
|
|
2867
|
+
|
|
2868
|
+
<test-case name="cbcl-count-220">
|
|
2869
|
+
<description> test fn:count </description>
|
|
2870
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2871
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2872
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) le local:strange(false())</test>
|
|
2873
|
+
<result>
|
|
2874
|
+
<assert-true/>
|
|
2875
|
+
</result>
|
|
2876
|
+
</test-case>
|
|
2877
|
+
|
|
2878
|
+
<test-case name="cbcl-count-221">
|
|
2879
|
+
<description> test fn:count </description>
|
|
2880
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2881
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2882
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) eq local:strange(false())</test>
|
|
2883
|
+
<result>
|
|
2884
|
+
<assert-false/>
|
|
2885
|
+
</result>
|
|
2886
|
+
</test-case>
|
|
2887
|
+
|
|
2888
|
+
<test-case name="cbcl-count-222">
|
|
2889
|
+
<description> test fn:count </description>
|
|
2890
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2891
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2892
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) ge local:strange(false())</test>
|
|
2893
|
+
<result>
|
|
2894
|
+
<assert-false/>
|
|
2895
|
+
</result>
|
|
2896
|
+
</test-case>
|
|
2897
|
+
|
|
2898
|
+
<test-case name="cbcl-count-223">
|
|
2899
|
+
<description> test fn:count </description>
|
|
2900
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2901
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2902
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) gt local:strange(false())</test>
|
|
2903
|
+
<result>
|
|
2904
|
+
<assert-false/>
|
|
2905
|
+
</result>
|
|
2906
|
+
</test-case>
|
|
2907
|
+
|
|
2908
|
+
<test-case name="cbcl-count-224">
|
|
2909
|
+
<description> test fn:count </description>
|
|
2910
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2911
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2912
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) ne local:strange(false())</test>
|
|
2913
|
+
<result>
|
|
2914
|
+
<assert-true/>
|
|
2915
|
+
</result>
|
|
2916
|
+
</test-case>
|
|
2917
|
+
|
|
2918
|
+
<test-case name="cbcl-count-225">
|
|
2919
|
+
<description> test fn:count </description>
|
|
2920
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2921
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2922
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) lt local:strange(true())</test>
|
|
2923
|
+
<result>
|
|
2924
|
+
<assert-false/>
|
|
2925
|
+
</result>
|
|
2926
|
+
</test-case>
|
|
2927
|
+
|
|
2928
|
+
<test-case name="cbcl-count-226">
|
|
2929
|
+
<description> test fn:count </description>
|
|
2930
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2931
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2932
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) le local:strange(true())</test>
|
|
2933
|
+
<result>
|
|
2934
|
+
<assert-false/>
|
|
2935
|
+
</result>
|
|
2936
|
+
</test-case>
|
|
2937
|
+
|
|
2938
|
+
<test-case name="cbcl-count-227">
|
|
2939
|
+
<description> test fn:count </description>
|
|
2940
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2941
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2942
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) eq local:strange(true())</test>
|
|
2943
|
+
<result>
|
|
2944
|
+
<assert-false/>
|
|
2945
|
+
</result>
|
|
2946
|
+
</test-case>
|
|
2947
|
+
|
|
2948
|
+
<test-case name="cbcl-count-228">
|
|
2949
|
+
<description> test fn:count </description>
|
|
2950
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2951
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2952
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) ge local:strange(true())</test>
|
|
2953
|
+
<result>
|
|
2954
|
+
<assert-false/>
|
|
2955
|
+
</result>
|
|
2956
|
+
</test-case>
|
|
2957
|
+
|
|
2958
|
+
<test-case name="cbcl-count-229">
|
|
2959
|
+
<description> test fn:count </description>
|
|
2960
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2961
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2962
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) gt local:strange(true())</test>
|
|
2963
|
+
<result>
|
|
2964
|
+
<assert-false/>
|
|
2965
|
+
</result>
|
|
2966
|
+
</test-case>
|
|
2967
|
+
|
|
2968
|
+
<test-case name="cbcl-count-230">
|
|
2969
|
+
<description> test fn:count </description>
|
|
2970
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2971
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2972
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) ne local:strange(true())</test>
|
|
2973
|
+
<result>
|
|
2974
|
+
<assert-true/>
|
|
2975
|
+
</result>
|
|
2976
|
+
</test-case>
|
|
2977
|
+
|
|
2978
|
+
<test-case name="cbcl-count-231">
|
|
2979
|
+
<description> test fn:count </description>
|
|
2980
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2981
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2982
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) lt local:strange(false())</test>
|
|
2983
|
+
<result>
|
|
2984
|
+
<assert-true/>
|
|
2985
|
+
</result>
|
|
2986
|
+
</test-case>
|
|
2987
|
+
|
|
2988
|
+
<test-case name="cbcl-count-232">
|
|
2989
|
+
<description> test fn:count </description>
|
|
2990
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
2991
|
+
<dependency type="spec" value="XQ10+"/>
|
|
2992
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) le local:strange(false())</test>
|
|
2993
|
+
<result>
|
|
2994
|
+
<assert-true/>
|
|
2995
|
+
</result>
|
|
2996
|
+
</test-case>
|
|
2997
|
+
|
|
2998
|
+
<test-case name="cbcl-count-233">
|
|
2999
|
+
<description> test fn:count </description>
|
|
3000
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
3001
|
+
<dependency type="spec" value="XQ10+"/>
|
|
3002
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) eq local:strange(false())</test>
|
|
3003
|
+
<result>
|
|
3004
|
+
<assert-false/>
|
|
3005
|
+
</result>
|
|
3006
|
+
</test-case>
|
|
3007
|
+
|
|
3008
|
+
<test-case name="cbcl-count-234">
|
|
3009
|
+
<description> test fn:count </description>
|
|
3010
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
3011
|
+
<dependency type="spec" value="XQ10+"/>
|
|
3012
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) ge local:strange(false())</test>
|
|
3013
|
+
<result>
|
|
3014
|
+
<assert-false/>
|
|
3015
|
+
</result>
|
|
3016
|
+
</test-case>
|
|
3017
|
+
|
|
3018
|
+
<test-case name="cbcl-count-235">
|
|
3019
|
+
<description> test fn:count </description>
|
|
3020
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
3021
|
+
<dependency type="spec" value="XQ10+"/>
|
|
3022
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) gt local:strange(false())</test>
|
|
3023
|
+
<result>
|
|
3024
|
+
<assert-false/>
|
|
3025
|
+
</result>
|
|
3026
|
+
</test-case>
|
|
3027
|
+
|
|
3028
|
+
<test-case name="cbcl-count-236">
|
|
3029
|
+
<description> test fn:count </description>
|
|
3030
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
3031
|
+
<dependency type="spec" value="XQ10+"/>
|
|
3032
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) ne local:strange(false())</test>
|
|
3033
|
+
<result>
|
|
3034
|
+
<assert-true/>
|
|
3035
|
+
</result>
|
|
3036
|
+
</test-case>
|
|
3037
|
+
|
|
3038
|
+
<test-case name="cbcl-count-237">
|
|
3039
|
+
<description> Tests a count of initial subsequence </description>
|
|
3040
|
+
<created by="Nick Jones" on="2008-06-02"/>
|
|
3041
|
+
<dependency type="spec" value="XQ10+"/>
|
|
3042
|
+
<test><![CDATA[count((for $x in 1 to 10 return $x * $x)[position() < 3])]]></test>
|
|
3043
|
+
<result>
|
|
3044
|
+
<assert-string-value>2</assert-string-value>
|
|
3045
|
+
</result>
|
|
3046
|
+
</test-case>
|
|
3047
|
+
|
|
3048
|
+
<test-case name="cbcl-count-238">
|
|
3049
|
+
<description> test fn:count </description>
|
|
3050
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
3051
|
+
<dependency type="spec" value="XQ10+"/>
|
|
3052
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt -1</test>
|
|
3053
|
+
<result>
|
|
3054
|
+
<assert-false/>
|
|
3055
|
+
</result>
|
|
3056
|
+
</test-case>
|
|
3057
|
+
|
|
3058
|
+
<test-case name="cbcl-count-239">
|
|
3059
|
+
<description> test fn:count </description>
|
|
3060
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
3061
|
+
<dependency type="spec" value="XQ10+"/>
|
|
3062
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le -1</test>
|
|
3063
|
+
<result>
|
|
3064
|
+
<assert-false/>
|
|
3065
|
+
</result>
|
|
3066
|
+
</test-case>
|
|
3067
|
+
|
|
3068
|
+
<test-case name="cbcl-count-240">
|
|
3069
|
+
<description> test fn:count </description>
|
|
3070
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
3071
|
+
<dependency type="spec" value="XQ10+"/>
|
|
3072
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq -1</test>
|
|
3073
|
+
<result>
|
|
3074
|
+
<assert-false/>
|
|
3075
|
+
</result>
|
|
3076
|
+
</test-case>
|
|
3077
|
+
|
|
3078
|
+
<test-case name="cbcl-count-241">
|
|
3079
|
+
<description> test fn:count </description>
|
|
3080
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
3081
|
+
<dependency type="spec" value="XQ10+"/>
|
|
3082
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge -1</test>
|
|
3083
|
+
<result>
|
|
3084
|
+
<assert-true/>
|
|
3085
|
+
</result>
|
|
3086
|
+
</test-case>
|
|
3087
|
+
|
|
3088
|
+
<test-case name="cbcl-count-242">
|
|
3089
|
+
<description> test fn:count </description>
|
|
3090
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
3091
|
+
<dependency type="spec" value="XQ10+"/>
|
|
3092
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt -1</test>
|
|
3093
|
+
<result>
|
|
3094
|
+
<assert-true/>
|
|
3095
|
+
</result>
|
|
3096
|
+
</test-case>
|
|
3097
|
+
|
|
3098
|
+
<test-case name="cbcl-count-243">
|
|
3099
|
+
<description> test fn:count </description>
|
|
3100
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
3101
|
+
<dependency type="spec" value="XQ10+"/>
|
|
3102
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne -1</test>
|
|
3103
|
+
<result>
|
|
3104
|
+
<assert-true/>
|
|
3105
|
+
</result>
|
|
3106
|
+
</test-case>
|
|
3107
|
+
|
|
3108
|
+
<test-case name="cbcl-count-244">
|
|
3109
|
+
<description> test fn:count </description>
|
|
3110
|
+
<created by="Tim Mills" on="2008-04-11"/>
|
|
3111
|
+
<dependency type="spec" value="XQ10+"/>
|
|
3112
|
+
<test>declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge 1</test>
|
|
3113
|
+
<result>
|
|
3114
|
+
<assert-true/>
|
|
3115
|
+
</result>
|
|
3116
|
+
</test-case>
|
|
3117
|
+
</test-set>
|