[_CDCSL_93-16_]<1>Cedar>release>Commands>StructuredStreamsTests.cm

StructuredStreamsTests.cm

Spreitze, February 21, 1990 10:29 am PST

Last tweaked by Mike Spreitzer on April 6, 1990 1:01 pm PDT

StructuredStreamsTest 40 FALSE {no<w4" ">need<w4" ">to<w4" ">break}

StructuredStreamsTest 40 TRUE {no<w4" ">need<m4" ">to<w4" ">wait}

StructuredStreamsTest 40 TRUE {no<w4" ">need<m10" ">to<w4" ">wait}

StructuredStreamsTest 16 TRUE{(proc<m1" ">{arg1<w0" ">arg2<w0" ">arg3<w0" ">arg4}).}

StructuredStreamsTest 10 TRUE{(proc<m1" ">{arg1<w0" ">arg2<w0" ">arg3<w0" ">arg4})}

StructuredStreamsTest 10 TRUE{(proc<m1" ">{arg1<w0" ">arg2<w0" ">arg3<w0" ">arg})}

StructuredStreamsTest 12 TRUE {'{(proc <m1"">{arg1<w0" ">arg2<w0" ">arg3<w0" ">arg})}}

StructuredStreamsTest 11 TRUE {'{(proc <m1"">{arg1<w0" ">arg2<w0" ">arg3<w0" ">arg})}}

StructuredStreamsTest 12 TRUE{'{(procname <m1"">{arg1<w0" ">arg2<w0" ">arg3<w0" ">arg})}}

StructuredStreamsTest 12 TRUE{'{(procname <m1"">{arg1<u0" ">arg2<u0" ">arg3<u0" ">arg})}}

StructuredStreamsTest 12 TRUE{violates<m1"">input<m1"">restriction}

StructuredStreamsTest 12 TRUE{also {violates<m1"">input} <m1"">restriction}

StructuredStreamsTest 12 TRUE{also {violates<m1"">input} {<m1"">restriction}}

StructuredStreamsTest 12 TRUE{doesn't {violate<m1"">input}<w0" ">{<m1"">restriction}}

StructuredStreamsTest 15 TRUE {(proc<m1" ">{arg1<w0" ">{(proc2<m1" ">{arg21<w0" ">arg22<w0" ">arg23<w0" ">arg24})}<w0" ">{(proc3<m1" ">{arg31<w0" ">arg32<w0" ">arg33<w0" ">arg34})}<w0" ">arg4})}

StructuredStreamsTest 16 TRUE {(proc<m1" ">{arg1<w0" ">{(proc2<m1" ">{arg21<w0" ">arg22<w0" ">arg23<w0" ">arg24})}<w0" ">{(proc3<m1" ">{arg31<w0" ">arg32<w0" ">arg33<w0" ">arg34})}<w0" ">arg4})}

StructuredStreamsTest 11 FALSE {23<w0" ">56{78<a0" ">789A}BCDE}