Issue 161 in soar: Soar crashes with bad input production

5 views
Skip to first unread message

so...@googlecode.com

unread,
Jun 10, 2014, 2:26:09 AM6/10/14
to soar-...@googlegroups.com
Status: New
Owner: ----
Labels: Type-Defect Priority-Medium

New issue 161 by garfield...@gmail.com: Soar crashes with bad input
production
http://code.google.com/p/soar/issues/detail?id=161

Using Soar 9.3.2 on Windows 7.
Paste the following useless production into the Java debugger:
sp {foo
()
-->
}

This crashes Soar, first throwing an assert failure from line 107 of
init_soar.cpp. The contents of the "soarerror" file are:

Error: Did not find goal for ms_change assertion: foo
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.


The reason I put that particular useless production in was to see if it
would parse or not. I actually expect it to, because the following parses
(though warnings about unbound variables are printed):
sp {foo
()
(state)
-->
}


--
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

so...@googlecode.com

unread,
Jun 10, 2014, 2:29:30 AM6/10/14
to soar-...@googlegroups.com

Comment #1 on issue 161 by garfield...@gmail.com: Soar crashes with bad
input production
http://code.google.com/p/soar/issues/detail?id=161

I guess I should add: although that production doesn't do anything, it
might be possible that someone could use it as a placeholder production in
their code somewhere, with a name or documentation saying what it does,
planning to come back and fill it in later.

so...@googlecode.com

unread,
Jun 10, 2014, 6:58:59 AM6/10/14
to soar-...@googlegroups.com

Comment #2 on issue 161 by garfield...@gmail.com: Soar crashes with bad
input production
http://code.google.com/p/soar/issues/detail?id=161

Another one that crashes it (instead of just printing an error) is:
sp {state-no-variable
(<bar>)
--> (<bar> ^foo <bar>)

so...@googlecode.com

unread,
Jul 5, 2014, 3:31:32 AM7/5/14
to soar-...@googlegroups.com

Comment #3 on issue 161 by garfield...@gmail.com: Soar crashes with bad
input production
http://code.google.com/p/soar/issues/detail?id=161

Duplicated again in 9.3.4.
Reply all
Reply to author
Forward
0 new messages