153
153
test_fail "chose wrong last-false outcome: false";
158
* TEST: Basic functionality: static/dynamic
161
test "Basic functionality: static/dynamic" {
164
if anyof ( true, exists "to", exists "cc" ) {
167
test_fail "chose wrong all-true first-static outcome: false";
170
if anyof ( exists "from", true, exists "cc" ) {
173
test_fail "chose wrong all-true second-static outcome: false";
176
if anyof ( exists "from", exists "to", true ) {
179
test_fail "chose wrong all-true third-static outcome: false";
184
if anyof ( false, exists "frop", exists "frml" ) {
185
test_fail "chose wrong all-false first-static outcome: true";
190
if anyof ( exists "friep", false, exists "frml" ) {
191
test_fail "chose wrong all-false second-static outcome: true";
196
if anyof ( exists "friep", exists "frop", false ) {
197
test_fail "chose wrong all-false third-static outcome: true";
204
if anyof ( true, exists "frop", exists "frml" ) {
207
test_fail "chose wrong first-true first-static outcome: false";
210
if anyof ( exists "to", false, exists "frml" ) {
213
test_fail "chose wrong first-true second-static outcome: false";
216
if anyof ( exists "to", exists "frop", false ) {
219
test_fail "chose wrong first-true third-static outcome: false";
224
if anyof ( false, exists "from", exists "frml" ) {
227
test_fail "chose wrong second-true first-static outcome: false";
230
if anyof ( exists "friep", true, exists "frml" ) {
233
test_fail "chose wrong second-true second-static outcome: false";
236
if anyof ( exists "friep", exists "from", false ) {
239
test_fail "chose wrong second-true third-static outcome: false";
244
if anyof ( false, exists "frop", exists "cc" ) {
247
test_fail "chose wrong last-true first-static outcome: false";
250
if anyof ( exists "friep", false, exists "cc" ) {
253
test_fail "chose wrong last-true second-static outcome: false";
256
if anyof ( exists "friep", exists "frop", true ) {
259
test_fail "chose wrong last-true third-static outcome: false";
264
if anyof ( false, exists "from", exists "cc" ) {
267
test_fail "chose wrong first-false first-static outcome: false";
270
if anyof ( exists "friep", true, exists "cc" ) {
273
test_fail "chose wrong first-false second-static outcome: false";
276
if anyof ( exists "friep", exists "from", true ) {
279
test_fail "chose wrong first-false third-static outcome: false";
284
if anyof ( true, exists "frop", exists "cc" ) {
287
test_fail "chose wrong second-false first-static outcome: false";
290
if anyof ( exists "to", false, exists "cc" ) {
293
test_fail "chose wrong second-false second-static outcome: false";
296
if anyof ( exists "to", exists "frop", true ) {
299
test_fail "chose wrong second-false third-static outcome: false";
304
if anyof ( true, exists "from", exists "frml" ) {
307
test_fail "chose wrong last-false first-static outcome: false";
310
if anyof ( exists "to", true, exists "frml" ) {
313
test_fail "chose wrong last-false second-static outcome: false";
316
if anyof ( exists "to", exists "from", false ) {
319
test_fail "chose wrong last-false third-static outcome: false";
324
* TEST: Basic functionality: nesting
327
test "Basic functionality: nesting" {
330
if anyof ( anyof(false, false), anyof(false, false) ) {
331
test_fail "chose wrong static nesting ((false, false),(false,false)) outcome: true";
336
if anyof ( anyof(true, false), anyof(false, false) ) {
339
test_fail "chose wrong static nesting ((true, false),(false,false)) outcome: false";
342
if anyof ( anyof(false, true), anyof(false, false) ) {
345
test_fail "chose wrong static nesting ((false, true),(false,false)) outcome: false";
348
if anyof ( anyof(false, false), anyof(true, false) ) {
351
test_fail "chose wrong static nesting ((false, false),(true,false)) outcome: false";
354
if anyof ( anyof(false, false), anyof(false, true) ) {
357
test_fail "chose wrong static nesting ((false, false),(false,true)) outcome: false";
360
if anyof ( anyof(true, false), anyof(false, true) ) {
363
test_fail "chose wrong static nesting ((true, false),(false,true)) outcome: false";
368
if anyof ( anyof(exists "frop", exists "friep"), anyof(exists "frml", exists "fruts") ) {
369
test_fail "chose wrong dynamic nesting ((false, false),(false,false)) outcome: true";
374
if anyof ( anyof(exists "to", exists "friep"), anyof(exists "frml", exists "fruts") ) {
377
test_fail "chose wrong dynamic nesting ((true, false),(false,false)) outcome: false";
380
if anyof ( anyof(exists "frop", exists "from"), anyof(exists "frml", exists "fruts") ) {
383
test_fail "chose wrong dynamic nesting ((false, true),(false,false)) outcome: false";
386
if anyof ( anyof(exists "frop", exists "friep"), anyof(exists "cc", exists "fruts") ) {
389
test_fail "chose wrong dynamic nesting ((false, false),(true,false)) outcome: false";
392
if anyof ( anyof(exists "frop", exists "friep"), anyof(exists "frml", exists "subject") ) {
395
test_fail "chose wrong dynamic nesting ((false, false),(false,true)) outcome: false";
398
if anyof ( anyof(exists "to", exists "friep"), anyof(exists "frml", exists "subject") ) {
401
test_fail "chose wrong dynamic nesting ((true, false),(false,true)) outcome: false";
406
if anyof ( anyof(false, exists "friep"), anyof(exists "frml", exists "fruts") ) {
407
test_fail "chose wrong static/dynamic nesting ((false, false),(false,false)) outcome: true";
412
if anyof ( anyof(exists "to", false), anyof(exists "frml", exists "fruts") ) {
415
test_fail "chose wrong static/dynamic nesting ((true, false),(false,false)) outcome: false";
418
if anyof ( anyof(exists "frop", exists "from"), anyof(false, exists "fruts") ) {
421
test_fail "chose wrong static/dynamic nesting ((false, true),(false,false)) outcome: false";
424
if anyof ( anyof(exists "frop", exists "friep"), anyof(exists "cc", false) ) {
427
test_fail "chose wrong static/dynamic nesting ((false, false),(true,false)) outcome: false";
430
if anyof ( anyof(exists "frop", exists "friep"), anyof(exists "frml", true) ) {
433
test_fail "chose wrong static/dynamic nesting ((false, false),(false,true)) outcome: false";
436
if anyof ( anyof(true, exists "friep"), anyof(false, exists "subject") ) {
439
test_fail "chose wrong dynamic nesting ((true, false),(false,true)) outcome: false";