Class DumbMethods.RandomOnceSubDetector

    • Field Detail

      • freshRandomOnTos

        private boolean freshRandomOnTos
        True if a freshly created Random instance exists on ToS (Top op Stack)
      • freshRandomOneBelowTos

        private boolean freshRandomOneBelowTos
      • randomInitPC

        private int randomInitPC
      • pcToBugInstanceMap

        private final java.util.Map<java.lang.Integer,​BugInstance> pcToBugInstanceMap
    • Constructor Detail

      • RandomOnceSubDetector

        private RandomOnceSubDetector()