//
// This is IDA PIN tracer configuration file
// This file contains the default configuration
// 

// Note: Make sure there is a semicolon at the end of a line containing a string

// Path to PIN executable
//PIN_PATH = "C:\\pin\\pin.exe";
// Path to IDA pin tool (idadbg)
//PIN_TOOL_PATH = "C:\\pin\\source\\tools\\idapin";

// Tracing options, one of the following:
//   1 - instruction tracing
//   2 - basic block tracing
//   3 - function tracing
// may be ORed with
//   8 - register value recording
//PIN_TRACING = 3

// PIN Tool options (may be ORed)
//   1 - run pintool locally, otherwise connect to an already running instance
//   2 - enable debug mode
//PIN_TOOL_OPTIONS = 1

// Additional PIN command line arguments before PIN tool (-t <path-to-pintool>)
//PIN_PRE_ARGS = "";

// Additional PIN command line arguments after PIN tool (-t <path-to-pintool>)
//PIN_POST_ARGS = "";

// how many seconds to wait for client connection before exit, 0 - forever
// (olny for locally launched PIN Tool instance)
PIN_CLIENT_TIMEOUT = 10