blob: 4526f1cc7954d2d1c62ffd0437d809e2404854e6 [file] [log] [blame]
(:*******************************************************:)
(: Test: K-SeqCountFunc-8 :)
(: Written by: Frans Englich :)
(: Date: 2006-10-05T18:29:40+02:00 :)
(: Purpose: A test whose essence is: `count( (((), (), ()), (), (), (), ()) ) eq 0`. :)
(:*******************************************************:)
count( (((), (), ()), (), (), (), ()) ) eq 0