Skip to content

GitLab

Closed
Created by Pablo Laciana@placianaOwner

property building no error transition

P = (a->b->P) + {c}.

property ||Q = P.

Q should have error transition labelled "c"