From 79a7ad4f8c67f7de7d2e478aa7c62d39f8f62f6f Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 19 Feb 2015 16:31:42 -0800 Subject: 786 - allow dumping traces for debugging --- cpp/tangle/030tangle.cc | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/cpp/tangle/030tangle.cc b/cpp/tangle/030tangle.cc index c47c8cc1..bf2d3c66 100644 --- a/cpp/tangle/030tangle.cc +++ b/cpp/tangle/030tangle.cc @@ -197,6 +197,10 @@ void emit_test(const string& name, list& lines, list& result) { result.push_back(" CLEAR_TRACE;"); lines.pop_front(); } + if (!lines.empty() && lines.front() == "?") { + result.push_back(" DUMP(\"\");"); + lines.pop_front(); + } } result.push_back("}"); -- cgit 1.4.1-2-gfad0