Καλησπέρα,
Όταν τρέχω κάποιο 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 που προκύπτει είναι άδειο.