Skip to content

Changes to Reporter

Viktor Kuncak requested to merge github/fork/mario-bucev/reporter-changes into main

Created by: mario-bucev

This PR is essentially for https://github.com/epfl-lara/stainless/issues/1403

  • Change onCompilerProgress to a more generic emit, allowing to print any (1-line) progress message
  • Change getLineContent to return a String instead of printing

Merge request reports