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).
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).