Method getTypeConstraints

ir/precondition.cpp:17–19 · view source on GitHub ↗

Source from the content-addressed store, hash-verified

15	namespace IR {
16
17	expr Predicate::getTypeConstraints() const {
18	return true;
19	}
20
21	void Predicate::fixupTypes(const Model &m) {
22	// do nothing

nothing calls this directly

enforceIntTypeMethod · 0.80

no test coverage detected