From d76b8af83d0e000762d949be917cb5afc4d0293d Mon Sep 17 00:00:00 2001
From: Kristine Dosvik <krdosvik@silabs.com>
Date: Thu, 14 Dec 2023 10:10:22 +0100
Subject: [PATCH] Update cv32e40x-dv hash

Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
---
 bin/clonetb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/clonetb b/bin/clonetb
index 63157fc7ea..64301fc2e2 100755
--- a/bin/clonetb
+++ b/bin/clonetb
@@ -81,7 +81,7 @@ clone() {
 clone_cv32e40x() {
   CV_CORE=cv32e40x
   VERIF_ENV_REPO=https://github.com/openhwgroup/cv32e40x-dv.git
-  VERIF_ENV_REF=be17b8902002f91803abde4bfb8caa91088575e1
+  VERIF_ENV_REF=1ceaede5f4c0da6f1d34f4f4f7d7f3bbcdbe0b4a
   clone
 
   ignore_cloned_directory