verifier chops last char of goal when printing


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
schroederc assigned this task to zarko.Via WebMay 31 2017, 4:10 PM
schroederc added a subscriber: schroederc.

What's the status of this?

shahms added a subscriber: shahms.Via WebWed, Jun 13, 9:33 AM

Bulk reassignment prior to migration, feel free to give to someone else.

Add Comment