potassco / clintest

🧪 A test framework for clingo programs
https://potassco.org/clintest/
MIT License
7 stars 1 forks source link

Clintest as helper, wrong configuration generated #8

Closed owrel closed 2 years ago

owrel commented 2 years ago

The output of the call test 2.1 is wrong, the configuration generated is wrong and shouldn't be here :warning: solving this bug might make create an other bug where no test will be executed because of the lack of genreated configuration

testobj = {
        "testDescription" : [{
            "testName"      : "Must be SAT",
            "functionName"  : "sat",
            "arguments"     : True 
        }]
    }

    ctl = clingo.Control('0')
    ctl.load('example/simpleexample/color.lp')
    mr = clintest.ModelRegister()
    ctl.solve(on_model=mr)
    ct = clintest.Clintest([testobj])
    ct(display=True,mr=mr)

Output

TEST 2.1

Test #1 on : Must be SAT
Configuration : {'controlParameters': '0'}
        Result PASS
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Test executed in 1.5974044799804688e-05 ms
Result on call : Success
- - - - - - - - - - - -
owrel commented 2 years ago

In the output, the test executed is right, the informations provided and generated might create confusion