MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / memory.cpp

File memory.cpp

ir/memory.cpp:None–None  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1// Copyright (c) 2018-present The Alive2 Authors.
2// Distributed under the MIT license that can be found in the LICENSE file.
3
4#include "ir/memory.h"

Callers

nothing calls this directly

Calls 15

memory_unusedFunction · 0.85
ptrNonpoisonMethod · 0.80
ptrMethod · 0.80
printUnsignedMethod · 0.80
ptrByteoffsetMethod · 0.80
nonptrNonpoisonMethod · 0.80
nonptrValueMethod · 0.80
isAllOnesMethod · 0.80
printHexadecimalMethod · 0.80
isUIntMethod · 0.80
numStoredBitsMethod · 0.80
byteNumberMethod · 0.80

Tested by

no test coverage detected