Skip to content

Commit

Permalink
Updates ViperServer to latest commit on 'master'
Browse files Browse the repository at this point in the history
  • Loading branch information
@ArquintL
ArquintL committed Jan 22, 2025
1 parent 4f68b39 commit 182ac1d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion viperserver
Submodule viperserver updated 3 files
+1 −1 src/main/scala/viper/server/vsi/HTTP.scala
+9 −0 src/main/scala/viper/server/vsi/Terminator.scala
+1 −1 src/main/scala/viper/server/vsi/VerificationServer.scala

0 comments on commit 182ac1d

Please sign in to comment.