GitHub - Evrey/prusti_bug_min: Sample project that demonstrates a bug in Prusti

This repository has been archived by the owner on Jun 23, 2023. It is now read-only.

Evrey / prusti_bug_min Public archive

Sample project that demonstrates a bug in Prusti

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
hmm		hmm
.gitignore		.gitignore
Cargo.toml		Cargo.toml

About

Sample project that demonstrates a bug in Prusti

No releases published

No packages published