From 5d874c52330f03d3657c933e6339614f7499d1d5 Mon Sep 17 00:00:00 2001 From: bjs Date: Thu, 7 Mar 2024 17:15:23 +0000 Subject: [PATCH] (unittests/concretization/test_concretization_unmapped) fix: for ephemeral runs, it's okay if two different runs re-use the same VA --- unittests/tests/concretization/test_generic.c | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/unittests/tests/concretization/test_generic.c b/unittests/tests/concretization/test_generic.c index e0329bd0..3e06fd2f 100644 --- a/unittests/tests/concretization/test_generic.c +++ b/unittests/tests/concretization/test_generic.c @@ -282,11 +282,9 @@ void __test_concretization_unmapped(concretize_type_t conc_type) { u64 xpage = PAGE(x); for (var_idx_t varidx = 0; varidx < ctx.cfg->no_heap_vars; varidx++) { if (varidx != idx_from_varname(&ctx, "x")) { - for (run_idx_t r2 = 0; r2 < ctx.no_runs; r2++) { - u64* v2 = ctx.heap_vars[varidx].values[r2]; - u64 v2page = PAGE(v2); - ASSERT(v2page != xpage, "x (%p) and %s (%p) had same page", x, ctx.heap_vars[varidx].name, v2); - } + u64* v2 = ctx.heap_vars[varidx].values[r]; + u64 v2page = PAGE(v2); + ASSERT(v2page != xpage, "x (%p) and %s (%p) had same page", x, ctx.heap_vars[varidx].name, v2); } } }