Project

General

Profile

Actions

Bug #3326

open

Nondeterministic communication with SMT sovler

Added by Ilya Shchepetkov over 11 years ago. Updated over 11 years ago.

Status:
New
Priority:
Normal
Assignee:
Category:
BLAST
Start date:
08/07/2012
Due date:
% Done:

0%

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

Description

Night tests showed a change in a verdict for the drivers/kbdrivers/0032-2.6.31.6/test-0032-2.6.31.6-verdict-unsafe-drivers--serial--serial_core.c driver from unsafe to unknown (problems=Exception).

block_at hits exceptionFailure("SMT sovler answer is strange: *** Fatal exception:")
Exception raised :(Failure("SMT sovler answer is strange: *** Fatal exception:")
Ack! The gremlins again!: Failure("SMT sovler answer is strange: *** Fatal exception:")
Fatal error: exception Failure("SMT sovler answer is strange: *** Fatal exception:")
Actions #1

Updated by Evgeny Novikov over 11 years ago

A separate subproject is devoted to BLAST.
If Alexey will add you as a reporter to that subproject you should open BLAST related issues there.

Actions

Also available in: Atom PDF