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

goblint / analyzer / 4224
65%

Build:
DEFAULT BRANCH: master
Ran 14 Mar 2026 02:29AM UTC
Jobs 1
Files 316
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

13 Mar 2026 08:33AM UTC coverage: 65.533% (-0.003%) from 65.536%
4224

push

github

web-flow
Warn when ana.opt.hashcons is disabled but implicitly overridden, fail for Apron (#1921)

* Initial plan

* Add warning when hashconsing is force-enabled

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Add test for hashcons warning

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Fix missing semicolon in warning logic

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Final: Complete implementation with warnings

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Move hashcons warning to check_arguments in maingoblint.ml

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Remove tests as they are not needed

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Remove _codeql_detected_source_root file

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Change Apron hashcons check to fail and use usesApron flag

- Add usesApron flag to MCPRegistry.spec_modules
- Add optional ~usesApron parameter to register_analysis (default false)
- Add any_activated_uses_apron() function to check registry
- Mark Apron analyses with ~usesApron:true flag
- Change warning to fail when hashcons disabled with Apron

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Swap order of Apron and ARG hashcons checks

Check Apron first (fail) before ARG (warn) since fail is more severe

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

6 of 10 new or added lines in 3 files covered. (60.0%)

22715 of 34662 relevant lines covered (65.53%)

403171.81 hits per line

Uncovered Changes

Lines Coverage ∆ File
2
62.57
-0.14% src/maingoblint.ml
1
56.25
-0.35% src/analyses/mCPRegistry.ml
1
65.6
0.09% src/framework/control.ml
Jobs
ID Job ID Ran Files Coverage
1 4224.1 14 Mar 2026 02:29AM UTC 316
65.53
GitHub Action Run
Source Files on build 4224
  • Tree
  • List 316
  • Changed 6
  • Source Changed 6
  • Coverage Changed 3
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • 3bd3da15 on github
  • Prev Build on master (#4218)
  • Next Build on master (#4225)
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