Bug #3834
open
SMT sovler answer is strange: Error: Invalid top level command.
Added by wenrui meng over 11 years ago.
Updated over 11 years ago.
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?
Hi!
This error message may be caused by unsupported expression semantics, for example multiplication of variables.
Which test fails?
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?
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.
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?
[...]
The program above uses floating point type double which is not supported
Also available in: Atom
PDF