From f1a4cce7994c051fefda0d2bb016e2c66d472388 Mon Sep 17 00:00:00 2001
From: BRUNO LATHUILIERE <bruno.lathuiliere@edf.fr>
Date: Mon, 3 Jul 2023 19:31:25 +0200
Subject: [PATCH] expect from env variable

---
 vr_main.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/vr_main.c b/vr_main.c
index f391a17..bcb1a29 100644
--- a/vr_main.c
+++ b/vr_main.c
@@ -1650,6 +1650,8 @@ static void vr_post_clo_init(void)
    vr_env_clo("VERROU_OUTPUT_TRACE_REP","--output-trace-rep");
    vr_env_clo("VERROU_SEED","--vr-seed");
 
+   vr_env_clo("VERROU_EXPECT_CLR","--expect-clr");
+
    //   if (vr.genAbove == NULL) {
    //     vr.genAbove = VG_(strdup)("vr.post_clo_init.gen-above", "main");
    //   }