• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

formalsec / smtml / 409
45%

Build:
DEFAULT BRANCH: main
Ran 31 Oct 2025 01:34PM UTC
Jobs 1
Files 13
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

31 Oct 2025 01:31PM UTC coverage: 51.566% (-2.2%) from 53.755%
409

push

github

filipeom
WIP: Add a simple Smtml.Expr.t -> smt2 pretty printer

21 of 68 new or added lines in 5 files covered. (30.88%)

988 of 1916 relevant lines covered (51.57%)

10.6 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
34.38
2.75% src/smtml/expr.ml
5
32.26
src/smtml/ast.ml
6
34.69
-1.57% src/smtml/value.ml
35
34.57
-2.85% src/smtml/ty.ml
Jobs
ID Job ID Ran Files Coverage
1 409.1 31 Oct 2025 01:34PM UTC 13
51.57
GitHub Action Run
Source Files on build 409
  • Tree
  • List 13
  • Changed 4
  • Source Changed 4
  • Coverage Changed 4
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • c618aec1 on github
  • Prev Build on main (#408)
  • Next Build on main (#410)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc