Comment Comment by slavak You might be interested in Prusti: https://github.com/viperproject/prusti-dev parent slavak 4 years ago
