<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-7">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Cambria,Serif;" dir="ltr">
<p>Καλησπέρα,</p>
<p><br>
</p>
<p>Όταν τρέχω κάποιο benchmark μέσω του sniper, παίρνω το εξής error:</p>
<p><br>
</p>
<p></p>
<div>Pin 2.14 kit 71293<br>
E:&nbsp; Unable to load /home/fivosts/Desktop/advcomp/sniper-6.1/sift/recorder/sift_recorder: /home/fivosts/Desktop/advcomp/sniper-6.1/sift/recorder/sift_recorder: undefined symbol: _ZN10LEVEL_BASE9KNOBVALUEImE10FromStringERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE</div>
<p></p>
<p><br>
</p>
<p>Η διαδικασία τερματίζεται, και το sim.out που προκύπτει είναι άδειο.</p>
<p><br>
</p>
<p><br>
</p>
</div>
</body>
</html>