From d9efc61b664c06c057cbfb588e6ca4f32a1eb422 Mon Sep 17 00:00:00 2001
From: Ryan Fleury <ryan.j.fleury@gmail.com>
Date: Sat, 13 Jun 2026 11:21:42 -0700
Subject: [PATCH] just dump file name in raddbg state dump; commit to
 exemplars; keep exemplars more context-free

---
 .../exemplar_windows                          | 200 +++++++++---------
 .../exemplar_windows                          | 194 ++++++++---------
 .../exemplar_windows                          | 196 ++++++++---------
 src/raddbg/raddbg_core.c                      |   4 +-
 4 files changed, 297 insertions(+), 297 deletions(-)

diff --git a/data/test_exemplars/mule_main_9ff1e58f_control_flow_step_regressions/exemplar_windows b/data/test_exemplars/mule_main_9ff1e58f_control_flow_step_regressions/exemplar_windows
index b7a9e2c2..9d339b2b 100644
--- a/data/test_exemplars/mule_main_9ff1e58f_control_flow_step_regressions/exemplar_windows
+++ b/data/test_exemplars/mule_main_9ff1e58f_control_flow_step_regressions/exemplar_windows
@@ -1,7 +1,7 @@
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2366
   column_num: 1
   voff_range:
@@ -16,7 +16,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2368
   column_num: 1
   voff_range:
@@ -31,7 +31,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2369
   column_num: 1
   voff_range:
@@ -46,7 +46,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2372
   column_num: 1
   voff_range:
@@ -61,7 +61,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2373
   column_num: 1
   voff_range:
@@ -76,7 +76,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2378
   column_num: 1
   voff_range:
@@ -91,7 +91,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2379
   column_num: 1
   voff_range:
@@ -106,7 +106,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2383
   column_num: 1
   voff_range:
@@ -121,7 +121,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2385
   column_num: 1
   voff_range:
@@ -136,7 +136,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2390
   column_num: 1
   voff_range:
@@ -151,7 +151,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2391
   column_num: 1
   voff_range:
@@ -166,7 +166,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2393
   column_num: 1
   voff_range:
@@ -181,7 +181,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2394
   column_num: 1
   voff_range:
@@ -196,7 +196,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2398
   column_num: 1
   voff_range:
@@ -211,7 +211,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2399
   column_num: 1
   voff_range:
@@ -226,7 +226,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2400
   column_num: 1
   voff_range:
@@ -241,7 +241,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2401
   column_num: 1
   voff_range:
@@ -256,7 +256,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2405
   column_num: 1
   voff_range:
@@ -271,7 +271,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2407
   column_num: 1
   voff_range:
@@ -286,7 +286,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2419
   column_num: 1
   voff_range:
@@ -301,7 +301,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2420
   column_num: 1
   voff_range:
@@ -316,7 +316,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2421
   column_num: 1
   voff_range:
@@ -331,7 +331,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2423
   column_num: 1
   voff_range:
@@ -346,7 +346,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2429
   column_num: 1
   voff_range:
@@ -361,7 +361,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2431
   column_num: 1
   voff_range:
@@ -376,7 +376,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2446
   column_num: 1
   voff_range:
@@ -391,7 +391,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2447
   column_num: 1
   voff_range:
@@ -406,7 +406,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2448
   column_num: 1
   voff_range:
@@ -421,7 +421,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2449
   column_num: 1
   voff_range:
@@ -436,7 +436,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2452
   column_num: 1
   voff_range:
@@ -451,7 +451,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2461
   column_num: 1
   voff_range:
@@ -466,7 +466,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2462
   column_num: 1
   voff_range:
@@ -481,7 +481,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2463
   column_num: 1
   voff_range:
@@ -496,7 +496,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2464
   column_num: 1
   voff_range:
@@ -511,7 +511,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2462
   column_num: 1
   voff_range:
@@ -526,7 +526,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2463
   column_num: 1
   voff_range:
@@ -541,7 +541,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2464
   column_num: 1
   voff_range:
@@ -556,7 +556,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2462
   column_num: 1
   voff_range:
@@ -571,7 +571,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2463
   column_num: 1
   voff_range:
