I trying to running c++ but error occurrenced
this error JPG
Im using ubuntu 13.03 and 64bit
// and my source , llvm-g++ compile is well done
#include <iostream>
#include <klee/klee.h>
using namespace std;
class Car
{
private:
int position;
int fuel;
public:
Car()
{
position=0;
fuel=10;
}
int forward()
{
position++;
fuel--;
return check();
}
int backward()
{
int result;
position--;
fuel--;
return check();
}
void charge()
{
fuel+=5;
if(fuel>10)fuel=10;
}
int check()
{
if(fuel<0)
return -1;
if(position==7)
return 1;
else
return 0;
}
};
int main()
{
Car car;
char path[24];
klee_make_symbolic(path, 24, "path");
//cin>>path;
int success=0, i, result;
for(i=0;path[i]!='￦0';i++)
{
if(path[i]=='f')
{
result=car.forward();
if(result==1)
{
success=1;
break;
}
else if(result==-1)
{
return -1;
}
}
else if(path[i]=='b')
{
result=car.backward();
if(result==1)
{
success=1;
break;
}
else if(result==-1)
{
return -1;
}
}
else if(path[i]=='c')
{
car.charge();
}
}
if(success)
{
cout<<"Success!"<<endl<<"Answer: "<<path<<endl;
return 1;
}
cout<<"Failed..."<<endl;
return 0;
}
#include <klee/klee.h>
using namespace std;
class Car
{
private:
int position;
int fuel;
public:
Car()
{
position=0;
fuel=10;
}
int forward()
{
position++;
fuel--;
return check();
}
int backward()
{
int result;
position--;
fuel--;
return check();
}
void charge()
{
fuel+=5;
if(fuel>10)fuel=10;
}
int check()
{
if(fuel<0)
return -1;
if(position==7)
return 1;
else
return 0;
}
};
int main()
{
Car car;
char path[24];
klee_make_symbolic(path, 24, "path");
//cin>>path;
int success=0, i, result;
for(i=0;path[i]!='￦0';i++)
{
if(path[i]=='f')
{
result=car.forward();
if(result==1)
{
success=1;
break;
}
else if(result==-1)
{
return -1;
}
}
else if(path[i]=='b')
{
result=car.backward();
if(result==1)
{
success=1;
break;
}
else if(result==-1)
{
return -1;
}
}
else if(path[i]=='c')
{
car.charge();
}
}
if(success)
{
cout<<"Success!"<<endl<<"Answer: "<<path<<endl;
return 1;
}
cout<<"Failed..."<<endl;
return 0;
}
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
