Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

cannot generate new testcase for a simple case #145

Open
xiaozhouqi opened this issue Jul 25, 2023 · 0 comments
Open

cannot generate new testcase for a simple case #145

xiaozhouqi opened this issue Jul 25, 2023 · 0 comments

Comments

@xiaozhouqi
Copy link

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;
}

@xiaozhouqi xiaozhouqi changed the title cannot generate new testcase for a simple case。 cannot generate new testcase for a simple case Jul 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant