Adding new test accepted files
authorandy@galois.com <unknown>
Mon, 15 Oct 2007 03:54:13 +0000 (03:54 +0000)
committerandy@galois.com <unknown>
Mon, 15 Oct 2007 03:54:13 +0000 (03:54 +0000)
tests/simple/hpc_draft.stdout [new file with mode: 0644]
tests/simple/hpc_hand_overlay.stdout [new file with mode: 0644]
tests/simple/hpc_help_draft.stdout [new file with mode: 0644]
tests/simple/hpc_help_overlay.stdout [new file with mode: 0644]
tests/simple/hpc_overlay.stdout [new file with mode: 0644]
tests/simple/hpc_overlay2.stdout [new file with mode: 0644]

diff --git a/tests/simple/hpc_draft.stdout b/tests/simple/hpc_draft.stdout
new file mode 100644 (file)
index 0000000..24b41fa
--- /dev/null
@@ -0,0 +1,6 @@
+module "Main" {
+  inside "main" {
+    tick "\"World\"" on line 1;
+  }
+}
+
diff --git a/tests/simple/hpc_hand_overlay.stdout b/tests/simple/hpc_hand_overlay.stdout
new file mode 100644 (file)
index 0000000..d6c16e6
--- /dev/null
@@ -0,0 +1,8 @@
+100% expressions used (4/4)
+100% boolean coverage (0/0)
+     100% guards (0/0)
+     100% 'if' conditions (0/0)
+     100% qualifiers (0/0)
+100% alternatives used (0/0)
+100% local declarations used (0/0)
+100% top-level declarations used (1/1)
diff --git a/tests/simple/hpc_help_draft.stdout b/tests/simple/hpc_help_draft.stdout
new file mode 100644 (file)
index 0000000..56c155c
--- /dev/null
@@ -0,0 +1,14 @@
+Usage: hpc draft [OPTION] .. <TIX_FILE>
+Generate draft overlay that provides 100% coverage
+
+
+Options:
+
+    --exclude=[PACKAGE:][MODULE]  exclude MODULE and/or PACKAGE
+    --include=[PACKAGE:][MODULE]  include MODULE and/or PACKAGE
+    --srcdir=DIR                  path to source directory of .hs files
+                                  multi-use of srcdir possible
+    --hpcdir=DIR                  sub-directory that contains .mix files
+                                  default .hpc [rarely used]
+    --output=FILE                 output FILE
+
diff --git a/tests/simple/hpc_help_overlay.stdout b/tests/simple/hpc_help_overlay.stdout
new file mode 100644 (file)
index 0000000..69b840b
--- /dev/null
@@ -0,0 +1,12 @@
+Usage: hpc overlay [OPTION] .. <OVERLAY_FILE> [<OVERLAY_FILE> [...]]
+Generate a .tix file from an overlay file
+
+
+Options:
+
+    --srcdir=DIR   path to source directory of .hs files
+                   multi-use of srcdir possible
+    --hpcdir=DIR   sub-directory that contains .mix files
+                   default .hpc [rarely used]
+    --output=FILE  output FILE
+
diff --git a/tests/simple/hpc_overlay.stdout b/tests/simple/hpc_overlay.stdout
new file mode 100644 (file)
index 0000000..d6c16e6
--- /dev/null
@@ -0,0 +1,8 @@
+100% expressions used (4/4)
+100% boolean coverage (0/0)
+     100% guards (0/0)
+     100% 'if' conditions (0/0)
+     100% qualifiers (0/0)
+100% alternatives used (0/0)
+100% local declarations used (0/0)
+100% top-level declarations used (1/1)
diff --git a/tests/simple/hpc_overlay2.stdout b/tests/simple/hpc_overlay2.stdout
new file mode 100644 (file)
index 0000000..d6c16e6
--- /dev/null
@@ -0,0 +1,8 @@
+100% expressions used (4/4)
+100% boolean coverage (0/0)
+     100% guards (0/0)
+     100% 'if' conditions (0/0)
+     100% qualifiers (0/0)
+100% alternatives used (0/0)
+100% local declarations used (0/0)
+100% top-level declarations used (1/1)