implemented the write_reward_label no segfault anymore but we get now: mapa2lts-dist, ** error **: Attempt to reverse engineer 0.000000 failed
implemented the write_reward_label
no segfault anymore but we get now:
mapa2lts-dist, ** error **: Attempt to reverse engineer 0.000000 failed

utwente-fmt/ltsmin,Sybe/composition,buschko/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,Sybe/composition,alaarman/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,Sybe/composition,vbloemen/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,buschko/ltsmin,thedobs/LTSmin,lordqwerty/ltsmin,trolando/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,thedobs/LTSmin,vbloemen/ltsmin,thedobs/LTSmin,trolando/ltsmin,buschko/ltsmin,trolando/ltsmin,lordqwerty/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,lordqwerty/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,thedobs/LTSmin,Sybe/composition,alaarman/ltsmin,utwente-fmt/ltsmin,buschko/ltsmin,trolando/ltsmin,lordqwerty/ltsmin