If a reception definition references a signal name that does not resolve, then a signal send invocation can still reference the reception using the incorrect name. However, constraint checking on the invocation results in a null pointer exception because the reception does not have any associated signal.
If a reception definition references a signal name that does not resolve, then a signal send invocation can still reference the reception using the incorrect name. However, constraint checking on the invocation results in a null pointer exception because the reception does not have any associated signal.