Package org.mpi_sws.jmc.annotations.strategies

package org.mpi_sws.jmc.annotations.strategies
Defines annotations for specific strategies used in the JMC library.
  • Annotation Interfaces
    Class
    Description
    JmcMeasureGraphCoverage
    This annotation is used to configure the JMC graph coverage measurement for a test method or class.
    JmcTrustStrategy
    This annotation is used to configure the JMC trust strategy for a test method or class.