Project

Profile

Help

HostedRedmine.com has moved to the Planio platform. All logins and passwords remained the same. All users will be able to login and use Redmine just as before. Read more...

Bug #157506

open

A couple of minor fixes suggested by Morgan

Added by Clark Barrett almost 11 years ago. Updated about 10 years ago.

Status:
New
Priority:
Low
Start date:
2013-03-09
Due date:
% Done:

0%

Estimated time:

Description

Morgan Deters <>
7/8/12

to Clark
Hi Clark,

Two more (very minor) issues with the standard, since you're keeping a
list. ;-)

On page 37, under "command responses," get-info-response seems to be
able to respond with more than 1 info flag. But there's no way to
request more than one at a time with (get-info..), so this is probably
an error.

Also, just a few lines above, info-response is missing ":status" as a
possibility, which is an obvious omission since there's a "status ::=
sat | unsat | unknown" just above it. :all-statistics is missing too,
but a few pages later it says it's solver-specific, so that's probably
not a problem.

Actions #1

Updated by Clark Barrett about 10 years ago

  • Assignee set to Cesare Tinelli

Also available in: Atom PDF