ALR logo

Alire

Spat

Website:

https://github.heisenbug.eu/spat

Author:
  • Vinzent "Jellix" Saranen
Maintainer:
  • vinzent@heisenbug.eu
License:

WTFPL

Version:

1.3.0

Alire CI:

Dependencies: Dependents:

No dependents.

Badge:

SPAT - SPARK Proof Analysis Tool

#spark

SPAT - SPARK Proof Analysis Tools

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