view src/examples/TestExample-coverage.jpf @ 0:61d41facf527

initial v8 import (history reset)
author Peter Mehlitz <Peter.C.Mehlitz@nasa.gov>
date Fri, 23 Jan 2015 10:14:01 -0800
parents
children
line wrap: on
line source

target = TestExample

listener=.listener.CoverageAnalyzer

coverage.include = T1,T2
coverage.show_methods = true
#coverage.show_bodies = true