Adding new examples and tests: Groovy and Java programs.

[jpf-core.git] / examples / TestExample-coverage.jpf

diff --git a/examples/TestExample-coverage.jpf b/examples/TestExample-coverage.jpf
new file mode 100644 (file)
index 0000000..75d9ed4
--- /dev/null
+++ b/examples/TestExample-coverage.jpf
@@ -0,0 +1,7 @@
+target = TestExample
+
+listener=.listener.CoverageAnalyzer
+
+coverage.include = T1,T2
+coverage.show_methods = true
+#coverage.show_bodies = true
\ No newline at end of file