1
45%
main: 45%

Ran 12 May 2025 09:32AM UTC

Files 10

Run time 0s

Badge

Embed ▾

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

Job # 330.1

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

formalsec / smtml / 330 / 1
45%
main: 45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 330.1

formalsec / smtml / 330 / 1 45% main: 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 330.1

formalsec / smtml / 330 / 1
45%
main: 45%

README BADGES
x