Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

[0176eb]: examples / forall / fc_forall.krb Maximize Restore History

Download this file

fc_forall.krb    16 lines (14 with data), 400 Bytes

# fc_forall.krb

test1
    foreach
        family.child_of($child, $father, $mother)
        forall
            family.child_of($_, $father, $mother2)
        require
            check $mother == $mother2
        forall
            family.child_of($_, $father2, $mother)
        require
            check $father == $father2
    assert
        python print($child, "has no step brothers or sisters")