Package org.mpi_sws.jmc.annotations.strategies

Annotation Interface JmcTrustStrategy

@Target({METHOD,TYPE}) @Retention(RUNTIME) public @interface JmcTrustStrategy
This annotation is used to configure the JMC trust strategy for a test method or class. It allows specifying the scheduling policy, seed, debug mode, and report path for the trust strategy.

It can be applied to methods or classes and is equivalent to using the JmcCheckConfiguration.strategy() with value "trust".

  • Element Details

    • seed

      long seed
      The seed for the scheduling strategy.
      Default:
      0L

    • schedulingPolicy

      TrustStrategy.SchedulingPolicy schedulingPolicy
      The scheduling policy for the trust strategy.

      - RANDOM: Randomly selects a thread to schedule. - FIFO: Selects the thread that has been waiting the longest.

      Default:
      RANDOM

    • debug

      boolean debug
      Debug flag to enable graph logging.
      Default:
      false

    • reportPath

      String reportPath
      The path to store the execution graphs explored.
      Default:
      "build/test-results/jmc-report"