ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
lldiv_t Struct Reference
#include <
stdlib.h
>
Public Attributes
long long
quot
long long
rem
Member Data Documentation
◆
quot
long long lldiv_t::quot
◆
rem
long long lldiv_t::rem
The documentation for this struct was generated from the following file:
src/c2goto/headers/
stdlib.h
lldiv_t
Generated by
1.15.0