Zhicheng issues

Repositories
Issues
Comments

Results 6 issues of


                                            Zhicheng

Allow writing function contracts in webassembly code

segfault during symbolic execution

https://github.com/OCamlPro/owi/blob/0c31d4355e62390ec6170f01e3e455c96d08c97b/example/c/primes2.c Running this with `owi c` is ok but `owi c --e-acsl` will sometimes lead to a segmentation error. It may be that in the instrumented code, pointers used for...

bug

add a owi_bool function

#374

add an "--add-assert-to-pc" option

When an assertion is done, add it to assume to boost symbolic execution

good first issue

checking unbounded quantification

[discussion 23/08](https://github.com/Laplace-Demon/E-ACSL-examples/blob/main/checking_unbounded_quantification.md)

Zhicheng

Allow writing function contracts in webassembly code

segfault during symbolic execution

add a owi_bool function

add an "--add-assert-to-pc" option

checking unbounded quantification

Design of Weasel