issues
search
AdaCore
/
adareducer
GNU General Public License v3.0
13
stars
2
forks
source link
[Feature Request] Output average oracle time and other statistics
#4
Open
vser1
opened
2 years ago
vser1
commented
2 years ago
When playing with other tools, I love to have live stats such as:
average time of oracle
number of oracle runs
maybe other interesting stats?
When playing with other tools, I love to have live stats such as: