ghost
commented
9 years ago Recently occurred on test server travis-ci.org, too. See build #101: https://travis-ci.org/warthog-logic/warthog/builds/43094222
Open ghost opened 9 years ago
ghost
commented
9 years ago Recently occurred on test server travis-ci.org, too. See build #101: https://travis-ci.org/warthog-logic/warthog/builds/43094222
Usually the BasicFormulaFuzzing test is successful, but every now and then it fails. See below for details.
The StackOverflowError shown below references to line: def vars = List(this.asInstanceOf[Variable[FOL]])
Extract of the test output:
[info] BasicFormulaFuzzing [info] [info] all FOL formulas should [info] + be in PNF after converting them to PNF [info] + be in NNF after converting them to NNF [info] + have the same sets of free variables before and after PNF conversion [info] + only introduce new functions uppon skolemization [info] + not contain free variables after existential closure [info] + not contain free variables after universal closure [info] + be invariant wrt to their set of predicates on skolemization [info] ! be invariant wrt to their set of predicates on PNF conversion [error] StackOverflowError: (FOLVariable.scala:38) [error] org.warthog.fol.formulas.FOLVariable.vars(FOLVariable.scala:38) [error] org.warthog.fol.formulas.FOLFunction$$anonfun$vars$1.apply(FOLFunction.s cala:39) [error] org.warthog.fol.formulas.FOLFunction$$anonfun$vars$1.apply(FOLFunction.s cala:39) [error] org.warthog.fol.formulas.FOLFunction.vars(FOLFunction.scala:39) [error] org.warthog.fol.formulas.FOLFunction$$anonfun$vars$1.apply(FOLFunction.s cala:39) [error] org.warthog.fol.formulas.FOLFunction$$anonfun$vars$1.apply(FOLFunction.s cala:39) [error] org.warthog.fol.formulas.FOLFunction.vars(FOLFunction.scala:39) [error] org.warthog.fol.formulas.FOLFunction$$anonfun$vars$1.apply(FOLFunction.s cala:39) ...