[sw rv_timer test] Minor fix and updates
- Fixes `kDeadline` value to correctly reflect 10ms (instead of
65.536ms)
- Adds another check at the end of the test to ensure the timer reads
an expected time value that is within a safe bound.
Signed-off-by: Srikrishna Iyer <sriyer@google.com>
diff --git a/sw/device/tests/dif/dif_rv_timer_sanitytest.c b/sw/device/tests/dif/dif_rv_timer_sanitytest.c
index 9bbe94a..1b0fc88 100644
--- a/sw/device/tests/dif/dif_rv_timer_sanitytest.c
+++ b/sw/device/tests/dif/dif_rv_timer_sanitytest.c
@@ -28,7 +28,7 @@
static const uint32_t kComparator = 0;
static const uint64_t kTickFreqHz = 1000 * 1000; // 1 MHz.
-static const uint64_t kDeadline = 0x10000; // 10 ms.
+static const uint64_t kDeadline = 30000; // 30 ms.
static void test_handler(void) {
CHECK(!irq_fired, "Entered IRQ handler, but `irq_fired` was not false!");