diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-05-28 13:25:23 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-05-28 13:25:23 -0700 |
commit | 029c04e2ead2eb2d111637fffbafb9afca5a4d7e (patch) | |
tree | bcd3f71544283fbe813525051a5e2ffc87adf54d /tangle/030tangle.cc | |
parent | a3056e665f4d200f46e5282921c0af23cdd55a85 (diff) | |
download | mu-029c04e2ead2eb2d111637fffbafb9afca5a4d7e.tar.gz |
1501
Diffstat (limited to 'tangle/030tangle.cc')
-rw-r--r-- | tangle/030tangle.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tangle/030tangle.cc b/tangle/030tangle.cc index 4949808a..57a10a9e 100644 --- a/tangle/030tangle.cc +++ b/tangle/030tangle.cc @@ -299,7 +299,8 @@ list<Line>::iterator balancing_curly(list<Line>::iterator curr) { // a directive to print the trace just for debugging ('?') // Remember to update is_input below if you add to this format. void emit_test(const string& name, list<Line>& lines, list<Line>& result) { - result.push_back(Line("TEST("+name+")", front(lines).filename, front(lines).line_number-1)); // use line number of directive + result.push_back(Line("void test_"+name+"() {", front(lines).filename, front(lines).line_number-1)); // use line number of directive + result.push_back(Line(" Trace_file = \""+name+"\";", front(lines).filename, front(lines).line_number-1)); while (!lines.empty()) { while (!lines.empty() && starts_with(front(lines).contents, "% ")) { result.push_back(Line(" "+front(lines).contents.substr(strlen("% ")), front(lines))); |