summaryrefslogtreecommitdiff
path: root/cesar/lib/test/blk/src/test_blk.c
diff options
context:
space:
mode:
Diffstat (limited to 'cesar/lib/test/blk/src/test_blk.c')
-rw-r--r--cesar/lib/test/blk/src/test_blk.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/cesar/lib/test/blk/src/test_blk.c b/cesar/lib/test/blk/src/test_blk.c
index 21bd5bef6d..debbee0542 100644
--- a/cesar/lib/test/blk/src/test_blk.c
+++ b/cesar/lib/test/blk/src/test_blk.c
@@ -369,12 +369,16 @@ blk_slack_test_case (test_t t)
{
blk_t *b[CONFIG_BLK_NB - CONFIG_BLK_SLACK];
uint i;
+ test_fail_unless (blk_slack_total () == CONFIG_BLK_NB
+ - CONFIG_BLK_SLACK);
for (i = 0; i < CONFIG_BLK_NB - CONFIG_BLK_SLACK; i++)
{
test_fail_unless (blk_slack ());
b[i] = blk_alloc ();
}
test_fail_unless (!blk_slack ());
+ test_fail_unless (blk_slack_total () == CONFIG_BLK_NB
+ - CONFIG_BLK_SLACK);
blk_release (b[CONFIG_BLK_NB - CONFIG_BLK_SLACK - 1]);
test_fail_unless (blk_slack ());