[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Checking FIFO module
Dear Leslie and Stephan,
Thank you so much for your quick response, detailed explanations and advice on future reading, I really appreciate it! I definitely misinterpreted the error message and mistook parameterized instantiation for module parameter substitution.
Thank you again!