Run problem #1
Description
Recently, I tried to use the tool Mkcheck developed by you and there were some problems. I have completed the construction and tried to perform dependency graph inference. There are some errors that I cannot solve. I hope to get your help.
