bugs/index.html: added link to Z3 bug

Author: roseabhi

bugs/index.html

@@ -60,10 +60,10 @@ <h3 class="masthead-title">
                <li>The maintainer accepted these bug fixes with <a href=https://compiler.ai/bugs/dietlibc_bug_response.pdf>thanks</a>. <a href=http://www.cse.iitd.ac.in/~abhir>Abhishek Rose</a> was <a href=https://www.fefe.de/dietlibc/credits.html>acknowledged as a Dietlibc contributor</a> by virtue of these fixes.</li>
             </ul>
             </li>
-            <li> <a href=https://github.com/SRI-CSL/yices2/issues/146>Bug in the Yices SMT Solver</a>
+            <li> Bugs in <a href=https://github.com/SRI-CSL/yices2/issues/146>Yices</a> and <a href=https://github.com/Z3Prover/z3/issues/7132>Z3</a> SMT solvers
               <ul>
-                <li>This bug was found by differentially testing the output of one SMT solver against another during our verification runs for C programs.</li>
-                <li>This bug report confirms that verification tools themselves are not immune to bugs. But it is usually possible to identify these bugs through simple testing, as we do in our tool.</li>
+                <li>These bugs were found by differentially testing the output of one SMT solver against others during our verification runs for C programs.</li>
+                <li>Such bugs confirm that verification tools themselves are not immune to bugs. But it is usually possible to identify these bugs through simple testing, as we do in our tool.</li>
               </ul>
             </li>
             <li>