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