/test.data/new_parser/compare/stories.test
Unknown | 35 lines | 33 code | 2 blank | 0 comment | 0 complexity | 8294111bd379d3846652ac65e7e5c2c0 MD5 | raw file
Possible License(s): LGPL-3.0, Apache-2.0
1'time' E(r?),R(l,r)->E(r!0),R(l!0,r) 2'time2' E(r!0),R(l!0,r),E(r!1),R(l!1,r)->E(r!0),E(r!1),R(l!0,r!2),R(l!1,r!2) 3'namenamename' E(r!0),E(r!1),R(l!0,r!2),R(l!1,r!2)->E(r!0),R(l!0,r),E(r!1),R(l!1,r) 4'space' E(r!0),E(r!0),R(l!1,r),R(l!1,r)->E(r!0),E(r!1),R(l!0,r!2),R(l!1,r!2) 5'tab' E(r!_),R(l,r)->E(r!0),R(l!0,r) 6'rule' E(r),R(l,r)->E(r!0),R(l,r!0) 7'aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa' E(r~u),R(r~p)->E(r!0),R(r!0) 8'TABline' E(x!0),R(x!0)->E(x~p),R(a,b,c,d,e,x) 9'q Ref1' L(p!0,q),R(a,b!0)->L(p!0,q!1),R(a!1,b!0) 10'q Ref1_op' L(p!0,q!1),R(a!1,b!0)->L(p!0,q),R(a,b!0) 11'q Ref2' L(l!0,q),R(a,b!0)->L(l!0,q!1),R(a!1,b!0) 12'q Ref2_op' L(l!0,q!1),R(a!1,b!0)->L(l!0,q),R(a,b!0) 13'MEK_Scaf#1' MEK(S1~u,S2,s),Scaf(m)->MEK(S1~u,S2,s!0),Scaf(m!0) 14'MEK_Scaf#2' MEK(S1,S2~u,s),Scaf(m)->MEK(S1,S2~u,s!0),Scaf(m!0) 15'ErbB1_ErbB4' ErbB1(C,CR,L~ext,N),ErbB4(C,CR,L~ext!_,N)->ErbB1(C,CR!0,L~ext,N),ErbB4(C,CR!0,L~ext!_,N) 16'ErbB1_ErbB4_op' ErbB1(C,CR!0,L~ext,N),ErbB4(C,CR!0,L~ext!_,N)->ErbB1(C,CR,L~ext,N),ErbB4(C,CR,L~ext!_,N) 17'MEK_ERK@185' ERK(T185~u),MEK(S218~p,S222~p,s)->ERK(T185~u!0),MEK(S218~p,S222~p,s!0) 18'MEK_ERK@185_op' ERK(T185~u!0),MEK(S218~p,S222~p,s!0)->ERK(T185~u),MEK(S218~p,S222~p,s) 19'ERK@185' ERK(T185~u!0),MEK(S218~p,S222~p,s!0)->ERK(T185~p!0),MEK(S218~p,S222~p,s!0) 20'MEK_ERK@187' ERK(Y187~u),MEK(S218~p,S222~p,s)->ERK(Y187~u!0),MEK(S218~p,S222~p,s!0) 21'MEK_ERK@187_op' ERK(Y187~u!0),MEK(S218~p,S222~p,s!0)->ERK(Y187~u),MEK(S218~p,S222~p,s) 22'ERK@187' ERK(Y187~u!0),MEK(S218~p,S222~p,s!0)->ERK(Y187~p!0),MEK(S218~p,S222~p,s!0) 23 24%init: 5000 * (E(r)) 25%init: 1 * (ERK(Y187!0), MEK(S218~p, S222~p, s!0)) 26%init: 5000 * (R(l, r)) 27%init: 100 * (a(x)) 28%init: 100 * (b(x)) 29%init: 1000 * (d(x, y)) 30 31%story: 'MEK_ERK@187_op' 32%story: 'TABline' 33%story: 'aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa' 34%story: 'time' 35%story: 'time2'