Closed GoogleCodeExporter closed 9 years ago
Guard expressions in NDDL are not handled correctly, so guards aren't being
marked.
Javier has volunteered to fix.
Original comment by miata...@gmail.com
on 4 May 2010 at 4:36
Original comment by javier.barreiro@gmail.com
on 22 Nov 2010 at 10:29
Original comment by javier.barreiro@gmail.com
on 17 Aug 2011 at 8:22
Original comment by javier.barreiro@gmail.com
on 30 May 2012 at 5:26
Test committed in r6752. Seems to be passing. Closing as NoRepro.
Original comment by miata...@gmail.com
on 22 Sep 2014 at 9:18
Original issue reported on code.google.com by
javier.barreiro@gmail.com
on 14 Apr 2010 at 5:29