spat

Website
Author: Vinzent "Jellix" Saranen
Maintainer: vinzent@heisenbug.eu
License: WTFPL
Version: 1.3.0
Dependencies:

Tags: spark
Badge: Copy image location: https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/spat.json

Alire CI:

SPAT - SPARK Proof Analysis Tools

Helper tool to obtain, analyse, sort, and filter timing information about gnatprove runs (SPARK tools).