[Advcomparch] Προβλημα στο τρεξιμο των benchmarks

[Fivos T]

Καλησπέρα,


Όταν τρέχω κάποιο benchmark μέσω του sniper, παίρνω το εξής error:


Pin 2.14 kit 71293
E:  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


Η διαδικασία τερματίζεται, και το sim.out που προκύπτει είναι άδειο.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cslab.ece.ntua.gr/pipermail/advcomparch/attachments/20170524/0d491727/attachment.htm>