Issue 105 in soar: GDS crashes when justification with empty LHS is created

[so...@googlecode.com]

Status: Accepted
Owner: baz...@gmail.com
CC: joseph...@gmail.com
Labels: Type-Defect Priority-Medium

New issue 105 by baz...@gmail.com: GDS crashes when justification with
empty LHS is created
http://code.google.com/p/soar/issues/detail?id=105

sp {propose*operator
(state <s> ^superstate nil)
-->
(<s> ^operator <op> +)
}

sp {value*superstate
:o-support
(state <s> ^superstate { <ss> <> nil })
# (<ss> ^operator <o> +)
-->
(<ss> ^value 42)
}

These two rules are sufficient to crash Soar, unless the commented line in
the second rule is uncommented:

**** Wanted to create a GDS for a WME level different from the
instantiation level.....Big problems....exiting....****

Soar cannot recover from this error.
You will have to restart Soar to run an agent.
Data is still available for inspection, but may be corrupt.
If a log was open, it has been closed for safety.TestCLI:
SoarKernel/src/init_soar.cpp:110: void abort_with_fatal_error(agent*, const
char*): Assertion `false' failed.
2: ==>S: S3 (operator no-change)Aborted

[so...@googlecode.com]

Updates:
Status: Fixed

Comment #2 on issue 105 by maz...@gmail.com: GDS crashes when justification

with empty LHS is created
http://code.google.com/p/soar/issues/detail?id=105

Fixed by check-in r13997

--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings