Skip to content

Not generate tests with extern variable [BUG] #514

Closed
#522
Closed
Not generate tests with extern variable [BUG]#514
#522
Assignees
Lana243
Labels
bugSomething isn't working

Description

@ladisgin
ladisgin
opened on Oct 24, 2022

To Reproduce
Try generate tests for next code

int abs(int a){
    if (a < 0) {
        return -1 * a;
    }
    return a;
}

#define MAX_INDEX 10

extern unsigned g_arrayNumber[MAX_INDEX];

unsigned GetNum(unsigned index)
{
    return g_arrayNumber[index];
}

Test not generated

in UTBot logs
2022-10-24 13:22:25.130 [utbot-B29P ] RunKleeTask.cpp:60 1| . . KLEE: ERROR: Unable to load symbol(g_arrayNumber) while initializing globals

Activity

  1. ladisgin
    added
    bugSomething isn't working
    on Oct 24, 2022
  2. ladisgin
    assigned
    Lana243
    on Oct 24, 2022
  3. korifey
    added this to UTBot C/C++on Oct 24, 2022
  4. korifey
    moved this to Todo in UTBot C/C++on Oct 24, 2022
  5. Lana243
    moved this from Todo to In Progress in UTBot C/C++on Oct 26, 2022
  6. Lana243
    closed this as completedin #522on Nov 28, 2022
  7. Lana243
    added a commit that references this issue on Nov 28, 2022

    External variables support (closes #514) (#522)

    54ca965
  8. Repository owner moved this from In Progress to Done in UTBot C/C++on Nov 28, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions