diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-18 10:04:39 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-18 10:04:39 -0700 |
| commit | 91d0b61e56319ed36f307cce7b461517e622ebda (patch) | |
| tree | 80a8b656da049068670e17c854f5e311f42f8769 /068random.mu | |
| parent | 5fafd700e4499463e2daea43c30020e81b5fd0a6 (diff) | |
| download | mu-91d0b61e56319ed36f307cce7b461517e622ebda.tar.gz | |
3516 - print the trace as it is generated
I had this early on. Why did I delete it? Was it because I was only flushing the current trace when I started on the next one? We don't have that problem anymore..
Diffstat (limited to '068random.mu')
0 files changed, 0 insertions, 0 deletions