diff options
| author | John Hodge <tpg@mutabah.net> | 2018-05-19 10:15:20 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2018-05-19 10:15:20 +0800 |
| commit | ae177706bf0b4b2ff05e9102d1403c73799756b0 (patch) | |
| tree | 9e525e69d7a16a7ad77d56c2c8c6c5de598977bf /tools/standalone_miri/value.cpp | |
| parent | aada4f2fe9be2f9bfadb4ef6ba057f36b9860aa8 (diff) | |
| download | mrust-ae177706bf0b4b2ff05e9102d1403c73799756b0.tar.gz | |
Standalone MIRI - Better logging (can redirect to a file, leaving stdout for the program)
Diffstat (limited to 'tools/standalone_miri/value.cpp')
| -rw-r--r-- | tools/standalone_miri/value.cpp | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/tools/standalone_miri/value.cpp b/tools/standalone_miri/value.cpp index e9376ce6..c3db284a 100644 --- a/tools/standalone_miri/value.cpp +++ b/tools/standalone_miri/value.cpp @@ -1,6 +1,10 @@ -// -// -// +/* + * mrustc Standalone MIRI + * - by John Hodge (Mutabah) + * + * value.cpp + * - Runtime values + */ #include "value.hpp" #include "hir_sim.hpp" #include "module_tree.hpp" |