475
45%

Ran 27 Jan 2026 02:36PM UTC

Jobs 1

Files 12

Run time 1min

Badge

Embed ▾

Committed 27 Jan 2026 02:32PM UTC coverage: 45.345%. Remained the same

Build # 475

Build Type

push

github

Committed by

filipeom

Commit Message

Expose type-safe API to create uninterpreted functions

It allows us to catch easy to make errors such as these:

```ocaml
open Smtml.Typed
let f =
  Func.(make "f" @@ Types.int @-> Types.real @-> Types.bool @-> ret Types.bool)
let a = Int.v 0
let b = Real.v 0.
let c = Bool.true_
let _bad = f a c c
               ^
(* Has type bool where it should be a real *)
```

Run Details

979 of 2159 relevant lines covered (45.35%)

9.39 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	475.1	27 Jan 2026 02:36PM UTC	12	45.35	GitHub Action Run

formalsec / smtml / 475
45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 475

formalsec / smtml / 475 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 475

formalsec / smtml / 475
45%

README BADGES
x