diff options
| -rw-r--r-- | lib/Core/StatsTracker.cpp | 2 | ||||
| -rw-r--r-- | test/Feature/SourceMapping.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp index 51181db0..d445eb2a 100644 --- a/lib/Core/StatsTracker.cpp +++ b/lib/Core/StatsTracker.cpp @@ -639,7 +639,7 @@ void StatsTracker::writeIStats() { if (UseCallPaths) callPathManager.getSummaryStatistics(callSiteStats); - of << "ob=" << objectFilename << "\n"; + of << "ob=" << llvm::sys::path::filename(objectFilename).str() << "\n"; for (Module::iterator fnIt = m->begin(), fn_ie = m->end(); fnIt != fn_ie; ++fnIt) { diff --git a/test/Feature/SourceMapping.c b/test/Feature/SourceMapping.c index 30a9c2a8..6a071933 100644 --- a/test/Feature/SourceMapping.c +++ b/test/Feature/SourceMapping.c @@ -7,7 +7,7 @@ // RUN: FileCheck < %t.klee-out/run.istats %s // CHECK: positions: instr line -// CHECK: ob={{.*}}/SourceMapping.c{{.*}}/assembly.ll +// CHECK: ob=assembly.ll // Assuming the compiler doesn't reorder things, f0 should be first, and it // should immediately follow the first file name marker. |