ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
ssa_cone_keyt Struct Reference

A cone's 128-bit key. More...

#include <fingerprint.h>

Public Attributes

uint64_t lo
uint64_t hi

Detailed Description

A cone's 128-bit key.

Wide enough to stand alone, so a cache need not store and re-compare the text it summarises.

Member Data Documentation

◆ hi

uint64_t ssa_cone_keyt::hi

◆ lo

uint64_t ssa_cone_keyt::lo

The documentation for this struct was generated from the following file: