Segfault in BTNode::SearchNode

[GalShnapp]

Hi, love this project!
I'm trying to get familiar with this project and how to use it, so I've decided to run the the testers.

I'm getting segmentation faults when running on the examples files.
here are some screenshots from GDB:

[fjalcaraz]

Hi Gal, thanks a lot for your interest in this project, I can't reproduce the issue in my Ubuntu (??). I tried ./tester -tr -i ../examples/app_creat.i ../examples/app_creat.r (enabling trace and final retract) and I got the right output: Code read INSERTION BEGINS ------------------ AN OBJECT IS INSERTED (0) T=0 c1(dato 0), Time=0 ---------------------------------------- RULE EXECUTION IN INSERTION a/bar Cat 1 c1(dato 0), Time=0 OBJECT CREATED d(dato 0), Time=0 OBJECT CREATED c2(dato 2), Time=0 OBJECT CREATED c4(dato 4), Time=0 OBJECT CREATED c3(dato 3), Time=0 OBJECT NO MORE USED c2(dato 2), Time=0 WAS GENERATED: FOUND OBJECT NO MORE USED c4(dato 4), Time=0 WAS GENERATED: FOUND OBJECT NO MORE USED c3(dato 3), Time=0 WAS GENERATED: FOUND RETRACTION BEGINS ------------------ FINAL DELETE_ALL: ORIGINAL OBJECTS: AN OBJECT IS RETRACTED c1(dato 0), Time=0 ---------------------------------------- RULE EXECUTION IN RETRACTION a/bar Cat 1 c1(dato 0), Time=0 OBJECT DELETED d(dato 0), Time=0 OBJECT DELETED IS COMMUNICATED d(dato 0), Time=0 WAS GENERATED: FOUND GENERATED OBJECT: 2 inferences done I will try to find out how to create the error. Could be a good idea you to check whether your compilation is right I'll let you know if i get it, Cheers El sáb, 27 may 2023 a las 10:41, Gal Shnapp ***@***.***>) escribió:

…

Hi, love this project! I'm trying to get familiar with this project and how to use it, so I've decided to run the the testers. `gal at gal-ROG-Ubuntu in .../tests/tester/.libs on master:a575b ✗ $ gdb tester GNU gdb (Ubuntu 12.1-0ubuntu1~22.04) 12.1 Copyright (C) 2022 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later http://gnu.org/licenses/gpl.html This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. Type "show copying" and "show warranty" for details. This GDB was configured as "x86_64-linux-gnu". Type "show configuration" for configuration details. For bug reporting instructions, please see: https://www.gnu.org/software/gdb/bugs/. Find the GDB manual and other documentation resources online at: http://www.gnu.org/software/gdb/documentation/. For help, type "help". Type "apropos word" to search for commands related to "word"... Reading symbols from tester... (gdb) r -r ../../examples/app_creat.r -i ../../examples/app_creat.i Starting program: /home/gal/source/rcengine/tests/tester/.libs/tester -r ../../examples/app_creat.r -i ../../examples/app_creat.i [Thread debugging using libthread_db enabled] Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1". Program received signal SIGSEGV, Segmentation fault. 0x00007ffff7f93182 in BTNode::SearchNode ***@***.***=0x0, ***@***.***=0x7fffffffdc00, ***@***.***=0x7ffff7f91020 <compare_rulesets(const void *, const void *, typedef __va_list_tag __va_list_tag *)>, ***@***.***=0x7fffffffdb20, ***@***.***: 0) at btree.cpp:498 498 i=-1; j=Count; result = 1; Location=-1; (gdb) ` — Reply to this email directly, view it on GitHub <#2>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AKUJX3RJTQPLCRUOZAH6ZLLXIG43JANCNFSM6AAAAAAYRBRHLQ> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[fjalcaraz]

Hi Gal, The strange thing in your problem is that this is null *Program received signal SIGSEGV, Segmentation fault.0x00007ffff7f93182 in BTNode::SearchNode ***@***.***=0x0, ***@***.***=0x7fffffffdc00, ***@***.***=0x7ffff7f91020 <compare_rulesets(const void *, const void *, typedef __va_list_tag __va_list_tag *)>, ***@***.***=0x7fffffffdb20, ***@***.***: 0) at btree.cpp:498498 i=-1; j=Count; result = 1; Location=-1;(gdb)* Could you send me the stack of function calls to know what tree is this? Thanks a lot El sáb, 27 may 2023 a las 14:04, Francisco Alcaraz ***@***.***>) escribió:

