Class Counterexample


  • public class Counterexample
    extends java.lang.Object
    • Method Detail

      • canLoadCounterexample

        public static boolean canLoadCounterexample()
      • loadCounterexampleAsJsonObjectFromEnvironment

        public static org.json.JSONObject loadCounterexampleAsJsonObjectFromEnvironment()
      • loadCounterexampleAsJsonObject

        public static org.json.JSONObject loadCounterexampleAsJsonObject​(java.lang.String counterexampleFileName)
      • loadTestExecutionFromCounterexample

        public static org.json.JSONObject loadTestExecutionFromCounterexample​(org.json.JSONObject counterexample)
      • shouldFailRequestWith

        @Nullable
        public static org.json.JSONObject shouldFailRequestWith​(java.lang.String distributedExecutionIndex,
                                                                org.json.JSONObject testExecution)
      • shouldFailRequestWithOrDefault

        public static org.json.JSONObject shouldFailRequestWithOrDefault​(java.lang.String distributedExecutionIndex,
                                                                         org.json.JSONObject testExecution)