sleyzerzon / soar

Automatically exported from code.google.com/p/soar
1 stars 0 forks source link

print command issues #79

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
The print command 
<http://code.google.com/p/soar/wiki/CommandLineInterface#print> is not working 
correctly. For starters, one of the examples in the documentation doesn't work: 
print --internal (s1 ^* v2)

Original issue reported on code.google.com by voigtjr@gmail.com on 17 Jun 2010 at 1:59

GoogleCodeExporter commented 8 years ago
There are rumors production-find doesn't work right either, I'll investigate as 
part of this bug.

Original comment by voigtjr@gmail.com on 17 Jun 2010 at 1:59

GoogleCodeExporter commented 8 years ago
I don't see anything wrong with production-find. Fixed print command. Command 
line interface really needs unit tests.

Original comment by voigtjr@gmail.com on 18 Jun 2010 at 8:48