Commit 8627c400 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain

more of the Qu test, but tooooo slow

parent 0eb4699d
......@@ -143,12 +143,24 @@ test(
]
) :-
command(load('library:examples/cell_cycle/Qu_et_al_2003.bc')),
command(add_ctl('AG'(not('CycB-CDK~{p1}')->checkpoint('C25~{p1,p2}','CycB-CDK~{p1}')))),
command(add_ctl(reachable('CycB'))),
command(add_ctl(reachable('CycB-CDK~{p1}'))),
command(add_ctl(reachable('CycB-CDK~{p1,p2}'))),
command(add_ctl(reachable('APC'))),
command(add_ctl(reachable('C25'))),
command(add_ctl(reachable('C25~{p1}'))),
command(add_ctl(reachable('C25~{p1,p2}'))),
command(add_ctl(oscil('C25~{p1,p2}'))),
command(add_ctl(reachable('Wee1'))),
command(add_ctl(reachable('Wee1~{p1}'))),
command(add_ctl(reachable('CKI'))),
command(add_ctl(reachable('CKI-CycB-CDK~{p1}'))),
command(add_ctl(reachable('(CKI-CycB-CDK~{p1})~{p2}'))),
command(add_ctl('AG'(not('APC')->checkpoint('CycB-CDK~{p1}','APC')))),
command(add_ctl('AG'(not('C25~{p1,p2}')->checkpoint('C25~{p1}','C25~{p1,p2}')))),
command(add_ctl('AG'(not('Wee1~{p1}')->checkpoint('Wee1','Wee1~{p1}')))),
command(add_ctl('AG'(not('(CKI-CycB-CDK~{p1})~{p2}')->checkpoint('CKI-CycB-CDK~{p1}','(CKI-CycB-CDK~{p1})~{p2}')))),
command(add_ctl('AG'(not('CycB-CDK~{p1}')->checkpoint('C25~{p1,p2}','CycB-CDK~{p1}')))),
findall(Formula, item([kind: ctl_spec, item: Formula]), Specs),
join_op('/\\', Specs, Spec),
once(
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment