Search results

<code>jq</code> project: UTBot cannot generate tests, KLEE internal errors, Plugin cannot re-connect to the server

bugSomething isn't workingSomething isn't working

wrong generationInadequate or empty test suite generatedInadequate or empty test suite generated

Status: Open.

#562 In UnitTestBot/UTBotCpp;

· tyuldashev opened on Dec 5, 2022

<code>ferror</code> confuses UTBot so it creates failing regression test

bugSomething isn't workingSomething isn't working

wrong generationInadequate or empty test suite generatedInadequate or empty test suite generated

Status: Open.

#556 In UnitTestBot/UTBotCpp;

· tyuldashev opened on Nov 29, 2022

When file is opened inside tested function many generated regression tests fail

bugSomething isn't workingSomething isn't working

wrong generationInadequate or empty test suite generatedInadequate or empty test suite generated

Status: Open.

#555 In UnitTestBot/UTBotCpp;

· tyuldashev opened on Nov 29, 2022

Two identical tests with expected different results

bugSomething isn't workingSomething isn't working

wrong generationInadequate or empty test suite generatedInadequate or empty test suite generated

Status: Open.

#547 In UnitTestBot/UTBotCpp;

· tyuldashev opened on Nov 21, 2022

Cannot run test generated for structures named after C++ keyword

bugSomething isn't workingSomething isn't working

wrong generationInadequate or empty test suite generatedInadequate or empty test suite generated

Status: Open.

#535 In UnitTestBot/UTBotCpp;

· tyuldashev opened on Nov 11, 2022

Cannot run test generated for function with parameter named after C++ keyword

bugSomething isn't workingSomething isn't working

wrong generationInadequate or empty test suite generatedInadequate or empty test suite generated

Status: Open.

#534 In UnitTestBot/UTBotCpp;

· tyuldashev opened on Nov 11, 2022

[BUG] KLEE internal error when generating test with function pointer

bugSomething isn't workingSomething isn't working

wrong generationInadequate or empty test suite generatedInadequate or empty test suite generated

Status: Open.

#478 In UnitTestBot/UTBotCpp;

· tyuldashev opened on Sep 28, 2022

[BUG] Not enough tests generated for 'double' and 'long double'

bugSomething isn't workingSomething isn't working

wrong generationInadequate or empty test suite generatedInadequate or empty test suite generated

Status: Open.

#418 In UnitTestBot/UTBotCpp;

· tyuldashev opened on Aug 30, 2022

No regression tests for array as function parameter [C standard test]

c-syntaxRelated to generation tests for CRelated to generation tests for C

wrong generationInadequate or empty test suite generatedInadequate or empty test suite generated

Status: Open.

#327 In UnitTestBot/UTBotCpp;

· belous-dp opened on Jul 15, 2022

Generated two tests with the same input and different output [BUG]

bugSomething isn't workingSomething isn't working

cpp-syntaxRelated to generation tests for C++Related to generation tests for C++

wrong generationInadequate or empty test suite generatedInadequate or empty test suite generated

Status: Open.

#313 In UnitTestBot/UTBotCpp;

· operasfantom opened on Jul 4, 2022