574
40%

Ran 09 Aug 2026 09:27AM UTC

Jobs 1

Files 52

Run time 1min

Badge

Embed ▾

Committed 09 Aug 2026 09:18AM UTC coverage: 40.624% (+0.2%) from 40.392%

Build # 574

Build Type

push

github

Committed by

filipeom

Commit Message

Allow mdx blocks to execute if you have at least z3 installed

Fixes the issue where mdx blocks would only run when z3 was the only
solver installed. This allows us to verify changes in mdx blocks with
any combination of solvers installed. Provided that at least one of them
contains z3.

Closes #565

Coverage Stats

2446 of 6021 relevant lines covered (40.62%)

35.8 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	574.1	09 Aug 2026 09:27AM UTC	52	40.62	GitHub Action Run

formalsec / smtml / 574
40%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 574

formalsec / smtml / 574 40%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 574

formalsec / smtml / 574
40%

README BADGES
x