@@ -586,7 +586,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2464
   column_num: 1
   voff_range:
@@ -601,7 +601,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2462
   column_num: 1
   voff_range:
@@ -616,7 +616,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2463
   column_num: 1
   voff_range:
@@ -631,7 +631,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2464
   column_num: 1
   voff_range:
@@ -646,7 +646,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2462
   column_num: 1
   voff_range:
@@ -661,7 +661,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2463
   column_num: 1
   voff_range:
@@ -676,7 +676,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2464
   column_num: 1
   voff_range:
@@ -691,7 +691,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2462
   column_num: 1
   voff_range:
@@ -706,7 +706,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2463
   column_num: 1
   voff_range:
@@ -721,7 +721,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2464
   column_num: 1
   voff_range:
@@ -736,7 +736,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2462
   column_num: 1
   voff_range:
@@ -751,7 +751,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2463
   column_num: 1
   voff_range:
@@ -766,7 +766,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2464
   column_num: 1
   voff_range:
@@ -781,7 +781,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2462
   column_num: 1
   voff_range:
@@ -796,7 +796,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2463
   column_num: 1
   voff_range:
@@ -811,7 +811,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2464
   column_num: 1
   voff_range:
@@ -826,7 +826,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2462
   column_num: 1
   voff_range:
@@ -841,7 +841,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2463
   column_num: 1
   voff_range:
@@ -856,7 +856,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2464
   column_num: 1
   voff_range:
@@ -871,7 +871,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2462
   column_num: 1
   voff_range:
@@ -886,7 +886,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2463
   column_num: 1
   voff_range:
@@ -901,7 +901,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2464
   column_num: 1
   voff_range:
@@ -916,7 +916,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2462
   column_num: 1
   voff_range:
@@ -931,7 +931,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2468
   column_num: 1
   voff_range:
@@ -946,7 +946,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2469
   column_num: 1
   voff_range:
@@ -961,7 +961,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2471
   column_num: 1
   voff_range:
@@ -976,7 +976,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2472
   column_num: 1
   voff_range:
@@ -991,7 +991,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2469
   column_num: 1
   voff_range:
@@ -1006,7 +1006,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2471
   column_num: 1
   voff_range:
@@ -1021,7 +1021,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2472
   column_num: 1
   voff_range:
@@ -1036,7 +1036,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2469
   column_num: 1
   voff_range:
@@ -1051,7 +1051,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2471
   column_num: 1
   voff_range:
@@ -1066,7 +1066,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2472
   column_num: 1
   voff_range:
@@ -1081,7 +1081,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2469
   column_num: 1
   voff_range:
@@ -1096,7 +1096,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2471
   column_num: 1
   voff_range:
@@ -1111,7 +1111,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2472
   column_num: 1
   voff_range:
@@ -1126,7 +1126,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2469
   column_num: 1
   voff_range:
@@ -1141,7 +1141,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2471
   column_num: 1
   voff_range:
@@ -1156,7 +1156,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2472
   column_num: 1
   voff_range:
@@ -1171,7 +1171,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2469
   column_num: 1
   voff_range:
@@ -1186,7 +1186,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2471
   column_num: 1
   voff_range:
@@ -1201,7 +1201,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2472
   column_num: 1
   voff_range:
@@ -1216,7 +1216,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2469
   column_num: 1
   voff_range:
@@ -1231,7 +1231,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2471
   column_num: 1
   voff_range:
@@ -1246,7 +1246,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2472
   column_num: 1
   voff_range:
@@ -1261,7 +1261,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2469
   column_num: 1
   voff_range:
@@ -1276,7 +1276,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2471
   column_num: 1
   voff_range:
@@ -1291,7 +1291,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2472
   column_num: 1
   voff_range:
@@ -1306,7 +1306,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2469
   column_num: 1
   voff_range:
@@ -1321,7 +1321,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2471
   column_num: 1
   voff_range:
@@ -1336,7 +1336,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2472
   column_num: 1
   voff_range:
@@ -1351,7 +1351,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2469
   column_num: 1
   voff_range:
@@ -1366,7 +1366,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2471
   column_num: 1
   voff_range:
