VerifyDTAPN

Code review comment for lp:~verifydtapn-contributers/verifydtapn/NoLivenessGCD

  1. NoLivenessGCD
  2. Merge into trunk
Revision history for this message
Peter Gjøl Jensen (peter-gjoel) wrote :

> Why did this error message was removed?
>
> "The combination of TimeDarts, Deadlock proposition and EG or AF queries is
> currently not supported"

I was to fast on the push, it has been re-added.

« Back to merge proposal