|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
A cone's 128-bit key. More...
#include <fingerprint.h>
Public Attributes | |
| uint64_t | lo |
| uint64_t | hi |
A cone's 128-bit key.
Wide enough to stand alone, so a cache need not store and re-compare the text it summarises.
| uint64_t ssa_cone_keyt::hi |
| uint64_t ssa_cone_keyt::lo |