In reply to Rsignori92:
Problem is not about these system taks. They work. You can pass directly clock or rest. Problem is about that I cannot pass srquence to checker but this is allowed according to LRM.
In reply to Rsignori92:
Problem is not about these system taks. They work. You can pass directly clock or rest. Problem is about that I cannot pass srquence to checker but this is allowed according to LRM.