[f66b44]: Test / first / test.krb Maximize Restore History

Download this file

test.krb    29 lines (25 with data), 607 Bytes

# test.krb

test1
    foreach
        family.son_of($child, $father, $mother)
        first
            family.son_of($brother, $father, $mother)
            check $child != $brother
    assert
        family.brothers($child, $brother)

test2
    foreach
        first
            family.cousins($a, $c)
        family.son_of($a, $father, $mother)
    assert
        family.nephew_of($c, $father, $mother)

test3
    foreach
        family.brothers($a, $b)
        first
            family.son_of($c1, $a, $_)
        first
            family.son_of($c2, $b, $_)
    assert
        family.cousins($c1, $c2)