spat/test/spat.test-issues.srjca.template at master - spat - ProxGit

ada/spat

mirror of https://github.com/AdaCore/spat.git synced 2026-02-12 13:09:53 -08:00

Files

Vinzent "Jellix" Saranen 52239fbdfb Updated templates.

We are outputting scaled steps now.

2020-07-19 16:47:43 +02:00

5 lines

270 B

Plaintext

Raw Permalink Blame History

This file contains invisible Unicode characters that are indistinguishable to humans but may be processed differently by a computer. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

 rflx-arrays-tests.spark => (Flow  => 87.1 ms,
                             Proof => 0.0 s (1768 steps)/0.0 s (1768 steps)/54.1 s)
 rflx-rflx_types.spark   => (Flow  => 7.2 ms,
                             Proof => 54.2 s (99104 steps)/120.0 s (99104 steps)/4.5 ks)