search

jwaldmann / ceta-postproc

GNU Lesser General Public License v3.0
0 stars 0 forks source link

ignore EOF at end (on starexec) #1

Closed jwaldmann closed 8 years ago

jwaldmann commented 10 years ago

on starexec, the end of the input file looks like this:

0.00/0.08   ><name 
0.00/0.08   >matchbox</name
0.00/0.08   ><version 
0.00/0.08   >03-February-2013</version></tool></proofOrigin></origin></certificationProblem>

0.00/0.09   EOF

resulting in

05/17/14 12:29:15 PM CDT: getting postprocessor
05/17/14 12:29:15 PM CDT: executing post processor

error: ""<?xml version='1.0' encoding='UTF-8' ?>\n\n\n<ce..."" (line 1214, column 1):
unexpected 'E'
expecting comment, processing instruction or end of input

postProcessor: user error (Pattern match failure in do expression at Main.hs:73:5-9)
jwaldmann commented 8 years ago

the hack fixes the issue.