File value.cpp

ir/value.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/value.h"

nothing calls this directly

toStringMethod · 0.45

isVoidMethod · 0.45

emptyMethod · 0.45

no test coverage detected