module test_doc2

prop test_doc2#Sys#foo1

Test code

assert true # tested
prop test_doc2#Sys#foo2

Test code

assert true # tested
prop test_doc2#Sys#foo3

Test code

assert true # tested
prop test_doc2#Sys#foo4

Test code

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

Test code

assert false # not tested (but highlighted)