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

Automatic checking for cycles of garbage when running on Rust? #606

Open
robin-aws opened this issue Sep 22, 2024 · 0 comments
Open

Automatic checking for cycles of garbage when running on Rust? #606

robin-aws opened this issue Sep 22, 2024 · 0 comments
Milestone
Support the DB ES...

Comments

@robin-aws
Copy link
Contributor

The Dafny Rust code generator wraps just about everything in Rc. There is Rust-based tooling for detecting cycles of garbage. Can we have the polymorph workflow automatically apply this as part of say make test_rust?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Support the DB ESDK and MPL (GA)
Development

No branches or pull requests
1 participant
@robin-aws