Skip to content

SPAT v1.2.0-pre-0

Pre-release
Pre-release
Compare
Choose a tag to compare
@Jellix Jellix released this 19 Jul 16:58
· 20 commits to master since this release
v1.2.0-pre-0
76e70bf

This is a pre-release version. Handle with care.

CHANGELOG:

  • Added steps to all output options (both summary and report modes) (#61, #64).
  • To unify steps reporting, prover steps are now immediately scaled when reading (not only for the --suggest option) (#64).
  • Added sorting options per step (maximum and minimum success) (#64).
  • Sorting files (summary) output implemented for all possible sorting options (including the new ones) (#64).
  • Table like output, which also better adapts to the actual items printed (#64).
Assets 5
Loading