Collect stats about eth2.0-dafny HOT 3 CLOSED

Stats (per file) can be collected using the Dafny command line /stats for each file.
e.g.

$ dafny /dafnyVerify:1 /compile:0  /stats Serialise.dfy 
Dafny 2.3.0.10506

Dafny program verifier finished with 7 verified, 0 errors

Statistics
----------
Call graph width (max)     13
Classes                     3
Datatypes                   5
Functions (total)          15
Functions recursive         3
Methods (total)            18
Methods ghost              18
Module height (max)        19
Modules                     8

Not sure if the /stats flag is recursive (seems to collect 8 modules in this file ...)

from eth2.0-dafny.

Python notebook created to automate the process of collecting stats relating to the Dafny files.

This notebook is a first cut and is not efficient. It should also be converted to a python script once finalised.

from eth2.0-dafny.

The scripts (script folder) have been updated. It is also possible to generate a call graph using Dafny call graph features.

from eth2.0-dafny.