We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
In current realization we use constructor from initializer list for tests
Point p = {0, 0};
And default constructor for *_klee.cpp files
Point p;
it's work in class that has constructor from all fields like
class point { int x; int y; point(int x, int y) : x(x), y(y) {} };
but some class hasn't this constructors, or hasn't any constructor
class point { int x; int y; double dist; point() = delete; point(int x, int y) : x(x), y(y) { dist = sqrt(x*x + y*y); } };
The text was updated successfully, but these errors were encountered:
No branches or pull requests
In current realization we use constructor from initializer list for tests
And default constructor for *_klee.cpp files
Point p;
it's work in class that has constructor from all fields like
but some class hasn't this constructors, or hasn't any constructor
The text was updated successfully, but these errors were encountered: