https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692015-07-15T15:10:35ZOpen-Source ProjectsMicroTESK - Task #6108: create environment variable(s) for SMT solver(s)https://forge.ispras.ru/issues/6108?journal_id=240092015-07-15T15:10:35ZAndrei Tatarnikovandrewt@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>r4422. Now you can use the <code>Z3_PATH</code> and <code>CVC4_PATH</code> environment variables to specify path to the solver executable.</p>
<p>See how this is done the build.xml.</p> MicroTESK - Task #6108: create environment variable(s) for SMT solver(s)https://forge.ispras.ru/issues/6108?journal_id=240162015-07-16T06:47:02ZAndrei Tatarnikovandrewt@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>100</i></li><li><strong>Published in build</strong> set to <i>2.2.10</i></li></ul>