3630 - generate trace for a single scenario

To do so, run:

  $ ./mu --trace test <scenario name>

The trace will then be in file 'interactive'.

1 files changed, 6 insertions, 0 deletions

diff --git a/001help.cc b/001help.cc
index 03c21d4c..4fc42d13 100644
--- a/001help.cc
+++ b/001help.cc
@@ -18,10 +18,16 @@ if (argc <= 1 || is_equal(argv[1], "--help")) {
        << "Examples:\n"
        << "  To load files and run 'main':\n"
        << "    mu file1.mu file2.mu ...\n"
+       << "  To run 'main' and dump a trace of all operations at the end:\n"
+       << "    mu --trace file1.mu file2.mu ...\n"
        << "  To run all tests:\n"
        << "    mu test\n"
        << "  To load files and then run all tests:\n"
        << "    mu test file1.mu file2.mu ...\n"
+       << "  To run a single Mu scenario:\n"
+       << "    mu test file1.mu file2.mu ... scenario\n"
+       << "  To run a single Mu scenario and dump a trace at the end:\n"
+       << "    mu --trace test file1.mu file2.mu ... scenario1 scenario2 ... \n"
        << "  To load files and run only the tests in explicitly loaded files (for apps):\n"
        << "    mu --test-only-app test file1.mu file2.mu ...\n"
        << "  To load all files with a numeric prefix in a directory:\n"