René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Bug Coverage ","articleBody":"Overview:\r\n-----------\r\nSet winner and Pause voting.\r\n\r\nPR : [https://github.com/Certora/tutorials-code/pull/6\r\nBordaMissingRule.spec](https://github.com/Certora/tutorials-code/pull/8)\r\n\r\nA run of the new `BordaMissingRule.spec` on the original `Borda.sol` -\u003e\u003e https://prover.certora.com/output/547/9c7f0d95bde54d29b8d69e0ec27cfc51?anonymousKey=32f03dcc32835daf5c901e9306805db81ed9903c\r\n\r\nA run of the new `BordaMissingRule.spec` on the `BordaNewBug.sol` -\u003e\u003e https://prover.certora.com/output/547/2160830e2fd74ebc8d40a8e3659aac42?anonymousKey=46ff60261303d503578de0fa3964c3eeafa9c512\r\n\r\nA run of the new `Borda.spec` on the `BordaNewBug.sol` -\u003e\u003e \r\nhttps://prover.certora.com/output/547/499585e8e92c4538980b7f0d48b528cd?anonymousKey=0730884c87d843db86f6027ce846e67062a93da2\r\n","author":{"url":"https://github.com/1nc0gn170","@type":"Person","name":"1nc0gn170"},"datePublished":"2023-09-27T23:44:54.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":4},"url":"https://github.com/10/tutorials-code/issues/10"}