|
|
@ -6,34 +6,10 @@ using namespace dbc; |
|
|
|
TEST_CASE("basic feature tests", "[utils]") { |
|
|
|
TEST_CASE("basic feature tests", "[utils]") { |
|
|
|
log("Logging a message."); |
|
|
|
log("Logging a message."); |
|
|
|
|
|
|
|
|
|
|
|
try { |
|
|
|
|
|
|
|
sentinel("This shouldn't happen."); |
|
|
|
|
|
|
|
} catch(SentinelError) { |
|
|
|
|
|
|
|
log("Sentinel happened."); |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
pre("confirm positive cases work", 1 == 1); |
|
|
|
pre("confirm positive cases work", 1 == 1); |
|
|
|
pre("confirm positive lambda", [&]{ return 1 == 1;}); |
|
|
|
pre("confirm positive lambda", [&]{ return 1 == 1;}); |
|
|
|
post("confirm positive post", 1 == 1); |
|
|
|
post("confirm positive post", 1 == 1); |
|
|
|
post("confirm postitive post with lamdba", [&]{ return 1 == 1;}); |
|
|
|
post("confirm postitive post with lamdba", [&]{ return 1 == 1;}); |
|
|
|
|
|
|
|
|
|
|
|
check(1 == 1, "one equals 1"); |
|
|
|
check(1 == 1, "one equals 1"); |
|
|
|
|
|
|
|
|
|
|
|
try { |
|
|
|
|
|
|
|
check(1 == 2, "this should fail"); |
|
|
|
|
|
|
|
} catch(CheckError err) { |
|
|
|
|
|
|
|
log("check fail worked"); |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
try { |
|
|
|
|
|
|
|
pre("failing pre", 1 == 3); |
|
|
|
|
|
|
|
} catch(PreCondError err) { |
|
|
|
|
|
|
|
log("pre fail worked"); |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
try { |
|
|
|
|
|
|
|
post("failing post", 1 == 4); |
|
|
|
|
|
|
|
} catch(PostCondError err) { |
|
|
|
|
|
|
|
log("post faile worked"); |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
} |
|
|
|