<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css">
<!--
p, li
{white-space:pre-wrap}
-->
</style><style type="text/css" id="owaParaStyle"></style>
</head>
<body style="font-weight: 200; font-style: normal; " fpstyle="1" ocsi="0">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;"><br>
<div style="font-family: 'DejaVu Sans [bitstream]'; "><font size="3"><br>
</font></div>
<div style="font-family: 'DejaVu Sans [bitstream]'; "><font size="3">thanks! that is exactly what I needed in 1.</font></div>
<div style="font-family: 'DejaVu Sans [bitstream]'; font-size: 9pt; "><br>
</div>
<div>
<div><br>
</div>
<div style="font-family: 'Times New Roman'; font-size: 16px; color: rgb(0, 0, 0); ">
<hr tabindex="-1">
<div id="divRpF890527" style="direction: ltr; "><font face="Tahoma" size="2" color="#000000"><b>From:</b> vc-devel-bounces@compeng.uni-frankfurt.de [vc-devel-bounces@compeng.uni-frankfurt.de] on behalf of Matthias Bach [marix@marix.org]<br>
<b>Sent:</b> Thursday, August 22, 2013 6:01 PM<br>
<b>To:</b> vc-devel@compeng.uni-frankfurt.de<br>
<b>Subject:</b> Re: Divide Vc tests<br>
</font><br>
</div>
<div></div>
<div>
<p style="margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; text-indent:0px">
Hi Igor,</p>
<p style="margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; text-indent:0px">
</p>
<p style="margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; text-indent:0px">
Am Donnerstag, 22. August 2013, 15:57:39 schrieb Kulakov, Igor:<br>
</p>
<p style="margin-top:0px; margin-bottom:0px; margin-left:40px; margin-right:40px; text-indent:0px">
<span style="font-family:'Tahoma'; font-size:10pt; color:#000000">1. you have ~100 tests. It takes time and it is hard to find and check specific tests in the output. May be it would be usefully to divide them on several targets? Then one can check see only
test for example by running "make testsee".</span></p>
<p style="margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; text-indent:0px">
</p>
<p style="margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; text-indent:0px">
The tests are based on ctest. You can use 'ctest -N' instead of 'make test' to get a list of all tests. You can use 'ctest -R <expr>' to run only tests matching '<expr>'.</p>
<p style="margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; text-indent:0px">
</p>
<p style="margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; text-indent:0px">
Regards,</p>
<p style="margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; text-indent:0px">
Matthias B.</p>
<p style="margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; text-indent:0px">
-- </p>
<p style="margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; text-indent:0px">
Matthias Bach</p>
<p style="margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; text-indent:0px">
www.marix.org</p>
<p style="margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; text-indent:0px">
</p>
<p style="margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; text-indent:0px">
„Der einzige Weg, die Grenzen des Möglichen zu finden, ist ein klein wenig</p>
<p style="margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; text-indent:0px">
über diese hinaus in das Unmögliche vorzustoßen.“ - Arthur C. Clarke</p>
</div>
</div>
</div>
</div>
</body>
</html>