Closed WissenIstNacht closed 3 years ago
The following code computes program statistics for a Viper AST.
https://github.com/viperproject/viperserver/blob/9be20638d683f948a4f977927009af55b24d6682/src/main/scala/viper/server/core/VerificationWorker.scala#L129-L234
It should therefore be moved to the Silver repository.
Decided to move this code to viper.server.utility.ProgramDefinitionsProvider.
viper.server.utility.ProgramDefinitionsProvider
The following code computes program statistics for a Viper AST.
https://github.com/viperproject/viperserver/blob/9be20638d683f948a4f977927009af55b24d6682/src/main/scala/viper/server/core/VerificationWorker.scala#L129-L234
It should therefore be moved to the Silver repository.