Open-Source Projects

01/02/2013

04:58 PM Linux Driver Verification Bug #3834: SMT sovler answer is strange: Error: Invalid top level command.

Yes. I have added the bin directory into PATH. So it's not the reason for this error.
Pavel Shved wrote:
> Did yo... wenrui meng

01/01/2013

11:36 PM Linux Driver Verification Bug #3834: SMT sovler answer is strange: Error: Invalid top level command.

int main()
{
double a = 1;
if(a != 0)
ERROR: goto ERROR;
return 0;
}
For this simple program, I will g... wenrui meng

12:20 AM Linux Driver Verification Bug #3834 (New): SMT sovler answer is strange: Error: Invalid top level command.

I run blast-2.7.1 on a simple example provided in test directory. But I got the error
SMT sovler answer is strange: ... wenrui meng