Project

General

Profile

Revision 6c3793cb

View differences:

benchmarks/aconjunctive_mu/gen.ml
526 526
    ; early_init "q" n
527 527
    ; ag (conjoin [ NOT (const_and (AP "p") (AP "q"))
528 528
                  ; NOT (const_and (AP "q") (AP "r"))
529
                  ; NOT (const_imp (AP "q") (early_c "q" n))
529
                  ; const_imp (AP "q") (early_c "q" n)
530 530
                  ])
531 531
    ; ag (const_and (af (AP "b")) (const_imp (AP "b")
532 532
                                     (conjoin [ diamond "p"

Also available in: Unified diff