search

Wallly / open-geo-prover

Automatically exported from code.google.com/p/open-geo-prover
0 stars 0 forks source link

Theorem proving fails with stack overflow in construction of perpendicular line #30

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
In attachment there is theorem whose proving fails with following error:

Exception in thread "main" java.lang.StackOverflowError
        at java.util.ArrayList.grow(ArrayList.java:242)
        at java.util.ArrayList.ensureExplicitCapacity(ArrayList.java:216)
        at java.util.ArrayList.ensureCapacityInternal(ArrayList.java:208)
        at java.util.ArrayList.add(ArrayList.java:440)
        at
com.ogprover.pp.tp.geoconstruction.PerpendicularLine.getInputLabels(Perpendicula
rLine.java:502)

Original issue reported on code.google.com by ivan.petrovic.matf on 16 Jan 2015 at 7:55

Attachments:

GoogleCodeExporter commented 9 years ago 
Issue is fixed by revision r325.

Original comment by ivan.petrovic.matf on 16 Jan 2015 at 7:57