344
45%

Ran 30 May 2025 03:12PM UTC

Jobs 1

Files 10

Run time 1min

Badge

Embed ▾

Committed 30 May 2025 02:53PM UTC coverage: 55.751%. Remained the same

Build # 344

Build Type

push

github

Committed by

filipeom

Commit Message

Start making benchmark runner declarative

Start making benchmark more declarative by having a configuration
file which we can specify what datasets to download and what
experiments to run with which solvers.

This commit removes multi query mode, adds a `setup` command to download
datasets from smtcomp zenodo page, and renames `singl-query` to `exec`
and makes this command just parse smt2 benchmarks so it's easier to
redirect efforts into checking parsing errors.

Run Details

950 of 1704 relevant lines covered (55.75%)

11.63 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	344.1	30 May 2025 03:12PM UTC	10	55.75	GitHub Action Run

formalsec / smtml / 344
45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 344

formalsec / smtml / 344 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 344

formalsec / smtml / 344
45%

README BADGES
x