search

jwaldmann / ceta-postproc

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

parse error in relative SRS proof #7

Closed jwaldmann closed 7 years ago

jwaldmann commented 10 years ago

http://nfa.imn.htwk-leipzig.de/termcomp-devel/show_job_pair/26569903

07/17/14 10:08:00 AM CDT: processing attribute 1 (pair=26569903, job=4832, key='starexec-result', value='"REJECTED-YES"')
07/17/14 10:08:00 AM CDT: processing attribute 2 (pair=26569903, job=4832, key='original-result', value='"YES"')
07/17/14 10:08:00 AM CDT: processing attribute 3 (pair=26569903, job=4832, key='consistency', value='"CPF_PARSE_ERROR"')
jwaldmann commented 7 years ago

now all the parsing is done by CeTA. This issue is obsolete.