On 01/15/2014 08:31 PM, Timon Gehr wrote:
it doesn't work for basic type or arrays wih ufcs.It is this bug: https://d.puremagic.com/issues/show_bug.cgi?id=8062
Also, this enhancement: https://d.puremagic.com/issues/show_bug.cgi?id=9786
On 01/15/2014 08:31 PM, Timon Gehr wrote:
it doesn't work for basic type or arrays wih ufcs.It is this bug: https://d.puremagic.com/issues/show_bug.cgi?id=8062
Also, this enhancement: https://d.puremagic.com/issues/show_bug.cgi?id=9786