diff options
Diffstat (limited to 'tests/tpm_lite/tpmtest_redefine_unowned.c')
-rw-r--r-- | tests/tpm_lite/tpmtest_redefine_unowned.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/tpm_lite/tpmtest_redefine_unowned.c b/tests/tpm_lite/tpmtest_redefine_unowned.c index 522d999f..0f89870d 100644 --- a/tests/tpm_lite/tpmtest_redefine_unowned.c +++ b/tests/tpm_lite/tpmtest_redefine_unowned.c @@ -11,6 +11,7 @@ #include <stdlib.h> #include "host_common.h" +#include "test_common.h" #include "tlcl.h" #include "tlcl_tests.h" @@ -23,7 +24,7 @@ int main(int argc, char** argv) { TPM_CHECK(TlclSelfTestFull()); TPM_CHECK(TlclAssertPhysicalPresence()); - VbAssert(!TlclIsOwned()); + TEST_FALSE(TlclIsOwned(), "TlclIsOwned should return false"); /* Ensures spaces exist. */ TPM_CHECK(TlclRead(INDEX0, (uint8_t*) &x, sizeof(x))); |