staticafi / satt

Static analysis tools tester
2 stars 1 forks source link

Add statistics to satt #20

Open mchalupa opened 9 years ago

mchalupa commented 9 years ago

Tools can send statistics about the run on particular benchmark. This involves:

1) tool can (optionally) send text: === STATS ... text ...

2) satt must add state for statistics and parse === STATS 3) stats filed must be added to database to task_results (as text? varchar?)

(4) add parsing of stats to result viewer)