…

Hi Gal, thanks a lot for your interest in this project, I can't reproduce the issue in my Ubuntu (??). I tried ./tester -tr -i ../examples/app_creat.i ../examples/app_creat.r (enabling trace and final retract) and I got the right output: Code read INSERTION BEGINS ------------------ AN OBJECT IS INSERTED (0) T=0 c1(dato 0), Time=0 ---------------------------------------- RULE EXECUTION IN INSERTION a/bar Cat 1 c1(dato 0), Time=0 OBJECT CREATED d(dato 0), Time=0 OBJECT CREATED c2(dato 2), Time=0 OBJECT CREATED c4(dato 4), Time=0 OBJECT CREATED c3(dato 3), Time=0 OBJECT NO MORE USED c2(dato 2), Time=0 WAS GENERATED: FOUND OBJECT NO MORE USED c4(dato 4), Time=0 WAS GENERATED: FOUND OBJECT NO MORE USED c3(dato 3), Time=0 WAS GENERATED: FOUND RETRACTION BEGINS ------------------ FINAL DELETE_ALL: ORIGINAL OBJECTS: AN OBJECT IS RETRACTED c1(dato 0), Time=0 ---------------------------------------- RULE EXECUTION IN RETRACTION a/bar Cat 1 c1(dato 0), Time=0 OBJECT DELETED d(dato 0), Time=0 OBJECT DELETED IS COMMUNICATED d(dato 0), Time=0 WAS GENERATED: FOUND GENERATED OBJECT: 2 inferences done I will try to find out how to create the error. Could be a good idea you to check whether your compilation is right I'll let you know if i get it, Cheers El sáb, 27 may 2023 a las 10:41, Gal Shnapp ***@***.***>) escribió: > Hi, love this project! > I'm trying to get familiar with this project and how to use it, so I've > decided to run the the testers. > > `gal at gal-ROG-Ubuntu in .../tests/tester/.libs on master:a575b ✗ $ gdb > tester > GNU gdb (Ubuntu 12.1-0ubuntu1~22.04) 12.1 > Copyright (C) 2022 Free Software Foundation, Inc. > License GPLv3+: GNU GPL version 3 or later > http://gnu.org/licenses/gpl.html > This is free software: you are free to change and redistribute it. > There is NO WARRANTY, to the extent permitted by law. > Type "show copying" and "show warranty" for details. > This GDB was configured as "x86_64-linux-gnu". > Type "show configuration" for configuration details. > For bug reporting instructions, please see: > https://www.gnu.org/software/gdb/bugs/. > Find the GDB manual and other documentation resources online at: > http://www.gnu.org/software/gdb/documentation/. > > For help, type "help". > Type "apropos word" to search for commands related to "word"... > Reading symbols from tester... > (gdb) r -r ../../examples/app_creat.r -i ../../examples/app_creat.i > Starting program: /home/gal/source/rcengine/tests/tester/.libs/tester -r > ../../examples/app_creat.r -i ../../examples/app_creat.i > [Thread debugging using libthread_db enabled] > Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1". > > Program received signal SIGSEGV, Segmentation fault. > 0x00007ffff7f93182 in BTNode::SearchNode ***@***.***=0x0, > ***@***.***=0x7fffffffdc00, ***@***.***=0x7ffff7f91020 > <compare_rulesets(const void *, const void *, typedef __va_list_tag > __va_list_tag *)>, ***@***.***=0x7fffffffdb20, > ***@***.***: 0) at btree.cpp:498 > 498 i=-1; j=Count; result = 1; Location=-1; > (gdb) > ` > > — > Reply to this email directly, view it on GitHub > <#2>, or unsubscribe > <https://github.com/notifications/unsubscribe-auth/AKUJX3RJTQPLCRUOZAH6ZLLXIG43JANCNFSM6AAAAAAYRBRHLQ> > . > You are receiving this because you are subscribed to this thread.Message > ID: ***@***.***> >