source: tests/collections/.expect/string-compare.txt @ cf34e82

Last change on this file since cf34e82 was 416b443, checked in by Michael Brooks <mlbrooks@…>, 14 months ago

Implement full set of relational operators for strings

  • Property mode set to 100644
File size: 13.9 KB
Line 
1------- string -------
2(cmp(s_, s_) == 0) ok
3(s_ == s_) ok
4!(s_ != s_) ok
5!(s_ > s_) ok
6(s_ >= s_) ok
7(s_ <= s_) ok
8!(s_ < s_) ok
9(cmp("", s_) == 0) ok
10("" == s_) ok
11!("" != s_) ok
12!("" > s_) ok
13("" >= s_) ok
14("" <= s_) ok
15!("" < s_) ok
16(cmp(s_, "") == 0) ok
17(s_ == "") ok
18!(s_ != "") ok
19!(s_ > "") ok
20(s_ >= "") ok
21(s_ <= "") ok
22!(s_ < "") ok
23(cmp(s_, s_a) < 0) ok
24!(s_ == s_a) ok
25(s_ != s_a) ok
26!(s_ > s_a) ok
27!(s_ >= s_a) ok
28(s_ <= s_a) ok
29(s_ < s_a) ok
30(cmp("", s_a) < 0) ok
31!("" == s_a) ok
32("" != s_a) ok
33!("" > s_a) ok
34!("" >= s_a) ok
35("" <= s_a) ok
36("" < s_a) ok
37(cmp(s_, "a") < 0) ok
38!(s_ == "a") ok
39(s_ != "a") ok
40!(s_ > "a") ok
41!(s_ >= "a") ok
42(s_ <= "a") ok
43(s_ < "a") ok
44(cmp(s_a, s_) > 0) ok
45!(s_a == s_) ok
46(s_a != s_) ok
47(s_a > s_) ok
48(s_a >= s_) ok
49!(s_a <= s_) ok
50!(s_a < s_) ok
51(cmp("a", s_) > 0) ok
52!("a" == s_) ok
53("a" != s_) ok
54("a" > s_) ok
55("a" >= s_) ok
56!("a" <= s_) ok
57!("a" < s_) ok
58(cmp(s_a, "") > 0) ok
59!(s_a == "") ok
60(s_a != "") ok
61(s_a > "") ok
62(s_a >= "") ok
63!(s_a <= "") ok
64!(s_a < "") ok
65(cmp(s_, s_aa) < 0) ok
66!(s_ == s_aa) ok
67(s_ != s_aa) ok
68!(s_ > s_aa) ok
69!(s_ >= s_aa) ok
70(s_ <= s_aa) ok
71(s_ < s_aa) ok
72(cmp("", s_aa) < 0) ok
73!("" == s_aa) ok
74("" != s_aa) ok
75!("" > s_aa) ok
76!("" >= s_aa) ok
77("" <= s_aa) ok
78("" < s_aa) ok
79(cmp(s_, "aa") < 0) ok
80!(s_ == "aa") ok
81(s_ != "aa") ok
82!(s_ > "aa") ok
83!(s_ >= "aa") ok
84(s_ <= "aa") ok
85(s_ < "aa") ok
86(cmp(s_aa, s_) > 0) ok
87!(s_aa == s_) ok
88(s_aa != s_) ok
89(s_aa > s_) ok
90(s_aa >= s_) ok
91!(s_aa <= s_) ok
92!(s_aa < s_) ok
93(cmp("aa", s_) > 0) ok
94!("aa" == s_) ok
95("aa" != s_) ok
96("aa" > s_) ok
97("aa" >= s_) ok
98!("aa" <= s_) ok
99!("aa" < s_) ok
100(cmp(s_aa, "") > 0) ok
101!(s_aa == "") ok
102(s_aa != "") ok
103(s_aa > "") ok
104(s_aa >= "") ok
105!(s_aa <= "") ok
106!(s_aa < "") ok
107(cmp(s_a, s_aa) < 0) ok
108!(s_a == s_aa) ok
109(s_a != s_aa) ok
110!(s_a > s_aa) ok
111!(s_a >= s_aa) ok
112(s_a <= s_aa) ok
113(s_a < s_aa) ok
114(cmp("a", s_aa) < 0) ok
115!("a" == s_aa) ok
116("a" != s_aa) ok
117!("a" > s_aa) ok
118!("a" >= s_aa) ok
119("a" <= s_aa) ok
120("a" < s_aa) ok
121(cmp(s_a, "aa") < 0) ok
122!(s_a == "aa") ok
123(s_a != "aa") ok
124!(s_a > "aa") ok
125!(s_a >= "aa") ok
126(s_a <= "aa") ok
127(s_a < "aa") ok
128(cmp(s_aa, s_a) > 0) ok
129!(s_aa == s_a) ok
130(s_aa != s_a) ok
131(s_aa > s_a) ok
132(s_aa >= s_a) ok
133!(s_aa <= s_a) ok
134!(s_aa < s_a) ok
135(cmp("aa", s_a) > 0) ok
136!("aa" == s_a) ok
137("aa" != s_a) ok
138("aa" > s_a) ok
139("aa" >= s_a) ok
140!("aa" <= s_a) ok
141!("aa" < s_a) ok
142(cmp(s_aa, "a") > 0) ok
143!(s_aa == "a") ok
144(s_aa != "a") ok
145(s_aa > "a") ok
146(s_aa >= "a") ok
147!(s_aa <= "a") ok
148!(s_aa < "a") ok
149(cmp(s_a, s_a) == 0) ok
150(s_a == s_a) ok
151!(s_a != s_a) ok
152!(s_a > s_a) ok
153(s_a >= s_a) ok
154(s_a <= s_a) ok
155!(s_a < s_a) ok
156(cmp("a", s_a) == 0) ok
157("a" == s_a) ok
158!("a" != s_a) ok
159!("a" > s_a) ok
160("a" >= s_a) ok
161("a" <= s_a) ok
162!("a" < s_a) ok
163(cmp(s_a, "a") == 0) ok
164(s_a == "a") ok
165!(s_a != "a") ok
166!(s_a > "a") ok
167(s_a >= "a") ok
168(s_a <= "a") ok
169!(s_a < "a") ok
170(cmp(s_aa, s_aa) == 0) ok
171(s_aa == s_aa) ok
172!(s_aa != s_aa) ok
173!(s_aa > s_aa) ok
174(s_aa >= s_aa) ok
175(s_aa <= s_aa) ok
176!(s_aa < s_aa) ok
177(cmp("aa", s_aa) == 0) ok
178("aa" == s_aa) ok
179!("aa" != s_aa) ok
180!("aa" > s_aa) ok
181("aa" >= s_aa) ok
182("aa" <= s_aa) ok
183!("aa" < s_aa) ok
184(cmp(s_aa, "aa") == 0) ok
185(s_aa == "aa") ok
186!(s_aa != "aa") ok
187!(s_aa > "aa") ok
188(s_aa >= "aa") ok
189(s_aa <= "aa") ok
190!(s_aa < "aa") ok
191(cmp(s_a, s_b) < 0) ok
192!(s_a == s_b) ok
193(s_a != s_b) ok
194!(s_a > s_b) ok
195!(s_a >= s_b) ok
196(s_a <= s_b) ok
197(s_a < s_b) ok
198(cmp("a", s_b) < 0) ok
199!("a" == s_b) ok
200("a" != s_b) ok
201!("a" > s_b) ok
202!("a" >= s_b) ok
203("a" <= s_b) ok
204("a" < s_b) ok
205(cmp(s_a, "b") < 0) ok
206!(s_a == "b") ok
207(s_a != "b") ok
208!(s_a > "b") ok
209!(s_a >= "b") ok
210(s_a <= "b") ok
211(s_a < "b") ok
212(cmp(s_b, s_a) > 0) ok
213!(s_b == s_a) ok
214(s_b != s_a) ok
215(s_b > s_a) ok
216(s_b >= s_a) ok
217!(s_b <= s_a) ok
218!(s_b < s_a) ok
219(cmp("b", s_a) > 0) ok
220!("b" == s_a) ok
221("b" != s_a) ok
222("b" > s_a) ok
223("b" >= s_a) ok
224!("b" <= s_a) ok
225!("b" < s_a) ok
226(cmp(s_b, "a") > 0) ok
227!(s_b == "a") ok
228(s_b != "a") ok
229(s_b > "a") ok
230(s_b >= "a") ok
231!(s_b <= "a") ok
232!(s_b < "a") ok
233(cmp(s_a, s_ba) < 0) ok
234!(s_a == s_ba) ok
235(s_a != s_ba) ok
236!(s_a > s_ba) ok
237!(s_a >= s_ba) ok
238(s_a <= s_ba) ok
239(s_a < s_ba) ok
240(cmp("a", s_ba) < 0) ok
241!("a" == s_ba) ok
242("a" != s_ba) ok
243!("a" > s_ba) ok
244!("a" >= s_ba) ok
245("a" <= s_ba) ok
246("a" < s_ba) ok
247(cmp(s_a, "ba") < 0) ok
248!(s_a == "ba") ok
249(s_a != "ba") ok
250!(s_a > "ba") ok
251!(s_a >= "ba") ok
252(s_a <= "ba") ok
253(s_a < "ba") ok
254(cmp(s_ba, s_a) > 0) ok
255!(s_ba == s_a) ok
256(s_ba != s_a) ok
257(s_ba > s_a) ok
258(s_ba >= s_a) ok
259!(s_ba <= s_a) ok
260!(s_ba < s_a) ok
261(cmp("ba", s_a) > 0) ok
262!("ba" == s_a) ok
263("ba" != s_a) ok
264("ba" > s_a) ok
265("ba" >= s_a) ok
266!("ba" <= s_a) ok
267!("ba" < s_a) ok
268(cmp(s_ba, "a") > 0) ok
269!(s_ba == "a") ok
270(s_ba != "a") ok
271(s_ba > "a") ok
272(s_ba >= "a") ok
273!(s_ba <= "a") ok
274!(s_ba < "a") ok
275(cmp(s_aa, s_ab) < 0) ok
276!(s_aa == s_ab) ok
277(s_aa != s_ab) ok
278!(s_aa > s_ab) ok
279!(s_aa >= s_ab) ok
280(s_aa <= s_ab) ok
281(s_aa < s_ab) ok
282(cmp("aa", s_ab) < 0) ok
283!("aa" == s_ab) ok
284("aa" != s_ab) ok
285!("aa" > s_ab) ok
286!("aa" >= s_ab) ok
287("aa" <= s_ab) ok
288("aa" < s_ab) ok
289(cmp(s_aa, "ab") < 0) ok
290!(s_aa == "ab") ok
291(s_aa != "ab") ok
292!(s_aa > "ab") ok
293!(s_aa >= "ab") ok
294(s_aa <= "ab") ok
295(s_aa < "ab") ok
296(cmp(s_ab, s_aa) > 0) ok
297!(s_ab == s_aa) ok
298(s_ab != s_aa) ok
299(s_ab > s_aa) ok
300(s_ab >= s_aa) ok
301!(s_ab <= s_aa) ok
302!(s_ab < s_aa) ok
303(cmp("ab", s_aa) > 0) ok
304!("ab" == s_aa) ok
305("ab" != s_aa) ok
306("ab" > s_aa) ok
307("ab" >= s_aa) ok
308!("ab" <= s_aa) ok
309!("ab" < s_aa) ok
310(cmp(s_ab, "aa") > 0) ok
311!(s_ab == "aa") ok
312(s_ab != "aa") ok
313(s_ab > "aa") ok
314(s_ab >= "aa") ok
315!(s_ab <= "aa") ok
316!(s_ab < "aa") ok
317(cmp(s_ba, s_bb) < 0) ok
318!(s_ba == s_bb) ok
319(s_ba != s_bb) ok
320!(s_ba > s_bb) ok
321!(s_ba >= s_bb) ok
322(s_ba <= s_bb) ok
323(s_ba < s_bb) ok
324(cmp("ba", s_bb) < 0) ok
325!("ba" == s_bb) ok
326("ba" != s_bb) ok
327!("ba" > s_bb) ok
328!("ba" >= s_bb) ok
329("ba" <= s_bb) ok
330("ba" < s_bb) ok
331(cmp(s_ba, "bb") < 0) ok
332!(s_ba == "bb") ok
333(s_ba != "bb") ok
334!(s_ba > "bb") ok
335!(s_ba >= "bb") ok
336(s_ba <= "bb") ok
337(s_ba < "bb") ok
338(cmp(s_bb, s_ba) > 0) ok
339!(s_bb == s_ba) ok
340(s_bb != s_ba) ok
341(s_bb > s_ba) ok
342(s_bb >= s_ba) ok
343!(s_bb <= s_ba) ok
344!(s_bb < s_ba) ok
345(cmp("bb", s_ba) > 0) ok
346!("bb" == s_ba) ok
347("bb" != s_ba) ok
348("bb" > s_ba) ok
349("bb" >= s_ba) ok
350!("bb" <= s_ba) ok
351!("bb" < s_ba) ok
352(cmp(s_bb, "ba") > 0) ok
353!(s_bb == "ba") ok
354(s_bb != "ba") ok
355(s_bb > "ba") ok
356(s_bb >= "ba") ok
357!(s_bb <= "ba") ok
358!(s_bb < "ba") ok
359(cmp(s_aa, s_b) < 0) ok
360!(s_aa == s_b) ok
361(s_aa != s_b) ok
362!(s_aa > s_b) ok
363!(s_aa >= s_b) ok
364(s_aa <= s_b) ok
365(s_aa < s_b) ok
366(cmp("aa", s_b) < 0) ok
367!("aa" == s_b) ok
368("aa" != s_b) ok
369!("aa" > s_b) ok
370!("aa" >= s_b) ok
371("aa" <= s_b) ok
372("aa" < s_b) ok
373(cmp(s_aa, "b") < 0) ok
374!(s_aa == "b") ok
375(s_aa != "b") ok
376!(s_aa > "b") ok
377!(s_aa >= "b") ok
378(s_aa <= "b") ok
379(s_aa < "b") ok
380(cmp(s_b, s_aa) > 0) ok
381!(s_b == s_aa) ok
382(s_b != s_aa) ok
383(s_b > s_aa) ok
384(s_b >= s_aa) ok
385!(s_b <= s_aa) ok
386!(s_b < s_aa) ok
387(cmp("b", s_aa) > 0) ok
388!("b" == s_aa) ok
389("b" != s_aa) ok
390("b" > s_aa) ok
391("b" >= s_aa) ok
392!("b" <= s_aa) ok
393!("b" < s_aa) ok
394(cmp(s_b, "aa") > 0) ok
395!(s_b == "aa") ok
396(s_b != "aa") ok
397(s_b > "aa") ok
398(s_b >= "aa") ok
399!(s_b <= "aa") ok
400!(s_b < "aa") ok
401------- string_res -------
402(cmp(s_, s_) == 0) ok
403(s_ == s_) ok
404!(s_ != s_) ok
405!(s_ > s_) ok
406(s_ >= s_) ok
407(s_ <= s_) ok
408!(s_ < s_) ok
409(cmp("", s_) == 0) ok
410("" == s_) ok
411!("" != s_) ok
412!("" > s_) ok
413("" >= s_) ok
414("" <= s_) ok
415!("" < s_) ok
416(cmp(s_, "") == 0) ok
417(s_ == "") ok
418!(s_ != "") ok
419!(s_ > "") ok
420(s_ >= "") ok
421(s_ <= "") ok
422!(s_ < "") ok
423(cmp(s_, s_a) < 0) ok
424!(s_ == s_a) ok
425(s_ != s_a) ok
426!(s_ > s_a) ok
427!(s_ >= s_a) ok
428(s_ <= s_a) ok
429(s_ < s_a) ok
430(cmp("", s_a) < 0) ok
431!("" == s_a) ok
432("" != s_a) ok
433!("" > s_a) ok
434!("" >= s_a) ok
435("" <= s_a) ok
436("" < s_a) ok
437(cmp(s_, "a") < 0) ok
438!(s_ == "a") ok
439(s_ != "a") ok
440!(s_ > "a") ok
441!(s_ >= "a") ok
442(s_ <= "a") ok
443(s_ < "a") ok
444(cmp(s_a, s_) > 0) ok
445!(s_a == s_) ok
446(s_a != s_) ok
447(s_a > s_) ok
448(s_a >= s_) ok
449!(s_a <= s_) ok
450!(s_a < s_) ok
451(cmp("a", s_) > 0) ok
452!("a" == s_) ok
453("a" != s_) ok
454("a" > s_) ok
455("a" >= s_) ok
456!("a" <= s_) ok
457!("a" < s_) ok
458(cmp(s_a, "") > 0) ok
459!(s_a == "") ok
460(s_a != "") ok
461(s_a > "") ok
462(s_a >= "") ok
463!(s_a <= "") ok
464!(s_a < "") ok
465(cmp(s_, s_aa) < 0) ok
466!(s_ == s_aa) ok
467(s_ != s_aa) ok
468!(s_ > s_aa) ok
469!(s_ >= s_aa) ok
470(s_ <= s_aa) ok
471(s_ < s_aa) ok
472(cmp("", s_aa) < 0) ok
473!("" == s_aa) ok
474("" != s_aa) ok
475!("" > s_aa) ok
476!("" >= s_aa) ok
477("" <= s_aa) ok
478("" < s_aa) ok
479(cmp(s_, "aa") < 0) ok
480!(s_ == "aa") ok
481(s_ != "aa") ok
482!(s_ > "aa") ok
483!(s_ >= "aa") ok
484(s_ <= "aa") ok
485(s_ < "aa") ok
486(cmp(s_aa, s_) > 0) ok
487!(s_aa == s_) ok
488(s_aa != s_) ok
489(s_aa > s_) ok
490(s_aa >= s_) ok
491!(s_aa <= s_) ok
492!(s_aa < s_) ok
493(cmp("aa", s_) > 0) ok
494!("aa" == s_) ok
495("aa" != s_) ok
496("aa" > s_) ok
497("aa" >= s_) ok
498!("aa" <= s_) ok
499!("aa" < s_) ok
500(cmp(s_aa, "") > 0) ok
501!(s_aa == "") ok
502(s_aa != "") ok
503(s_aa > "") ok
504(s_aa >= "") ok
505!(s_aa <= "") ok
506!(s_aa < "") ok
507(cmp(s_a, s_aa) < 0) ok
508!(s_a == s_aa) ok
509(s_a != s_aa) ok
510!(s_a > s_aa) ok
511!(s_a >= s_aa) ok
512(s_a <= s_aa) ok
513(s_a < s_aa) ok
514(cmp("a", s_aa) < 0) ok
515!("a" == s_aa) ok
516("a" != s_aa) ok
517!("a" > s_aa) ok
518!("a" >= s_aa) ok
519("a" <= s_aa) ok
520("a" < s_aa) ok
521(cmp(s_a, "aa") < 0) ok
522!(s_a == "aa") ok
523(s_a != "aa") ok
524!(s_a > "aa") ok
525!(s_a >= "aa") ok
526(s_a <= "aa") ok
527(s_a < "aa") ok
528(cmp(s_aa, s_a) > 0) ok
529!(s_aa == s_a) ok
530(s_aa != s_a) ok
531(s_aa > s_a) ok
532(s_aa >= s_a) ok
533!(s_aa <= s_a) ok
534!(s_aa < s_a) ok
535(cmp("aa", s_a) > 0) ok
536!("aa" == s_a) ok
537("aa" != s_a) ok
538("aa" > s_a) ok
539("aa" >= s_a) ok
540!("aa" <= s_a) ok
541!("aa" < s_a) ok
542(cmp(s_aa, "a") > 0) ok
543!(s_aa == "a") ok
544(s_aa != "a") ok
545(s_aa > "a") ok
546(s_aa >= "a") ok
547!(s_aa <= "a") ok
548!(s_aa < "a") ok
549(cmp(s_a, s_a) == 0) ok
550(s_a == s_a) ok
551!(s_a != s_a) ok
552!(s_a > s_a) ok
553(s_a >= s_a) ok
554(s_a <= s_a) ok
555!(s_a < s_a) ok
556(cmp("a", s_a) == 0) ok
557("a" == s_a) ok
558!("a" != s_a) ok
559!("a" > s_a) ok
560("a" >= s_a) ok
561("a" <= s_a) ok
562!("a" < s_a) ok
563(cmp(s_a, "a") == 0) ok
564(s_a == "a") ok
565!(s_a != "a") ok
566!(s_a > "a") ok
567(s_a >= "a") ok
568(s_a <= "a") ok
569!(s_a < "a") ok
570(cmp(s_aa, s_aa) == 0) ok
571(s_aa == s_aa) ok
572!(s_aa != s_aa) ok
573!(s_aa > s_aa) ok
574(s_aa >= s_aa) ok
575(s_aa <= s_aa) ok
576!(s_aa < s_aa) ok
577(cmp("aa", s_aa) == 0) ok
578("aa" == s_aa) ok
579!("aa" != s_aa) ok
580!("aa" > s_aa) ok
581("aa" >= s_aa) ok
582("aa" <= s_aa) ok
583!("aa" < s_aa) ok
584(cmp(s_aa, "aa") == 0) ok
585(s_aa == "aa") ok
586!(s_aa != "aa") ok
587!(s_aa > "aa") ok
588(s_aa >= "aa") ok
589(s_aa <= "aa") ok
590!(s_aa < "aa") ok
591(cmp(s_a, s_b) < 0) ok
592!(s_a == s_b) ok
593(s_a != s_b) ok
594!(s_a > s_b) ok
595!(s_a >= s_b) ok
596(s_a <= s_b) ok
597(s_a < s_b) ok
598(cmp("a", s_b) < 0) ok
599!("a" == s_b) ok
600("a" != s_b) ok
601!("a" > s_b) ok
602!("a" >= s_b) ok
603("a" <= s_b) ok
604("a" < s_b) ok
605(cmp(s_a, "b") < 0) ok
606!(s_a == "b") ok
607(s_a != "b") ok
608!(s_a > "b") ok
609!(s_a >= "b") ok
610(s_a <= "b") ok
611(s_a < "b") ok
612(cmp(s_b, s_a) > 0) ok
613!(s_b == s_a) ok
614(s_b != s_a) ok
615(s_b > s_a) ok
616(s_b >= s_a) ok
617!(s_b <= s_a) ok
618!(s_b < s_a) ok
619(cmp("b", s_a) > 0) ok
620!("b" == s_a) ok
621("b" != s_a) ok
622("b" > s_a) ok
623("b" >= s_a) ok
624!("b" <= s_a) ok
625!("b" < s_a) ok
626(cmp(s_b, "a") > 0) ok
627!(s_b == "a") ok
628(s_b != "a") ok
629(s_b > "a") ok
630(s_b >= "a") ok
631!(s_b <= "a") ok
632!(s_b < "a") ok
633(cmp(s_a, s_ba) < 0) ok
634!(s_a == s_ba) ok
635(s_a != s_ba) ok
636!(s_a > s_ba) ok
637!(s_a >= s_ba) ok
638(s_a <= s_ba) ok
639(s_a < s_ba) ok
640(cmp("a", s_ba) < 0) ok
641!("a" == s_ba) ok
642("a" != s_ba) ok
643!("a" > s_ba) ok
644!("a" >= s_ba) ok
645("a" <= s_ba) ok
646("a" < s_ba) ok
647(cmp(s_a, "ba") < 0) ok
648!(s_a == "ba") ok
649(s_a != "ba") ok
650!(s_a > "ba") ok
651!(s_a >= "ba") ok
652(s_a <= "ba") ok
653(s_a < "ba") ok
654(cmp(s_ba, s_a) > 0) ok
655!(s_ba == s_a) ok
656(s_ba != s_a) ok
657(s_ba > s_a) ok
658(s_ba >= s_a) ok
659!(s_ba <= s_a) ok
660!(s_ba < s_a) ok
661(cmp("ba", s_a) > 0) ok
662!("ba" == s_a) ok
663("ba" != s_a) ok
664("ba" > s_a) ok
665("ba" >= s_a) ok
666!("ba" <= s_a) ok
667!("ba" < s_a) ok
668(cmp(s_ba, "a") > 0) ok
669!(s_ba == "a") ok
670(s_ba != "a") ok
671(s_ba > "a") ok
672(s_ba >= "a") ok
673!(s_ba <= "a") ok
674!(s_ba < "a") ok
675(cmp(s_aa, s_ab) < 0) ok
676!(s_aa == s_ab) ok
677(s_aa != s_ab) ok
678!(s_aa > s_ab) ok
679!(s_aa >= s_ab) ok
680(s_aa <= s_ab) ok
681(s_aa < s_ab) ok
682(cmp("aa", s_ab) < 0) ok
683!("aa" == s_ab) ok
684("aa" != s_ab) ok
685!("aa" > s_ab) ok
686!("aa" >= s_ab) ok
687("aa" <= s_ab) ok
688("aa" < s_ab) ok
689(cmp(s_aa, "ab") < 0) ok
690!(s_aa == "ab") ok
691(s_aa != "ab") ok
692!(s_aa > "ab") ok
693!(s_aa >= "ab") ok
694(s_aa <= "ab") ok
695(s_aa < "ab") ok
696(cmp(s_ab, s_aa) > 0) ok
697!(s_ab == s_aa) ok
698(s_ab != s_aa) ok
699(s_ab > s_aa) ok
700(s_ab >= s_aa) ok
701!(s_ab <= s_aa) ok
702!(s_ab < s_aa) ok
703(cmp("ab", s_aa) > 0) ok
704!("ab" == s_aa) ok
705("ab" != s_aa) ok
706("ab" > s_aa) ok
707("ab" >= s_aa) ok
708!("ab" <= s_aa) ok
709!("ab" < s_aa) ok
710(cmp(s_ab, "aa") > 0) ok
711!(s_ab == "aa") ok
712(s_ab != "aa") ok
713(s_ab > "aa") ok
714(s_ab >= "aa") ok
715!(s_ab <= "aa") ok
716!(s_ab < "aa") ok
717(cmp(s_ba, s_bb) < 0) ok
718!(s_ba == s_bb) ok
719(s_ba != s_bb) ok
720!(s_ba > s_bb) ok
721!(s_ba >= s_bb) ok
722(s_ba <= s_bb) ok
723(s_ba < s_bb) ok
724(cmp("ba", s_bb) < 0) ok
725!("ba" == s_bb) ok
726("ba" != s_bb) ok
727!("ba" > s_bb) ok
728!("ba" >= s_bb) ok
729("ba" <= s_bb) ok
730("ba" < s_bb) ok
731(cmp(s_ba, "bb") < 0) ok
732!(s_ba == "bb") ok
733(s_ba != "bb") ok
734!(s_ba > "bb") ok
735!(s_ba >= "bb") ok
736(s_ba <= "bb") ok
737(s_ba < "bb") ok
738(cmp(s_bb, s_ba) > 0) ok
739!(s_bb == s_ba) ok
740(s_bb != s_ba) ok
741(s_bb > s_ba) ok
742(s_bb >= s_ba) ok
743!(s_bb <= s_ba) ok
744!(s_bb < s_ba) ok
745(cmp("bb", s_ba) > 0) ok
746!("bb" == s_ba) ok
747("bb" != s_ba) ok
748("bb" > s_ba) ok
749("bb" >= s_ba) ok
750!("bb" <= s_ba) ok
751!("bb" < s_ba) ok
752(cmp(s_bb, "ba") > 0) ok
753!(s_bb == "ba") ok
754(s_bb != "ba") ok
755(s_bb > "ba") ok
756(s_bb >= "ba") ok
757!(s_bb <= "ba") ok
758!(s_bb < "ba") ok
759(cmp(s_aa, s_b) < 0) ok
760!(s_aa == s_b) ok
761(s_aa != s_b) ok
762!(s_aa > s_b) ok
763!(s_aa >= s_b) ok
764(s_aa <= s_b) ok
765(s_aa < s_b) ok
766(cmp("aa", s_b) < 0) ok
767!("aa" == s_b) ok
768("aa" != s_b) ok
769!("aa" > s_b) ok
770!("aa" >= s_b) ok
771("aa" <= s_b) ok
772("aa" < s_b) ok
773(cmp(s_aa, "b") < 0) ok
774!(s_aa == "b") ok
775(s_aa != "b") ok
776!(s_aa > "b") ok
777!(s_aa >= "b") ok
778(s_aa <= "b") ok
779(s_aa < "b") ok
780(cmp(s_b, s_aa) > 0) ok
781!(s_b == s_aa) ok
782(s_b != s_aa) ok
783(s_b > s_aa) ok
784(s_b >= s_aa) ok
785!(s_b <= s_aa) ok
786!(s_b < s_aa) ok
787(cmp("b", s_aa) > 0) ok
788!("b" == s_aa) ok
789("b" != s_aa) ok
790("b" > s_aa) ok
791("b" >= s_aa) ok
792!("b" <= s_aa) ok
793!("b" < s_aa) ok
794(cmp(s_b, "aa") > 0) ok
795!(s_b == "aa") ok
796(s_b != "aa") ok
797(s_b > "aa") ok
798(s_b >= "aa") ok
799!(s_b <= "aa") ok
800!(s_b < "aa") ok
Note: See TracBrowser for help on using the repository browser.