search

c4-project / c4t

Runs concurrent C compiler tests
MIT License
1 stars 0 forks source link

Add singleobs verbosity #49

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

Currently, whenever a single-shot act-tester binary fires, it does so with both progress bars and logs. This can useful for when we fire off human-administered single test runs (what act-bash currently calls once-locally), but becomes overly noisy when we're trying to diagnose issues in, say, the bisection oracle. It feels like there should be two (maybe three) verbosity levels: no observation by default, and either -v (progress bars) and -vv (both), or just -v (both).

MattWindsor91 commented 4 years ago

Fixed by deb8f35fc27a1e94c0d821928aa5e50196315e6a but I forgot to tag it.