Omar Tarek
Results
1
comments of
Omar Tarek
I finished verifying the absence of panics and overflows. When I run Prusti from the IDE, the verification succeeds, but when I run the CI tests locally, they fail producing...