viperproject/viperserver

Send dumb SymbExLog message via ViperServer

viper-admin opened this issue · 3 comments

viper-admin commented

Pull request 🔀 created by bitbucket user aurecchia on 2018-05-24 12:19
Last updated on 2018-07-09 12:42
Original Bitbucket pull request id: 6

Participants:

  • @aterga (reviewer)
  • bitbucket user aurecchia

Source: cca2a72 on branch aurecchia/viperserver/default
Destination: 85d5914 on branch master

State: DECLINED

viper-admin commented

@aterga commented on 2018-05-30 12:54

Outdated location: line 270 of src/main/scala/viper/server/VerificationWorker.scala

Please put this line inside the cases below.

viper-admin commented

Bitbucket user aurecchia commented on 2018-05-31 12:30

@aterga I actually just reverted the System.currentTimeMillis() thing. We probably don't need to have the same time in both messages.

viper-admin commented

Bitbucket user aurecchia commented on 2018-05-31 12:31

Outdated location: line 9 of src/test/scala/AllTests.scala

BTW, I had to remove this import (which was not used), otherwise the project would not build. Do you have it on your side? Does it build?