Issue 93 in teyjus: Batch mode doesn't behave correctly with a given maximum number of solutions

[tey...@googlecode.com]

Status: Accepted
Owner: fafo...@gmail.com
Labels: Priority-Low

New issue 93 by fafo...@gmail.com: Batch mode doesn't behave correctly
with a given maximum number of solutions
https://code.google.com/p/teyjus/issues/detail?id=93

We have the following:

tjsim --batch --maximum 1 --solve 'open_string "foo" Stream ; input_line
Stream String; print String.'

The answer substitution:
String = String
Stream = <stream -- "foo">
Error: input_line: The term is not a stream: _360


However specifying a maximum of one solution should not lead to this error
(only if the number of solutions is strictly greater than 1.)

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