Skip to content

cannot generate new testcase for a simple case #145

@xiaozhouqi

Description

@xiaozhouqi

Hi, i have installed symcc sucessfully and tried the demo in tutorials, all thing goes well. So i want to test whether it support complex class. Below, it's my test code.
Firstly, compiling this code using "sym++ vec.cpp -o vec" command.
Secondly, "mkdir results" and "export SYMCC_OUTPUT_DIR=......."
Finally, run the instrustmented program, " cat seed | ./vec". where seed is well-defined test case.
After, it doesn't return me any new generated testcases, i donn't know the reason. Plese help me, thank you.

#include
#include
#include
#include

using namespace std;

class People
{
public:
People(string name, int age, vector entry) : name(name), age(age), entry(entry) {}
public:
string name;
int age;
vector entry;

};

bool FunA(People *p)
{
if (p->entry[0] == 1234) {
return true;
} else if (p->entry[1] == 1234) {
return true;
} else {
return false;
}
}

int main(int argc, char **argv)
{
string temp;
vector res;
while(getline(cin, temp)) {
res.push_back(temp);
}
string name = res[0];
int age = stoi(res[1]);
vector entry;
for (int i = 2; i < res.size(); ++i) {
entry.push_back(stoi(res[i]));
}
People p(name, age, entry);
FunA(&p);
return 0;
}

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions