Project

General

Profile

Actions
Copy link

Bug #3834

open

SMT sovler answer is strange: Error: Invalid top level command.

Added by wenrui meng almost 12 years ago. Updated almost 12 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Start date:
01/01/2013
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Linux x64
Published in build:

Description

I run blast-2.7.1 on a simple example provided in test directory. But I got the error
SMT sovler answer is strange: Error: [stdin, line(1), column(3), position(2)]: Invalid top level command.
I don't know what's matter. Anyone can tell me the solution?

Actions
Copy link
 #1

Updated by Vadim Mutilin almost 12 years ago

Hi!
This error message may be caused by unsupported expression semantics, for example multiplication of variables.
Which test fails?

Actions
Copy link
 #2

Updated by wenrui meng almost 12 years ago

int main() {

double a = 1;
    if(a != 0)
    ERROR: goto ERROR;
    return 0;
}

For this simple program, I will get the reported error. Do I miss some configuration? I have added the directory into PATH.

Vadim Mutilin wrote:

Hi!
This error message may be caused by unsupported expression semantics, for example multiplication of variables.
Which test fails?

Actions
Copy link
 #3

Updated by Pavel Shved almost 12 years ago

Did you follow this piece of instructions from the README file?

USAGE
=====

The binary you need to run is <prefix>/bin/pblast.opt.  You should add
this bin/ folder to your PATH.
Actions
Copy link
 #4

Updated by wenrui meng almost 12 years ago

Yes. I have added the bin directory into PATH. So it's not the reason for this error.

Pavel Shved wrote:

Did you follow this piece of instructions from the README file?

[...]

Actions
Copy link
 #5

Updated by Vadim Mutilin almost 12 years ago

The program above uses floating point type double which is not supported

Actions
Copy link

Also available in: Atom PDF