search

ivan-z-petrovic / open-geo-prover

Automatically exported from code.google.com/p/open-geo-prover [author of the original repository on GoogleCode]
3 stars 2 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