Project

General

Profile

Bug #12

Parser error: any gml formula gives "index out of bounds"

Added by Thorsten Wißmann over 3 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
Immediate
Assignee:
-
Start date:
05/01/2014
Due date:
% Done:

0%


Description

The old version from februrary 2014 gives:

$ ./coalg sat GML <<< "{>= 1 r} p" 

Formula 1: satisfiable

But the current version gives:

./coalg.native sat GML <<< "{>= 1 r} p" 

Formula 1: Fatal error: exception Invalid_argument("index out of bounds")

History

#1 Updated by Thorsten Wißmann over 3 years ago

The according backtrace:

OCAMLRUNPARAM=b ./coalg.native sat GML <<< "{>= 1 r} p" 

Formula 1: Fatal error: exception Invalid_argument("index out of bounds")
Raised by primitive operation at file "src/lib/MiscSolver.ml", line 249, characters 13-26
Called from file "src/lib/CoAlgLogics.ml", line 277, characters 13-54
Called from file "src/lib/MiscSolver.ml", line 321, characters 23-26
Called from file "src/lib/CoAlgLogics.ml", line 280, characters 2-27
Called from file "src/lib/CoAlgReasoner.ml", line 476, characters 12-31
Called from file "src/lib/CoAlgReasoner.ml", line 483, characters 16-32
Called from file "src/lib/CoAlgReasoner.ml", line 495, characters 6-30
Called from file "src/lib/CoAlgReasoner.ml", line 592, characters 8-23
Called from file "src/lib/CoAlgReasoner.ml", line 605, characters 2-20
Called from file "src/lib/CoAlgReasoner.ml", line 633, characters 6-23
Called from file "src/coalg/coalg.ml", line 89, characters 19-76
Called from file "src/coalg/coalg.ml", line 174, characters 15-27

#2 Updated by Thorsten Wißmann over 3 years ago

  • Status changed from New to Closed

Fixed by b5352205.

Also available in: Atom PDF