542
48%

Ran 22 May 2026 07:51AM UTC

Jobs 1

Files 52

Run time 1min

Badge

Embed ▾

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

Build # 542

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

Coverage Regressions

Lines	Coverage	∆	File
130	47.27	0.48%	src/smtml/expr.ml
81	57.73	1.04%	src/smtml/z3_mappings.ml
79	12.99	-1.01%	src/smtml/typed.ml

Jobs

ID	Job ID	Ran	Files	Coverage
1	542.1	22 May 2026 07:51AM UTC	52	48.1	GitHub Action Run

formalsec / smtml / 542
48%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 542

formalsec / smtml / 542 48%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 542

formalsec / smtml / 542
48%

README BADGES
x