diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-11-06 01:05:22 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-11-06 01:05:22 -0700 |
commit | 838b1afce9a957218401a8a4f0d8316c9f06182f (patch) | |
tree | 8ee5856a6693fd6cffbdd97dd156f5240b14cd30 /999spaces.cc | |
parent | 7e8d0ba8fb613af6ab0f16bcb9a5667cadb02da6 (diff) | |
download | mu-838b1afce9a957218401a8a4f0d8316c9f06182f.tar.gz |
3630 - generate trace for a single scenario
To do so, run: $ ./mu --trace test <scenario name> The trace will then be in file 'interactive'.
Diffstat (limited to '999spaces.cc')
0 files changed, 0 insertions, 0 deletions