Re: How do you test pre-/post-conditions and invariants?

[Magnus Lie Hetland]

On 2011-02-25 19:18:40 +0100, Jesse Phillips said:

There has been talk of a std.unittest that would help with this, but for now:

unittest {
    try {
         callMeWrong(wrong);
         assert(0);
    catch(AssertError e) {
    }
}

}

Ah. I used something like...

auto thrown = 0;
try foo() catch (AssertError) thrown++;
...
assert(thrown == k);

I guess I could wrap it up a bit, or something.

--
Magnus Lie Hetland
http://hetland.org