process.testcases revision 69b3701bf367eacfedd3efef1b95f697228e592a
0N/ASKIP
3845N/AProcess
0N/A++
0N/ASKIP
0N/A----------
0N/ASKIP
0N/A
0N/A--------------------
0N/A
0N/ASTOP
0N/AProcess
0N/A++
0N/ASTOP
0N/A----------
0N/ASTOP
0N/A
0N/A--------------------
0N/A
1472N/Adiv
1472N/AProcess
1472N/A++
0N/Adiv
0N/A----------
0N/Adiv
0N/A
0N/A--------------------
0N/A
0N/ARUN a
0N/AProcess
0N/A++
0N/ARUN a
0N/A----------
0N/ARUN a
0N/A
0N/A--------------------
0N/A
0N/ACHAOS a
0N/AProcess
0N/A++
0N/ACHAOS a
0N/A----------
0N/ACHAOS a
0N/A
0N/A--------------------
0N/A
0N/ASTOP\a
0N/AProcess
0N/A++
0N/ASTOP \ a
0N/A----------
0N/ASTOP\a
0N/A
0N/A--------------------
0N/A
0N/ASTOP\a\b
0N/AProcess
0N/A++
0N/ASTOP \ a \ b
0N/A----------
0N/ASTOP\a\b
0N/A
0N/A--------------------
0N/A
0N/ASKIP[[x]]
0N/AProcess
0N/A++
0N/ASKIP[[x]]
0N/A----------
0N/ASKIP[[x]]
0N/A
0N/A--------------------
0N/A
0N/A(SKIP[[x]])
0N/AProcess
0N/A++
0N/A(SKIP[[x]])
0N/A----------
0N/A(SKIP[[x]])
0N/A
0N/A--------------------
0N/A
0N/Aa->SKIP
0N/AProcess
0N/A++
0N/Aa -> SKIP
0N/A----------
0N/Aa->SKIP
0N/A
0N/A--------------------
0N/A
0N/Aa -> SKIP
0N/AProcess
0N/A++
0N/Aa -> SKIP
0N/A----------
0N/Aa -> SKIP
0N/A
0N/A--------------------
0N/A
0N/Aa -> b -> SKIP
0N/AProcess
0N/A++
0N/Aa -> b -> SKIP
0N/A----------
0N/Aa -> b -> SKIP
0N/A
0N/A--------------------
0N/A
0N/A[] v : a -> SKIP
0N/AProcess
0N/A++
0N/A[] v : a -> SKIP
0N/A----------
0N/A[] v : a -> SKIP
0N/A
0N/A--------------------
0N/A
0N/A[] v : a -> [] w : b -> SKIP
0N/AProcess
0N/A++
0N/A[] v : a -> [] w : b -> SKIP
0N/A----------
0N/A[] v : a -> [] w : b -> SKIP
0N/A
0N/A--------------------
0N/A
0N/ASTOP;STOP
0N/AProcess
0N/A++
0N/ASTOP ; STOP
0N/A----------
0N/ASTOP;STOP
0N/A
0N/A--------------------
0N/A
0N/ASTOP ; STOP
0N/AProcess
0N/A++
0N/ASTOP ; STOP
0N/A----------
0N/ASTOP ; STOP
0N/A
0N/A--------------------
0N/A
0N/ASTOP ; SKIP ; STOP
0N/AProcess
0N/A++
0N/ASTOP ; SKIP ; STOP
0N/A----------
0N/ASTOP ; SKIP ; STOP
0N/A
0N/A--------------------
0N/A
0N/ASTOP ; (SKIP ; STOP)
0N/AProcess
0N/A++
0N/ASTOP ; (SKIP ; STOP)
0N/A----------
0N/ASTOP ; (SKIP ; STOP)
0N/A
0N/A--------------------
0N/A
0N/ASTOP [] SKIP
0N/AProcess
0N/A++
0N/ASTOP [] SKIP
0N/A----------
0N/ASTOP [] SKIP
0N/A
0N/A--------------------
0N/A
0N/ASTOP [] SKIP [] STOP
0N/AProcess
0N/A++
0N/ASTOP [] SKIP [] STOP
0N/A----------
0N/ASTOP [] SKIP [] STOP
0N/A
0N/A--------------------
0N/A
0N/ASTOP [] (SKIP [] STOP)
0N/AProcess
0N/A++
0N/ASTOP [] (SKIP [] STOP)
0N/A----------
0N/ASTOP [] (SKIP [] STOP)
0N/A
0N/A--------------------
0N/A
0N/ASTOP |~| SKIP
0N/AProcess
605N/A++
0N/ASTOP |~| SKIP
0N/A----------
0N/ASTOP |~| SKIP
1007N/A
1007N/A--------------------
1007N/A
1007N/ASTOP |~| SKIP |~| STOP
1007N/AProcess
1007N/A++
1007N/ASTOP |~| SKIP |~| STOP
1007N/A----------
1007N/ASTOP |~| SKIP |~| STOP
1007N/A
1007N/A--------------------
1007N/A
1007N/ASTOP |~| (SKIP |~| STOP)
1007N/AProcess
1007N/A++
1007N/ASTOP |~| (SKIP |~| STOP)
1007N/A----------
1007N/ASTOP |~| (SKIP |~| STOP)
1007N/A
1007N/A--------------------
1007N/A
1007N/ASTOP || SKIP
1007N/AProcess
1007N/A++
1007N/ASTOP || SKIP
1007N/A----------
1007N/ASTOP || SKIP
1007N/A
1007N/A--------------------
1007N/A
1007N/ASTOP || SKIP || STOP
1007N/AProcess
0N/A++
0N/ASTOP || SKIP || STOP
0N/A----------
0N/ASTOP || SKIP || STOP
0N/A
0N/A--------------------
0N/A
0N/ASTOP || (SKIP || STOP)
0N/AProcess
0N/A++
0N/ASTOP || (SKIP || STOP)
0N/A----------
0N/ASTOP || (SKIP || STOP)
0N/A
0N/A--------------------
0N/A
0N/ASTOP ||| SKIP
0N/AProcess
0N/A++
0N/ASTOP ||| SKIP
0N/A----------
0N/ASTOP ||| SKIP
0N/A
0N/A--------------------
0N/A
0N/ASTOP ||| SKIP ||| STOP
0N/AProcess
0N/A++
0N/ASTOP ||| SKIP ||| STOP
0N/A----------
0N/ASTOP ||| SKIP ||| STOP
0N/A
0N/A--------------------
0N/A
0N/ASTOP ||| (SKIP ||| STOP)
0N/AProcess
0N/A++
0N/ASTOP ||| (SKIP ||| STOP)
0N/A----------
0N/ASTOP ||| (SKIP ||| STOP)
0N/A
0N/A--------------------
0N/A
0N/Ac -> SKIP || d -> SKIP
0N/AProcess
0N/A++
0N/Ac -> SKIP || d -> SKIP
0N/A----------
0N/Ac -> SKIP || d -> SKIP
0N/A
0N/A--------------------
0N/A
0N/ASTOP [| a |] SKIP
0N/AProcess
0N/A++
0N/ASTOP [| a |] SKIP
0N/A----------
0N/ASTOP [| a |] SKIP
0N/A
0N/A--------------------
0N/A
0N/ASTOP [ a || b ] SKIP
0N/AProcess
0N/A++
0N/ASTOP [ a || b ] SKIP
0N/A----------
0N/ASTOP [ a || b ] SKIP
0N/A
0N/A--------------------
0N/A
0N/Aif true then STOP else SKIP
0N/AProcess
0N/A++
0N/Aif true then STOP else SKIP
0N/A----------
0N/Aif true then STOP else SKIP
0N/A
0N/A--------------------
0N/A
0N/Aif false then STOP else SKIP
0N/AProcess
0N/A++
0N/Aif false then STOP else SKIP
0N/A----------
0N/Aif false then STOP else SKIP
0N/A
0N/A--------------------
0N/A
0N/Aif x = y then STOP else SKIP
0N/AProcess
0N/A++
0N/Aif x = y then STOP else SKIP
0N/A----------
0N/Aif x = y then STOP else SKIP
0N/A
0N/A--------------------
0N/A
0N/Aif (x = y) then STOP else SKIP
0N/AProcess
0N/A++
0N/Aif x = y then STOP else SKIP
0N/A----------
0N/Aif (x = y) then STOP else SKIP
0N/A
0N/A--------------------
0N/A
0N/A(SKIP \ a)[[b]]
0N/AProcess
0N/A++
0N/A(SKIP \ a)[[b]]
0N/A----------
0N/A(SKIP \ a)[[b]]
0N/A
0N/A--------------------
0N/A
0N/A(SKIP[[a]])\b
0N/AProcess
0N/A++
0N/A(SKIP[[a]])\b
0N/A----------
0N/A(SKIP[[a]])\b
0N/A
0N/A--------------------
0N/A
0N/ASTOP ; a -> SKIP
0N/AProcess
0N/A++
0N/ASTOP ; a -> SKIP
0N/A----------
0N/ASTOP ; a -> SKIP
0N/A
0N/A--------------------
0N/A
0N/Aa -> SKIP ; STOP
0N/AProcess
0N/A++
0N/Aa -> SKIP ; STOP
0N/A----------
0N/Aa -> SKIP ; STOP
0N/A
0N/A--------------------
0N/A
0N/Aa -> (SKIP ; STOP)
0N/AProcess
0N/A++
0N/Aa -> (SKIP ; STOP)
0N/A----------
0N/Aa -> (SKIP ; STOP)
0N/A
0N/A--------------------
0N/A
0N/Aa -> [] v : b -> SKIP
0N/AProcess
0N/A++
0N/Aa -> [] v : b -> SKIP
0N/A----------
0N/Aa -> [] v : b -> SKIP
0N/A
0N/A--------------------
0N/A
0N/A[] v : a -> b -> SKIP
0N/AProcess
0N/A++
0N/A[] v : a -> b -> SKIP
0N/A----------
0N/A[] v : a -> b -> SKIP
0N/A
0N/A--------------------
0N/A
0N/ASTOP [] SKIP |~| STOP
420N/AProcess
0N/A++
0N/ASTOP [] SKIP |~| STOP
0N/A----------
0N/ASTOP [] SKIP |~| STOP
0N/A
0N/A--------------------
0N/A
0N/ASTOP |~| SKIP [] STOP
0N/AProcess
0N/A++
0N/ASTOP |~| SKIP [] STOP
0N/A----------
0N/ASTOP |~| SKIP [] STOP
0N/A
0N/A--------------------
0N/A
0N/ASTOP || SKIP ||| STOP
0N/AProcess
0N/A++
0N/ASTOP || (SKIP ||| STOP)
0N/A----------
0N/ASTOP || (SKIP ||| STOP)
0N/A
0N/A--------------------
0N/A
0N/ASTOP || SKIP ||| STOP
0N/AProcess
0N/A--
0N/ABrackets required!
2629N/A----------
0N/ASTOP || (SKIP ||| STOP)
0N/A
0N/A