330
45%

Ran 12 May 2025 09:32AM UTC

Jobs 1

Files 10

Run time 1min

Badge

Embed ▾

Committed 12 May 2025 09:12AM UTC coverage: 56.38%. Remained the same

Build # 330

Build Type

push

github

Committed by

filipeom

Commit Message

Handle unknown smt2 functions as apps

This patch makes smt2 implementation not fail on unknown function
symbols but instead parse them as apps (i.e. `Expr.App`).

It allows one to parse smt2 and process such apps on its own extending
the implemented symbols.

Closes #340

Run Details

950 of 1685 relevant lines covered (56.38%)

11.76 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	330.1	12 May 2025 09:32AM UTC	10	56.38	GitHub Action Run

formalsec / smtml / 330
45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 330

formalsec / smtml / 330 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 330

formalsec / smtml / 330
45%

README BADGES
x