Felipe R. Monteiro issues

Repositories
Issues
Comments

Results 21 issues of


                                            Felipe R. Monteiro

Integrate `mmap` model from CBMC

Currently, we have harnesses blocked by unsupported `libc` libraries. Current blockers: - `mmap`; - `sysconf`; We should rely on CBMC C Library models while make sure that customers can create...

[E] Unsupported Construct

T-CBMC