Skip to content

Commit

Permalink
expect from env variable
Browse files Browse the repository at this point in the history
  • Loading branch information
lathuili committed Jul 3, 2023
1 parent 0259a5f commit f1a4cce
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions vr_main.c
Original file line number Diff line number Diff line change
Expand Up @@ -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");
// }
Expand Down

0 comments on commit f1a4cce

Please sign in to comment.