Package randoop

Class ReplayFailureException

All Implemented Interfaces:
Serializable

public class ReplayFailureException extends RuntimeException
Thrown by a ContractFailureReplayVisitor or a RegressionReplayVisitor when a regression decoration fails to replay.
See Also:
  • Field Details

    • serialVersionUID

      private static final long serialVersionUID
      See Also:
    • decoration

      private final Check decoration
      The check that failed.
  • Constructor Details

    • ReplayFailureException

      public ReplayFailureException(String message, Check d)
  • Method Details

    • getDecoration

      public Check getDecoration()