Project

General

Profile

Actions
Copy link

Bug #3326

open

Nondeterministic communication with SMT sovler

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

Status:
New
Priority:
Normal
Assignee:
Vadim Mutilin
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
Copy link

Also available in: Atom PDF