verifier chops last char of goal when printing
OpenPublic

Description

The output of the verifier is this:
Could not verify all goals. The furthest we reached was:

devtools/codeindex/indexers/scala/testdata/verified/refs.scala:4:6-4:34  VariableX.node/kind variabl

But the input in this:

class refs {

//- @x defines/binding VariableX
//- VariableX.node/kind variable 
var x = 3
def func1(): Int = {

..

I expect the output to have an 'e' at the end of variable.
Note that adding whitespace at the end of the line doesn't help.

Also Its really not clear if "reached" means 'satisifed' here. i.e. was the goal met?

rbraunstein created this task.Via WebApr 26 2016, 2:57 PM
rbraunstein added a subscriber: rbraunstein.
schroederc changed the visibility of this Maniphest Task from "All Users" to "Public (No Login Required)".Via WebMay 16 2016, 3:29 PM

Add Comment