Chenfeng Wei comments

Repositories
Issues
Comments

Results 21 comments of


                                            Chenfeng Wei

[stacktrace] Shall we invert the order?

I think we could achieve this result without the `--show-stacktrace` options. `--overflow-check --k-induction --multi-property` ``` Violated property: file file.c line 52 column 5 function enqueue dereference failure: NULL pointer !overflow("+",...