HasLLVMAnn | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
HasPtrWidth | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
headerValue | |
1 (Function) | Lang.Crucible.LLVM.SimpleLoopInvariant |
2 (Function) | Lang.Crucible.LLVM.SimpleLoopFixpoint |
HeapAlloc | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
HypotheticalInvariant | Lang.Crucible.LLVM.SimpleLoopInvariant |