334
45%

Ran 13 May 2025 07:48PM UTC

Jobs 1

Files 10

Run time 1min

Badge

Embed ▾

Committed 13 May 2025 07:28PM UTC coverage: 55.751%. Remained the same

Build # 334

Build Type

push

github

Committed by

filipeom

Commit Message

Add solver mappings `Internals` module and generic `to_ieee_bv` impl

- All the mappings now include a `Internals` module that will inform the
  `Mappings` module of internal behaviours, such as const caching and
  native support for the `to_ieee_bv` operator.

- Lift `to_ieee_bv` implementation to the `Mappings` module so that
  other solvers that don't have native support for `to_ieee_bv` use this
  aproximated implementation.

Run Details

950 of 1704 relevant lines covered (55.75%)

11.63 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	334.1	13 May 2025 07:48PM UTC	10	55.75	GitHub Action Run

formalsec / smtml / 334
45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 334

formalsec / smtml / 334 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 334

formalsec / smtml / 334
45%

README BADGES
x