diff options
| author | John Hodge <tpg@ucc.asn.au> | 2019-08-19 07:30:18 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2019-08-19 07:30:18 +0800 |
| commit | fe4720652a185c25bfa462c334bf3893888a4a2a (patch) | |
| tree | 46c73fc876fe84ded1dc4fc22ed7c372b6903531 /tools/standalone_miri/debug.cpp | |
| parent | bd21843c60ab97902b200d58476b4c7626d3ab2b (diff) | |
| download | mrust-fe4720652a185c25bfa462c334bf3893888a4a2a.tar.gz | |
Stanalone MIRI - Track frame counts (easier to step back across calls)
Diffstat (limited to 'tools/standalone_miri/debug.cpp')
| -rw-r--r-- | tools/standalone_miri/debug.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/standalone_miri/debug.cpp b/tools/standalone_miri/debug.cpp index be3c9ec4..534790cd 100644 --- a/tools/standalone_miri/debug.cpp +++ b/tools/standalone_miri/debug.cpp @@ -20,6 +20,7 @@ DebugSink::~DebugSink() { m_inner << "\n"; m_inner.flush(); + m_inner.flags({}); if( m_stderr_too ) { ::std::cerr << ::std::endl; |