symex_complexity_limit_exceeded_action.h

Go to the documentation of this file.

// Copyright 2016-2019 Diffblue Limited. All Rights Reserved.
 
#ifndef CPROVER_GOTO_SYMEX_SYMEX_COMPLEXITY_LIMIT_EXCEEDED_ACTION_H
#define CPROVER_GOTO_SYMEX_SYMEX_COMPLEXITY_LIMIT_EXCEEDED_ACTION_H
 
#include "complexity_violation.h"
#include "goto_symex_state.h"
 
class symex_complexity_limit_exceeded_actiont
{
public:
  virtual void transform(
    const complexity_violationt heuristic_result,
    goto_symex_statet &current_state)
  {
    current_state.reachable = false;
  }
  virtual void transform( {…}
  virtual ~symex_complexity_limit_exceeded_actiont()
  {
  }
  virtual ~symex_complexity_limit_exceeded_actiont() {…}
};
class symex_complexity_limit_exceeded_actiont {…};
 
#endif // CPROVER_GOTO_SYMEX_SYMEX_COMPLEXITY_LIMIT_EXCEEDED_ACTION_H