Mercurial > projects > ldc
view tests/mini/terms.d @ 530:d30c40f1128d
Make class invariants work.
author | Christian Kamm <kamm incasoftware de> |
---|---|
date | Thu, 21 Aug 2008 15:19:45 +0200 |
parents | 1bb99290e03a |
children |
line wrap: on
line source
module terms; void f() { int i = 42; if (i > 25) return; if (i < 25) { return; } if (i > 100) return; else return; if (i < 1000) { return; } else { return; } } void main() { int i = 42; if (i > 25) return; if (i < 25) { return; } if (i > 100) return; else return; if (i < 1000) { return; } else { return; } }