/*******************************************************************\

Module: Goto program validation mode

Author: Daniel Poetzl

\*******************************************************************/

#ifndef CPROVER_UTIL_VALIDATION_MODE_H
#define CPROVER_UTIL_VALIDATION_MODE_H

enum class validation_modet
{
  INVARIANT,
  EXCEPTION
};

#endif /* CPROVER_UTIL_VALIDATION_MODE_H */