@@ -1381,7 +1381,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2472
   column_num: 1
   voff_range:
@@ -1396,7 +1396,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2469
   column_num: 1
   voff_range:
@@ -1411,7 +1411,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2476
   column_num: 1
   voff_range:
@@ -1426,7 +1426,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2477
   column_num: 1
   voff_range:
@@ -1441,7 +1441,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2478
   column_num: 1
   voff_range:
@@ -1456,7 +1456,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2477
   column_num: 1
   voff_range:
@@ -1471,7 +1471,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2478
   column_num: 1
   voff_range:
@@ -1486,7 +1486,7 @@ ip_voff_symbol: control_flow_stepping_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 2477
   column_num: 1
   voff_range:
diff --git a/data/test_exemplars/mule_main_9ff1e58f_step_regressions_0/exemplar_windows b/data/test_exemplars/mule_main_9ff1e58f_step_regressions_0/exemplar_windows
index e4c74f42..619c87e5 100644
--- a/data/test_exemplars/mule_main_9ff1e58f_step_regressions_0/exemplar_windows
+++ b/data/test_exemplars/mule_main_9ff1e58f_step_regressions_0/exemplar_windows
@@ -1,7 +1,7 @@
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3193
   column_num: 1
   voff_range:
@@ -16,7 +16,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3194
   column_num: 1
   voff_range:
@@ -31,7 +31,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 245
   column_num: 1
   voff_range:
@@ -46,7 +46,7 @@ ip_voff_symbol: raddbg_thread_id__impl
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 246
   column_num: 1
   voff_range:
@@ -61,7 +61,7 @@ ip_voff_symbol: raddbg_thread_id__impl
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 246
   column_num: 1
   voff_range:
@@ -76,7 +76,7 @@ ip_voff_symbol: raddbg_thread_id__impl
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 247
   column_num: 1
   voff_range:
@@ -91,7 +91,7 @@ ip_voff_symbol: raddbg_thread_id__impl
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 248
   column_num: 1
   voff_range:
@@ -106,7 +106,7 @@ ip_voff_symbol: raddbg_thread_id__impl
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3194
   column_num: 1
   voff_range:
@@ -121,7 +121,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3195
   column_num: 1
   voff_range:
@@ -136,7 +136,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 245
   column_num: 1
   voff_range:
@@ -151,7 +151,7 @@ ip_voff_symbol: raddbg_thread_id__impl
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 246
   column_num: 1
   voff_range:
@@ -166,7 +166,7 @@ ip_voff_symbol: raddbg_thread_id__impl
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 246
   column_num: 1
   voff_range:
@@ -181,7 +181,7 @@ ip_voff_symbol: raddbg_thread_id__impl
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 247
   column_num: 1
   voff_range:
@@ -196,7 +196,7 @@ ip_voff_symbol: raddbg_thread_id__impl
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 248
   column_num: 1
   voff_range:
@@ -211,7 +211,7 @@ ip_voff_symbol: raddbg_thread_id__impl
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3195
   column_num: 1
   voff_range:
@@ -226,7 +226,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3196
   column_num: 1
   voff_range:
@@ -241,7 +241,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 239
   column_num: 1
   voff_range:
@@ -256,7 +256,7 @@ ip_voff_symbol: raddbg_is_attached__impl
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 240
   column_num: 1
   voff_range:
@@ -271,7 +271,7 @@ ip_voff_symbol: raddbg_is_attached__impl
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 241
   column_num: 1
   voff_range:
@@ -286,7 +286,7 @@ ip_voff_symbol: raddbg_is_attached__impl
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3196
   column_num: 1
   voff_range:
@@ -301,7 +301,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3198
   column_num: 1
   voff_range:
@@ -316,7 +316,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3201
   column_num: 1
   voff_range:
@@ -331,7 +331,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 39
   column_num: 1
   voff_range:
@@ -346,7 +346,7 @@ ip_voff_symbol: mule_init
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 40
   column_num: 1
   voff_range:
@@ -361,7 +361,7 @@ ip_voff_symbol: mule_init
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 40
   column_num: 1
   voff_range:
