New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Switch stanc.exe to use Cmdliner for cli #1478

Merged

WardBrian merged 7 commits into master from cmdliner

Jan 2, 2025

Merged

Switch stanc.exe to use Cmdliner for cli #1478

Also trap on unwritable output

Codecov / codecov/patch succeeded Dec 18, 2024 in 1s

95.45% of diff hit (target 0.00%)

View this Pull Request on Codecov

95.45% of diff hit (target 0.00%)

Annotations

Check warning on line 290 in src/stanc/CLI.ml

codecov / codecov/patch

src/stanc/CLI.ml#L289-L290

Added lines #L289 - L290 were not covered by tests

Check warning on line 25 in src/stanc/stanc.ml

codecov / codecov/patch

src/stanc/stanc.ml#L25

Added line #L25 was not covered by tests

Check warning on line 44 in src/stanc/stanc.ml

codecov / codecov/patch

src/stanc/stanc.ml#L44

Added line #L44 was not covered by tests

Check warning on line 48 in src/stanc/stanc.ml

codecov / codecov/patch

src/stanc/stanc.ml#L48

Added line #L48 was not covered by tests

Check warning on line 88 in src/stanc/stanc.ml

codecov / codecov/patch

src/stanc/stanc.ml#L88

Added line #L88 was not covered by tests

View more details on Codecov