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: