diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-02-19 16:31:42 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-02-19 16:31:42 -0800 |
| commit | 79a7ad4f8c67f7de7d2e478aa7c62d39f8f62f6f (patch) | |
| tree | 68761507a2c2596a4d0d4cbdc339324af07260c8 /cpp | |
| parent | a26cc359953a5f15280ecd6c647b74a06f00ed0f (diff) | |
| download | mu-79a7ad4f8c67f7de7d2e478aa7c62d39f8f62f6f.tar.gz | |
786 - allow dumping traces for debugging
Diffstat (limited to 'cpp')
| -rw-r--r-- | cpp/tangle/030tangle.cc | 4 |
1 files changed, 4 insertions, 0 deletions
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<string>& lines, list<string>& result) { result.push_back(" CLEAR_TRACE;"); lines.pop_front(); } + if (!lines.empty() && lines.front() == "?") { + result.push_back(" DUMP(\"\");"); + lines.pop_front(); + } } result.push_back("}"); |