module test_doc2

prop test_doc2#Object#foo1

Test code

assert true # tested
prop test_doc2#Object#foo2

Test code

assert true # tested
prop test_doc2#Object#foo3

Test code

assert true # tested
prop test_doc2#Object#foo4

Test code

assert false # not tested (and not highlighted)
prop test_doc2#Object#foo5

Test code

assert false # not tested (but highlighted)