Update Submodules - Githubissues

viperproject / gobra

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

https://gobra.ethz.ch

Other

111 stars 28 forks source link

Closed viper-admin closed 6 months ago

viper-admin commented 6 months ago

Updates ViperServer from 9ba8d2b0fe1f466f9ab301e2fb87d80b205a69df to 15e19d245d423769505cd647ffd1eafa3e875569.

jcp19 commented 6 months ago

Failing on the step "Creating annotations" - all tests are passing.