Sebastien Soudan
Results
1
issues of
Sebastien Soudan
Might have missed something but so far I think the following is happening: Rust `intrinsics::sinf32()` is substituted with C `sinf()` which itself seems to be substituted inside CBMC. This code...
[C] Bug
T-User
T-CBMC