|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <stdint.h>Functions | |
| uint32_t | htonl (uint32_t hostlong) |
| uint16_t | htons (uint16_t hostshort) |
| uint32_t | ntohl (uint32_t netlong) |
| uint16_t | ntohs (uint16_t netshort) |
| uint32_t htonl | ( | uint32_t | hostlong | ) |
| uint16_t htons | ( | uint16_t | hostshort | ) |
| uint32_t ntohl | ( | uint32_t | netlong | ) |
| uint16_t ntohs | ( | uint16_t | netshort | ) |