Don't print progress messages such as `-- Window 1 --` unless

runtimeverification / rv-predict

Code for improved rv-predict and installer

BSD 3-Clause "New" or "Revised" License

2 stars 3 forks source link

Closed gnuoyd closed 5 years ago

gnuoyd commented 5 years ago

RVP_PROGRESS=yes is set in the environment or --progress is on the rvpa command line.