Crash in JNSimpleCompareFunction1
26 views
Skip to first unread message
yoshiaki
Jun 19, 2021, 7:43:47 AM6/19/21
to CLIPSESG
Hello,
I am sorry but I have no idea to fix it.
Batching following commands makes CLIPS to crash in JNSimpleCompareFunction1.
$ ./clips -f crasher.bat
CLIPS (6.4 2/9/21)
CLIPS> (defclass E (is-a USER) (slot se))
CLIPS> (defclass F (is-a USER) (slot sf))
CLIPS> (defclass G (is-a USER) (slot sg))
CLIPS>
(defrule fail-fail-fail-fail
(object (is-a E) (se ?x))
(exists (and (exists (and (object (is-a F) (sf ?x))
(object (is-a G) (sg ?x))))
(test (!= 2 2))))
=>
)
CLIPS>
(make-instance e1 of E (se 1))
[e1]
CLIPS> (make-instance e2 of E (se 2))
[e2]
CLIPS> (make-instance e1 of E (se 1))
Segmentation fault (core dumped)
CLIPS> (defclass E (is-a USER) (slot se))
CLIPS> (defclass F (is-a USER) (slot sf))
CLIPS> (defclass G (is-a USER) (slot sg))
CLIPS>
(defrule fail-fail-fail-fail
(object (is-a E) (se ?x))
(exists (and (exists (and (object (is-a F) (sf ?x))
(object (is-a G) (sg ?x))))
(test (!= 2 2))))
=>
)
CLIPS>
(make-instance e1 of E (se 1))
[e1]
CLIPS> (make-instance e2 of E (se 2))
[e2]
CLIPS> (make-instance e1 of E (se 1))
Segmentation fault (core dumped)
Thanks in advance.
CLIPS Support
Jul 15, 2021, 8:14:07 PM7/15/21
to CLIPSESG
Checked in fix r810 to the source forge repository: https://sourceforge.net/p/clipsrules/code/HEAD/tree/
yoshiaki
Jul 19, 2021, 2:22:13 AM7/19/21
to CLIPSESG
It works fine. Thanks!
2021年7月16日金曜日 9:14:07 UTC+9 CLIPS Support:
Reply all
Reply to author
Forward
0 new messages