Issue 58 in fuxi: Test suites need to be documented and harnesses updated to match latest changes

[fu...@googlecode.com]

Status: Accepted
Owner: chime...@gmail.com
Labels: Type-Defect Priority-Medium

New issue 58 by chime...@gmail.com: Test suites need to be documented and
harnesses updated to match latest changes
http://code.google.com/p/fuxi/issues/detail?id=58

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'

[fu...@googlecode.com]

Updates:
Status: Fixed

Comment #1 on issue 58 by chime...@gmail.com: Test suites need to be

documented and harnesses updated to match latest changes
http://code.google.com/p/fuxi/issues/detail?id=58

This issue was closed by revision 957cda478ffd.