Mercurial > projects > dstress
view run/invariant_01.d @ 59:96cadd0da1ae
added invariant tests
author | thomask |
---|---|
date | Fri, 22 Oct 2004 20:29:58 +0000 |
parents | |
children | f87ba6507260 |
line wrap: on
line source
module dstress.run.invariant_01; class MyClass{ int test; this(){} invariant{ assert(test > 1); } } int main(){ int success; try{ MyClass c = new MyClass(); }catch{ success++; } assert(success==1); return 0; }