Mercurial > projects > dstress
view run/invariant_27.d @ 1623:04022926a4d5
Fix dstress.run.b.bug_cod1_2528_C as reported by Don Clugston
Quoting Don's words from Ticket #8:
Fails because it returns 3 instead of 0.
The DStress test case is incorrect. The arrray literal is an int, so
it's 4 bytes. Casting it to void[] should give a length of 4 -- and
that's exactly what it does. Should be "return x.length - 4;".
author | Leandro Lucarella <llucax@gmail.com> |
---|---|
date | Fri, 05 Nov 2010 10:10:51 -0300 |
parents | ec5e144583ea |
children |
line wrap: on
line source
// $HeadURL$ // $Date$ // $Author$ // __DSTRESS_TORTURE_BLOCK__ -release module dstress.run.invariant_27; int status; int inv; class MyClass{ this(){ } public static void check(){ status++; } private void middle(){ check(); } invariant(){ middle(); inv++; } } int main(){ MyClass o; assert(status==0); assert(inv==0); o=new MyClass(); assert(status==1); assert(inv==1); o.check(); assert(status==2); assert(inv==1); MyClass.check(); assert(status==3); assert(inv==1); return 0; }