diff options
| author | Ladar Levison <ladar@lavabit.com> | 2018-12-04 06:34:34 +0300 |
|---|---|---|
| committer | Ladar Levison <ladar@lavabit.com> | 2018-12-04 06:34:34 +0300 |
| commit | a04b9fc5d38f2b427ff184849b33e7a5679d8c4d (patch) | |
| tree | 231501a2bb7b86acb753a5c80f033042b1a30411 /check | |
| parent | bbcd542866cc96beeeb9879c459025377aff9d04 (diff) | |
Check whether secure memory blocksize is greater than 0.
Diffstat (limited to 'check')
| -rw-r--r-- | check/magma/core/core_check.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/check/magma/core/core_check.c b/check/magma/core/core_check.c index 1ebe0bcb..5df1118c 100644 --- a/check/magma/core/core_check.c +++ b/check/magma/core/core_check.c @@ -794,13 +794,14 @@ START_TEST (check_secmem) { } } + #ifdef MAGMA_CHECK_H log_test("CORE / MEMORY / SECURE ADDRESS RANGE / SINGLE THREADED:", - !errmsg ? (status() && magma.secure.memory.enable && (magma.secure.memory.length / 1024) + !errmsg ? (status() && magma.secure.memory.enable && ((magma.secure.memory.length / 1024) > 0) ? errmsg : NULLER("SKIPPED")) : errmsg); #else log_test("CORE / MEMORY / SECURE ADDRESS RANGE / SINGLE THREADED:", - !errmsg ? (status() && (CORE_SECURE_MEMORY_LENGTH / 1024) + !errmsg ? (status() && ((CORE_SECURE_MEMORY_LENGTH / 1024) > 0) ? errmsg : NULLER("SKIPPED")) : errmsg); #endif ck_assert_msg(!errmsg, st_char_get(errmsg)); |