This repository contains a small utility to extract statistics for proof scripts of KeY. At the moment, it is very much tailored towards the ips4o case study (https://github.com/KeYProject/ips4o-verify, branch pfeifer/STTT).
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This repository contains a small utility to extract statistics for proof scripts of KeY. At the moment, it is very much tailored towards the ips4o case study (https://github.com/KeYProject/ips4o-verify, branch pfeifer/STTT).