about summary refs log tree commit diff stats
path: root/tangle/030tangle.cc
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-05-28 13:25:23 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-05-28 13:25:23 -0700
commit029c04e2ead2eb2d111637fffbafb9afca5a4d7e (patch)
treebcd3f71544283fbe813525051a5e2ffc87adf54d /tangle/030tangle.cc
parenta3056e665f4d200f46e5282921c0af23cdd55a85 (diff)
downloadmu-029c04e2ead2eb2d111637fffbafb9afca5a4d7e.tar.gz
1501
Diffstat (limited to 'tangle/030tangle.cc')
-rw-r--r--tangle/030tangle.cc3
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)));