aql segfault
Trace:
> execute {a}
Segmentation fault
stack trace for process /media/data/zdrojaky/alt/automata-library/debug-master/aql2/aql2 (PID:26782):
/home/tomas/zdrojaky/alt/automata-library/debug-master/alib2common/libalib2common.so.0 : ext::SigHandler::handler(int)+0x81 _ZN3ext10SigHandler7handlerEi [0xa07cf; @ 0x7f650a97f7cf]
/usr/lib/libc.so.6 : ()+0x37e00 [0x37e00; @ 0x7f650a1dae00]
/home/tomas/zdrojaky/alt/automata-library/debug-master/alib2std/libalib2std.so.0 : ext::is_same_type(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)+0x5c _ZN3ext12is_same_typeERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES7_ [0x686f; @ 0x7f650a89786f]
/home/tomas/zdrojaky/alt/automata-library/debug-master/alib2abstraction/libalib2abstraction.so.0 : abstraction::ContainerRegistry::getAbstraction(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)+0x269 _ZN11abstraction17ContainerRegistry14getAbstractionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES8_ [0x1eed7; @ 0x7f650a8d3ed7]
/home/tomas/zdrojaky/alt/automata-library/debug-master/alib2abstraction/libalib2abstraction.so.0 : abstraction::Registry::getContainerAbstraction(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)+0x1e _ZN11abstraction8Registry23getContainerAbstractionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES8_ [0x10cb6; @ 0x7f650a8c5cb6]
/home/tomas/zdrojaky/alt/automata-library/debug-master/alib2cli/libalib2cli.so.0 : cli::ContainerStatement::translateAndEval(std::shared_ptr<abstraction::OperationAbstraction> const&, cli::Environment&) const+0x161 _ZNK3cli18ContainerStatement16translateAndEvalERKSt10shared_ptrIN11abstraction20OperationAbstractionEERNS_11EnvironmentE [0x467ed; @ 0x7f650ac257ed]
/home/tomas/zdrojaky/alt/automata-library/debug-master/alib2cli/libalib2cli.so.0 : cli::StatementList::translateAndEval(std::shared_ptr<abstraction::OperationAbstraction> const&, cli::Environment&) const+0x4d _ZNK3cli13StatementList16translateAndEvalERKSt10shared_ptrIN11abstraction20OperationAbstractionEERNS_11EnvironmentE [0x3e0df; @ 0x7f650ac1d0df]
/home/tomas/zdrojaky/alt/automata-library/debug-master/alib2cli/libalib2cli.so.0 : cli::ExecuteCommand::run(cli::Environment&) const+0x3b _ZNK3cli14ExecuteCommand3runERNS_11EnvironmentE [0x3e039; @ 0x7f650ac1d039]
./aql2 : ()+0x15daa [0x5604ccee8daa; @ 0x5604ccee8daa]
./aql2 : ()+0x8334 [0x5604ccedb334; @ 0x5604ccedb334]
/usr/lib/libc.so.6 : __libc_start_main()+0xf3 [0x24223; @ 0x7f650a1c7223]
./aql2 : ()+0x749e [0x5604cceda49e; @ 0x5604cceda49e]