Closed painsAgains closed 7 months ago
The MINER work was finished years ago. It may be different to find the URL of the bugs. We submitted the discovered issues to the Gitlab git's issues. Some of the issues have been labeled as bug by the community, while others match known bug issues.
The MINER work was finished years ago. It may be different to find the URL of the bugs. We submitted the discovered issues to the Gitlab git's issues. Some of the issues have been labeled as bug by the community, while others match known bug issues.
Where can I find these issues that have been marked as bugs by gitlab please? Can you tell me the URL of these issues? There are too many issues and I can't find the relevant ones. Thank you very much!
Hi, here are some of our reports.
You can find more on the gitlab issue website.
Thanks a lot!
Please let us know if you find any more issues. Are we good to close this one?
Sure! You can colse this issue. Thank you again
Hi! I see that the paper mentions that the 7 logic errors found by MINER have been confirmed by the developers. I was wondering if the logic errors regarding Gitlab were submitted to the Gitlab community? If it was submitted to the official community, can I see the URL? Looking forward to your reply