[7cd0dd]: examples / forall / fc_forall.krb  Maximize  Restore  History

Download this file

16 lines (14 with data), 399 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"

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks