# -------------------------------------------------------------------
# Default Maven properties for the Clover Plugin
# -------------------------------------------------------------------
# These are the properties that we believe are immutable so we
# keep them apart from the project specific properties.
# -------------------------------------------------------------------

maven.build.clover = ${maven.build.dir}/clover
maven.build.clover.classes = ${maven.build.clover}/classes
#maven.build.clover.src = ${maven.build.clover}/src
#clover.tmpdir = ${maven.build.clover.src}

# Location of Clover database
# (used only if maven.compile.clover = true)
maven.clover.database.dir = ${maven.build.clover}/database

clover.preserve=true
clover.flushpolicy=interval
clover.flushpolicy.interval=10