You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hello,
I've been working toward implementing property based testing with quickcheck, issue #970 and the tests I have so far are generating some code that fails.
Input C/C++ Header
int ***** simple_decl_71; // fail, 5 levels// int **** simple_decl_71; // succeed, 4 levels// int ***** simp_decl_71; // succeed, 5 levels with variable name less than 13 characters
It seems like this is only an issue for globals as far as I can tell because the following code succeeds
structstruct_43 {
int ***** simple_decl_71; // succeed, 5 levels with variable name greater than 12 characters
};
Invocation
I've been using the csmith-fuzzing/predicate.py script to test so the failing invocation would look like this assuming that line is in a header named multi-level.h
I can't reproduce the behavior you're describing however. I wonder if it is possibly due to an older version of rustfmt? Do you experience the same issue with either
adding --no-rustfmt-bindings to the args passed to bindgen through predicate.py, or
Hello,
I've been working toward implementing property based testing with quickcheck, issue #970 and the tests I have so far are generating some code that fails.
Input C/C++ Header
It seems like this is only an issue for globals as far as I can tell because the following code succeeds
Invocation
I've been using the
csmith-fuzzing/predicate.py
script to test so the failing invocation would look like this assuming that line is in a header named multi-level.hActual Results
Generated code:
Expected Results
Generated code that looks like this:
The text was updated successfully, but these errors were encountered: