1
48%
main: 48%

Ran 22 May 2026 07:51AM UTC

Files 52

Run time 3s

Badge

Embed ▾

Committed 22 May 2026 07:45AM UTC coverage: 48.103% (-0.1%) from 48.2%

Job # 542.1

Build Type

push

github

Committed by

filipeom

Commit Message

[z3] add implement `Re.allchar` and `Re.diff` using native API

Since these aren't yet available in the API we can use the native
function and leverage `Obj.magic` to implement `Re.allchar` and
`Re.diff`.

Coverage Stats

2434 of 5060 relevant lines covered (48.1%)

40.89 hits per line

formalsec / smtml / 542 / 1
48%
main: 48%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 542.1

formalsec / smtml / 542 / 1 48% main: 48%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 542.1

formalsec / smtml / 542 / 1
48%
main: 48%

README BADGES
x