@@ -376,7 +376,7 @@ ip_voff_symbol: mule_init
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 41
   column_num: 1
   voff_range:
@@ -391,7 +391,7 @@ ip_voff_symbol: mule_init
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3203
   column_num: 1
   voff_range:
@@ -406,7 +406,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 424
   column_num: 1
   voff_range:
@@ -421,7 +421,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 425
   column_num: 1
   voff_range:
@@ -436,7 +436,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 426
   column_num: 1
   voff_range:
@@ -451,7 +451,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 428
   column_num: 1
   voff_range:
@@ -466,7 +466,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 429
   column_num: 1
   voff_range:
@@ -481,7 +481,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 431
   column_num: 1
   voff_range:
@@ -496,7 +496,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 432
   column_num: 1
   voff_range:
@@ -511,7 +511,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 434
   column_num: 1
   voff_range:
@@ -526,7 +526,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 435
   column_num: 1
   voff_range:
@@ -541,7 +541,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 440
   column_num: 1
   voff_range:
@@ -556,7 +556,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 445
   column_num: 1
   voff_range:
@@ -571,7 +571,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 451
   column_num: 1
   voff_range:
@@ -586,7 +586,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 452
   column_num: 1
   voff_range:
@@ -601,7 +601,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 454
   column_num: 1
   voff_range:
@@ -616,7 +616,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 455
   column_num: 1
   voff_range:
@@ -631,7 +631,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 456
   column_num: 1
   voff_range:
@@ -646,7 +646,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 458
   column_num: 1
   voff_range:
@@ -661,7 +661,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 460
   column_num: 1
   voff_range:
@@ -676,7 +676,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 461
   column_num: 1
   voff_range:
@@ -691,7 +691,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 462
   column_num: 1
   voff_range:
@@ -706,7 +706,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 467
   column_num: 1
   voff_range:
@@ -721,7 +721,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 468
   column_num: 1
   voff_range:
@@ -736,7 +736,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 469
   column_num: 1
   voff_range:
@@ -751,7 +751,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 470
   column_num: 1
   voff_range:
@@ -766,7 +766,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 471
   column_num: 1
   voff_range:
@@ -781,7 +781,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 472
   column_num: 1
   voff_range:
@@ -796,7 +796,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 473
   column_num: 1
   voff_range:
@@ -811,7 +811,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 474
   column_num: 1
   voff_range:
@@ -826,7 +826,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 475
   column_num: 1
   voff_range:
@@ -841,7 +841,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 477
   column_num: 1
   voff_range:
@@ -856,7 +856,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 481
   column_num: 1
   voff_range:
@@ -871,7 +871,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 482
   column_num: 1
   voff_range:
@@ -886,7 +886,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 483
   column_num: 1
   voff_range:
@@ -901,7 +901,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 484
   column_num: 1
   voff_range:
@@ -916,7 +916,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 485
   column_num: 1
   voff_range:
@@ -931,7 +931,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 486
   column_num: 1
   voff_range:
@@ -946,7 +946,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 490
   column_num: 1
   voff_range:
@@ -961,7 +961,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 491
   column_num: 1
   voff_range:
@@ -976,7 +976,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 494
   column_num: 1
   voff_range:
@@ -991,7 +991,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 497
   column_num: 1
   voff_range:
@@ -1006,7 +1006,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 498
   column_num: 1
   voff_range:
@@ -1021,7 +1021,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 499
   column_num: 1
   voff_range:
@@ -1036,7 +1036,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 500
   column_num: 1
   voff_range:
@@ -1051,7 +1051,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 501
   column_num: 1
   voff_range:
@@ -1066,7 +1066,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 504
   column_num: 1
   voff_range:
@@ -1081,7 +1081,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 512
   column_num: 1
   voff_range:
@@ -1096,7 +1096,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 514
   column_num: 1
   voff_range:
@@ -1111,7 +1111,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 515
   column_num: 1
   voff_range:
@@ -1126,7 +1126,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 516
   column_num: 1
   voff_range:
@@ -1141,7 +1141,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 517
   column_num: 1
   voff_range:
