jennalwise / graphblas-verif

Formal verification of the GraphBLAS C API implementation by Tim Davis using Frama-C/WP.
Other
5 stars 1 forks source link

Verify global and local thread storage #11

Open jennalwise opened 6 years ago

jennalwise commented 6 years ago

Currently, not verifying anything about global and local thread storage structs during method/function calls.