| /* | |
| Copyright (c) 2013 Microsoft Corporation. All rights reserved. | |
| Released under Apache 2.0 license as described in the file LICENSE. | |
| Author: Leonardo de Moura | |
| */ | |
| #pragma once | |
| // always define LEAN_DEBUG for unit-tests | |
| #ifndef LEAN_DEBUG | |
| #define LEAN_DEBUG | |
| #endif | |
| #include <lean/debug.h> | |
| #include <lean/stackinfo.h> |