-
Jacques-Henri Jourdan authored
FIXME : we need to be able to end a lifetime when an invariant is still open.
Jacques-Henri Jourdan authoredFIXME : we need to be able to end a lifetime when an invariant is still open.
FIXME : we need to be able to end a lifetime when an invariant is still open.
FIXME : we need to be able to end a lifetime when an invariant is still open.