@@ -1156,7 +1156,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 518
   column_num: 1
   voff_range:
@@ -1171,7 +1171,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 519
   column_num: 1
   voff_range:
@@ -1186,7 +1186,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 520
   column_num: 1
   voff_range:
@@ -1201,7 +1201,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 521
   column_num: 1
   voff_range:
@@ -1216,7 +1216,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 522
   column_num: 1
   voff_range:
@@ -1231,7 +1231,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 525
   column_num: 1
   voff_range:
@@ -1246,7 +1246,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 526
   column_num: 1
   voff_range:
@@ -1261,7 +1261,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 528
   column_num: 1
   voff_range:
@@ -1276,7 +1276,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 530
   column_num: 1
   voff_range:
@@ -1291,7 +1291,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 533
   column_num: 1
   voff_range:
@@ -1306,7 +1306,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 534
   column_num: 1
   voff_range:
@@ -1321,7 +1321,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 535
   column_num: 1
   voff_range:
@@ -1336,7 +1336,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 536
   column_num: 1
   voff_range:
@@ -1351,7 +1351,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 537
   column_num: 1
   voff_range:
@@ -1366,7 +1366,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 542
   column_num: 1
   voff_range:
@@ -1381,7 +1381,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 543
   column_num: 1
   voff_range:
@@ -1396,7 +1396,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 544
   column_num: 1
   voff_range:
@@ -1411,7 +1411,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 545
   column_num: 1
   voff_range:
@@ -1426,7 +1426,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 549
   column_num: 1
   voff_range:
@@ -1441,7 +1441,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 551
   column_num: 1
   voff_range:
diff --git a/data/test_exemplars/mule_main_9ff1e58f_step_regressions_1/exemplar_windows b/data/test_exemplars/mule_main_9ff1e58f_step_regressions_1/exemplar_windows
index bc6bde92..5101e487 100644
--- a/data/test_exemplars/mule_main_9ff1e58f_step_regressions_1/exemplar_windows
+++ b/data/test_exemplars/mule_main_9ff1e58f_step_regressions_1/exemplar_windows
@@ -1,7 +1,7 @@
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3193
   column_num: 1
   voff_range:
@@ -16,7 +16,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3194
   column_num: 1
   voff_range:
@@ -31,7 +31,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3195
   column_num: 1
   voff_range:
@@ -46,7 +46,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 245
   column_num: 1
   voff_range:
@@ -61,7 +61,7 @@ ip_voff_symbol: raddbg_thread_id__impl
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 246
   column_num: 1
   voff_range:
@@ -76,7 +76,7 @@ ip_voff_symbol: raddbg_thread_id__impl
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 246
   column_num: 1
   voff_range:
@@ -91,7 +91,7 @@ ip_voff_symbol: raddbg_thread_id__impl
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 247
   column_num: 1
   voff_range:
@@ -106,7 +106,7 @@ ip_voff_symbol: raddbg_thread_id__impl
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 248
   column_num: 1
   voff_range:
@@ -121,7 +121,7 @@ ip_voff_symbol: raddbg_thread_id__impl
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3195
   column_num: 1
   voff_range:
@@ -136,7 +136,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3196
   column_num: 1
   voff_range:
@@ -151,7 +151,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 239
   column_num: 1
   voff_range:
@@ -166,7 +166,7 @@ ip_voff_symbol: raddbg_is_attached__impl
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 240
   column_num: 1
   voff_range:
