Class SafetyCoreDetector


  • public final class SafetyCoreDetector
    extends Object
    • Method Detail

      • safetyCoreExists

        public static boolean safetyCoreExists​(EquivalenceClass state)