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: