viperproject/viperserver

Dynamic verification backends via reflection, stack trace messaging, proper logging support

viper-admin opened this issue · 1 comments

viper-admin commented

Pull request 🔀 created by @aterga on 2018-03-31 13:49
Last updated on 2018-05-10 21:09
Original Bitbucket pull request id: 5

Participants:

Source: 6dde360 on branch arshavir/viperserver-dynamic-backends/default
Destination: f2979f6 on branch master
Marge commit: 6dde360

State: MERGED

  • Increased the maximum number of messages in the reporter's message buffer (from 100 to 1000).

  • Added support for dynamically loading verification beckends (SilFrontend implementations).

  • Update the logger dependencies (entirely switch to pure logback since customization beyond scala-logging is needed anyway).

  • Implemented JSON marshaller for reporter.ExceptionReport

  • Impelmented proper logging; exceptions in verification backends are sent to the IDE via reporter.ExceptionReport.

  • Support SilFrontend implementations with the second constructor argument (i.e., reporter) in dynamic verification backend support.

  • Implement getLogFileWithGuarantee(): log file will be created in case a writable directory is passed via --logFile.

  • Changed the order of prints in ViperServerRunner.main (for IDE compatibility).

viper-admin commented

@aterga commented on 2018-03-31 13:50

Depends on viperproject/silver#395