From 133a4614365bbcc74602284beedc7b274fcf3e24 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 6 Nov 2016 22:41:02 -0800 Subject: 3642 --- html/001help.cc.html | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'html/001help.cc.html') diff --git a/html/001help.cc.html b/html/001help.cc.html index dd6f7d74..7d999033 100644 --- a/html/001help.cc.html +++ b/html/001help.cc.html @@ -53,10 +53,16 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color << "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 ... scenario\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" -- cgit 1.4.1-2-gfad0