1. Arlen Cox
  2. z3

Source

z3 / src / cmd_context / echo_tactic.h

/*++
Copyright (c) 2011 Microsoft Corporation

Module Name:

    echo_tactic.h

Abstract:

    Tactic and probe for dumping data.

Author:

    Leonardo (leonardo) 2012-10-20

Notes:

--*/
#ifndef _ECHO_TACTICS_H_
#define _ECHO_TACTICS_H_

class cmd_context;
class tactic;
class probe;

tactic * mk_echo_tactic(cmd_context & ctx, char const * msg, bool newline = true);
// Display the value returned by p in the diagnostic_stream
tactic * mk_probe_value_tactic(cmd_context & ctx, char const * msg, probe * p, bool newline = true);

#endif