search

slitayem / fuxi

Automatically exported from code.google.com/p/fuxi
0 stars 0 forks source link

Test suites need to be documented and harnesses updated to match latest changes #58

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
What steps will reproduce the problem?
1. python test/testOWL.py --strategy=bfp

Gives:

Traceback (most recent call last):
  File "testOWL.py", line 361, in testOwl
    conclusionFile)
  File "testOWL.py", line 210, in MagicOWLProof
    identifyHybridPredicates = REASONING_STRATEGY == 'bfp')
TypeError: __init__() got an unexpected keyword argument 'decisionProcedure'

Original issue reported on code.google.com by chime...@gmail.com on 3 Nov 2012 at 5:11

GoogleCodeExporter commented 8 years ago 
This issue was closed by revision 957cda478ffd.

Original comment by chime...@gmail.com on 3 Nov 2012 at 9:24