@@ -181,7 +181,7 @@ ip_voff_symbol: raddbg_is_attached__impl
 lines:
 {
  {
-  file_path: "../../../../src/lib_raddbg_markup/raddbg_markup.h"
+  file_name: "raddbg_markup.h"
   line_num: 241
   column_num: 1
   voff_range:
@@ -196,7 +196,7 @@ ip_voff_symbol: raddbg_is_attached__impl
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3196
   column_num: 1
   voff_range:
@@ -211,7 +211,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3198
   column_num: 1
   voff_range:
@@ -226,7 +226,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3201
   column_num: 1
   voff_range:
@@ -241,7 +241,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 39
   column_num: 1
   voff_range:
@@ -256,7 +256,7 @@ ip_voff_symbol: mule_init
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 40
   column_num: 1
   voff_range:
@@ -271,7 +271,7 @@ ip_voff_symbol: mule_init
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 40
   column_num: 1
   voff_range:
@@ -286,7 +286,7 @@ ip_voff_symbol: mule_init
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 41
   column_num: 1
   voff_range:
@@ -301,7 +301,7 @@ ip_voff_symbol: mule_init
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 3203
   column_num: 1
   voff_range:
@@ -316,7 +316,7 @@ ip_voff_symbol: mule_main
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 424
   column_num: 1
   voff_range:
@@ -331,7 +331,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 425
   column_num: 1
   voff_range:
@@ -346,7 +346,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 426
   column_num: 1
   voff_range:
@@ -361,7 +361,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 428
   column_num: 1
   voff_range:
@@ -376,7 +376,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 429
   column_num: 1
   voff_range:
@@ -391,7 +391,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 431
   column_num: 1
   voff_range:
@@ -406,7 +406,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 432
   column_num: 1
   voff_range:
@@ -421,7 +421,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 434
   column_num: 1
   voff_range:
@@ -436,7 +436,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 435
   column_num: 1
   voff_range:
@@ -451,7 +451,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 440
   column_num: 1
   voff_range:
@@ -466,7 +466,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 445
   column_num: 1
   voff_range:
@@ -481,7 +481,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 451
   column_num: 1
   voff_range:
@@ -496,7 +496,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 452
   column_num: 1
   voff_range:
@@ -511,7 +511,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 454
   column_num: 1
   voff_range:
@@ -526,7 +526,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 455
   column_num: 1
   voff_range:
@@ -541,7 +541,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 456
   column_num: 1
   voff_range:
@@ -556,7 +556,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 458
   column_num: 1
   voff_range:
@@ -571,7 +571,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 460
   column_num: 1
   voff_range:
@@ -586,7 +586,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 461
   column_num: 1
   voff_range:
@@ -601,7 +601,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 462
   column_num: 1
   voff_range:
@@ -616,7 +616,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 467
   column_num: 1
   voff_range:
@@ -631,7 +631,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 468
   column_num: 1
   voff_range:
@@ -646,7 +646,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 469
   column_num: 1
   voff_range:
@@ -661,7 +661,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 470
   column_num: 1
   voff_range:
@@ -676,7 +676,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 471
   column_num: 1
   voff_range:
@@ -691,7 +691,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 472
   column_num: 1
   voff_range:
@@ -706,7 +706,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 473
   column_num: 1
   voff_range:
@@ -721,7 +721,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 474
   column_num: 1
   voff_range:
@@ -736,7 +736,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 475
   column_num: 1
   voff_range:
@@ -751,7 +751,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 477
   column_num: 1
   voff_range:
@@ -766,7 +766,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 481
   column_num: 1
   voff_range:
@@ -781,7 +781,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 482
   column_num: 1
   voff_range:
@@ -796,7 +796,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 483
   column_num: 1
   voff_range:
@@ -811,7 +811,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 484
   column_num: 1
   voff_range:
@@ -826,7 +826,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 485
   column_num: 1
   voff_range:
@@ -841,7 +841,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 486
   column_num: 1
   voff_range:
@@ -856,7 +856,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 490
   column_num: 1
   voff_range:
@@ -871,7 +871,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 491
   column_num: 1
   voff_range:
@@ -886,7 +886,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 494
   column_num: 1
   voff_range:
@@ -901,7 +901,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 497
   column_num: 1
   voff_range:
@@ -916,7 +916,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 498
   column_num: 1
   voff_range:
@@ -931,7 +931,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 499
   column_num: 1
   voff_range:
@@ -946,7 +946,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 500
   column_num: 1
   voff_range:
@@ -961,7 +961,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 501
   column_num: 1
   voff_range:
@@ -976,7 +976,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 504
   column_num: 1
   voff_range:
@@ -991,7 +991,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 512
   column_num: 1
   voff_range:
@@ -1006,7 +1006,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 514
   column_num: 1
   voff_range:
@@ -1021,7 +1021,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 515
   column_num: 1
   voff_range:
@@ -1036,7 +1036,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 516
   column_num: 1
   voff_range:
@@ -1051,7 +1051,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 517
   column_num: 1
   voff_range:
@@ -1066,7 +1066,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 518
   column_num: 1
   voff_range:
@@ -1081,7 +1081,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 519
   column_num: 1
   voff_range:
@@ -1096,7 +1096,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 520
   column_num: 1
   voff_range:
@@ -1111,7 +1111,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 521
   column_num: 1
   voff_range:
@@ -1126,7 +1126,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 522
   column_num: 1
   voff_range:
@@ -1141,7 +1141,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 525
   column_num: 1
   voff_range:
@@ -1156,7 +1156,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 526
   column_num: 1
   voff_range:
@@ -1171,7 +1171,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 528
   column_num: 1
   voff_range:
@@ -1186,7 +1186,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 530
   column_num: 1
   voff_range:
@@ -1201,7 +1201,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 533
   column_num: 1
   voff_range:
@@ -1216,7 +1216,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 534
   column_num: 1
   voff_range:
@@ -1231,7 +1231,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 535
   column_num: 1
   voff_range:
@@ -1246,7 +1246,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 536
   column_num: 1
   voff_range:
@@ -1261,7 +1261,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 537
   column_num: 1
   voff_range:
@@ -1276,7 +1276,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 542
   column_num: 1
   voff_range:
@@ -1291,7 +1291,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 543
   column_num: 1
   voff_range:
@@ -1306,7 +1306,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 544
   column_num: 1
   voff_range:
@@ -1321,7 +1321,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 545
   column_num: 1
   voff_range:
@@ -1336,7 +1336,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 549
   column_num: 1
   voff_range:
@@ -1351,7 +1351,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 551
   column_num: 1
   voff_range:
@@ -1366,7 +1366,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 561
   column_num: 1
   voff_range:
@@ -1381,7 +1381,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 562
   column_num: 1
   voff_range:
@@ -1396,7 +1396,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 563
   column_num: 1
   voff_range:
@@ -1411,7 +1411,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 564
   column_num: 1
   voff_range:
@@ -1426,7 +1426,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 565
   column_num: 1
   voff_range:
@@ -1441,7 +1441,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 567
   column_num: 1
   voff_range:
@@ -1456,7 +1456,7 @@ ip_voff_symbol: type_coverage_eval_tests
 lines:
 {
  {
-  file_path: "../../../../src/mule/mule_main.cpp"
+  file_name: "mule_main.cpp"
   line_num: 569
   column_num: 1
   voff_range:
diff --git a/src/raddbg/raddbg_core.c b/src/raddbg/raddbg_core.c
index 83fd9357..47da6962 100644
--- a/src/raddbg/raddbg_core.c
+++ b/src/raddbg/raddbg_core.c
@@ -13206,9 +13206,9 @@ rd_frame(void)
               for EachNode(n, D_LineNode, lines.first)
               {
                 D_Line line = n->v;
-                String8 line_file_path_relative = path_relative_dst_from_absolute_dst_src(scratch.arena, line.file_path, module->string);
+                String8 line_file_name = str8_skip_last_slash(line.file_path);
                 str8_list_pushf(rd_state->cmd_output_arena, &rd_state->cmd_outputs, "  {\n");
-                str8_list_pushf(rd_state->cmd_output_arena, &rd_state->cmd_outputs, "   file_path:  \"%S\"\n", line_file_path_relative);
+                str8_list_pushf(rd_state->cmd_output_arena, &rd_state->cmd_outputs, "   file_name:  \"%S\"\n", line_file_name);
                 str8_list_pushf(rd_state->cmd_output_arena, &rd_state->cmd_outputs, "   line_num:   %I64d\n", line.pt.line);
                 str8_list_pushf(rd_state->cmd_output_arena, &rd_state->cmd_outputs, "   column_num: %I64d\n", line.pt.column);
                 str8_list_pushf(rd_state->cmd_output_arena, &rd_state->cmd_outputs, "   voff_range: [0x%I64x, 0x%I64x)\n", line.voff_range.min, line.voff_range.max);