Switch stanc.exe to use Cmdliner for cli #1478
Merged
Codecov / codecov/project
succeeded
Dec 18, 2024 in 0s
90.05% (target 0.00%)
View this Pull Request on Codecov
90.05% (target 0.00%)
Details
Codecov Report
Attention: Patch coverage is 95.45455% with 6 lines in your changes missing coverage. Please review.
Project coverage is 90.05%. Comparing base (
f777719) to head (10439aa).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/stanc/stanc.ml | 82.60% | 4 Missing |
| src/stanc/CLI.ml | 98.03% | 2 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## master #1478 +/- ##
==========================================
+ Coverage 89.72% 90.05% +0.33%
==========================================
Files 65 66 +1
Lines 10693 10751 +58
==========================================
+ Hits 9594 9682 +88
+ Misses 1099 1069 -30 | Files with missing lines | Coverage Δ | |
|---|---|---|
| src/driver/Entry.ml | 92.40% <100.00%> (+5.39%) |
⬆️ |
| src/frontend/Debugging.ml | 100.00% <ø> (+80.00%) |
⬆️ |
| src/stanc/CLI.ml | 98.03% <98.03%> (ø) |
|
| src/stanc/stanc.ml | 85.00% <82.60%> (+2.44%) |
⬆️ |
Loading