janestreet/magic-trace

trace-many-times

ahh opened this issue · 1 comments

ahh commented

I frequently want as many traces of $CONDITION as I can get. Right now I build a command line, watch it go, wait til it fires, wait for it to decode, and rerun.

I can write a shell loop around this, but you know what sounds great? A flag to "once you're done, re-arm and do it again with a fresh filename".

Xyene commented

Would this be served by having -multi-snapshot mode just work like this? The current implementation leaves large gaps in the tracefile, so isn't too useful. The format could be something as simple as ${-output flag}.$n, but we could also support format modifiers in -output.