def should_enable_memory_profiling()

in template-for-repository/proofs/run-cbmc-proofs.py [0:0]


def should_enable_memory_profiling(litani_caps, args):
    if args.no_memory_profile:
        return False
    return "memory_profile" in litani_caps