Class EvlModuleEquivalenceTests

    • Field Detail

      • testCounter

        public org.junit.rules.TestWatcher testCounter
    • Constructor Detail

      • EvlModuleEquivalenceTests

        public EvlModuleEquivalenceTests​(EvlRunConfiguration configUnderTest)
    • Method Detail

      • setUpBeforeClass

        public static void setUpBeforeClass()
                                     throws java.lang.Exception
        Throws:
        java.lang.Exception
      • configurations

        public static java.util.Collection<EvlRunConfiguration> configurations()
                                                                        throws java.lang.Exception
        Returns:
        A collection of pre-configured run configurations, each with their own IEvlModule.
        Throws:
        java.lang.Exception
      • testUnsatisfiedConstraints

        public void testUnsatisfiedConstraints()
      • testConstraintTraces

        public void testConstraintTraces()
      • testConstraintsDependedOn

        public void testConstraintsDependedOn()