2 ms·
You might be interested in Prusti: https://github.com/viperproject/prusti-dev https://github.com/viperproject/prusti-dev
by slavak 4y ago
You might be interested in Prusti: https://github.com/viperproject/prusti-dev https://github.com/viperproject/prusti-dev