diff options
author | Kartik Agaram <vc@akkartik.com> | 2018-07-25 21:51:18 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2018-07-26 09:03:13 -0700 |
commit | d44d413216fae85343bfb53327b2f1a2c13d7faa (patch) | |
tree | 11174eb6bbcbda9442dd435fbe52576e4837d4a7 /enumerate | |
parent | e125cdd83970c670649aa58ba824c1c38c1126e3 (diff) | |
download | mu-d44d413216fae85343bfb53327b2f1a2c13d7faa.tar.gz |
4416 - start collecting traces in runs
To see traces on stdout, set the global `Dump_trace` to true. Thanks Max Bernstein for the feedback.
Diffstat (limited to 'enumerate')
0 files changed, 0 insertions, 0 deletions