Skip to content
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

Jump to bottom

Rewrite check-examples so it uses C# instead of bash #5114

Open
keyboardDrummer opened this issue Feb 21, 2024 · 1 comment
Open

Rewrite check-examples so it uses C# instead of bash #5114

keyboardDrummer opened this issue Feb 21, 2024 · 1 comment
Labels
kind: language development speed Slows down development of Dafny the language, flaky tests

Comments

@keyboardDrummer
Copy link
Member

Currently when check-examples fails. It's difficult to debug what's wrong because it depends on docs/check-examples which is a large bash file that you can't easily attach a debugger to see what's happening.
@keyboardDrummer keyboardDrummer added the kind: language development speed Slows down development of Dafny the language, flaky tests label Feb 21, 2024
@robin-aws
Copy link
Member

Let's make it an actual Dafny feature while we're at it: #4680

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind: language development speed Slows down development of Dafny the language, flaky tests
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@keyboardDrummer @robin-aws