
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=utf-8">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <p><font size="+1">Hi,</font></p>

    <p><font size="+1">I have watched the Building a Checker in 24 Hours

        slide

        (<a class="moz-txt-link-freetext" href="http://llvm.org/devmtg/2012-11/Zaks-Rose-Checker24Hours.pdf">http://llvm.org/devmtg/2012-11/Zaks-Rose-Checker24Hours.pdf</a>).

        It mentioned that one limitation of the Constraint Solver is

        that it can't handle multiple symbols (page 83). The talk was

        given in 2012. I'm wondering if this limitation has been removed

        now in 2018.</font><br>

    </p>

    <pre class="moz-signature" cols="72">-- 

Thanks,

Lou

</pre>

  </body>

</html>