Project

General

Profile

Actions
Copy link

Bug #485

open

Non-linear SMT solver queries in BLAST

Added by Vadim Mutilin about 14 years ago. Updated about 13 years ago.

Status:
Open
Priority:
Low
Assignee:
Mikhail Mandrykin
Category:
-
Target version:
-
Start date:
10/12/2010
Due date:
% Done:

0%

Estimated time:
Detected in build:
7c1b9ad0ccbad6e108554fdb49202f107103b5be
Platform:
Published in build:

Description

shved3-current--X--drivers--X--bigmemtimelinux-2.6.31.6--X--32_7.pax:

  1. linux-2.6.31.6 32_7 drivers/media/video/cx231xx/cx231xx.ko ldv_main6_seq_one ZZZ: Exception: Failure("SMT sovler answer is strange: Error: feature not supported: non linear problem.")
  2. linux-2.6.31.6 32_7 drivers/media/video/et61x251/et61x251.ko ldv_main0_seq_one ZZZ: Exception: Failure("SMT sovler answer is strange: Error: feature not supported: non-constant division.")
  3. linux-2.6.31.6 32_7 drivers/usb/misc/sisusbvga/sisusbvga.ko ldv_main2_seq_one ZZZ: Exception: Failure("SMT sovler answer is strange: Error: feature not supported: non linear problem.")
  4. linux-2.6.31.6 32_7 drivers/usb/misc/usbtest.ko ldv_main0_seq_one ZZZ: Exception: Failure("SMT sovler answer is strange: Error: feature not supported: non-constant division.")
  5. linux-2.6.31.6 32_7 drivers/media/video/gspca/gspca_main.ko ZZZ: Exception: Failure("SMT sovler answer is strange: Error: feature not supported: non linear problem.")
  6. linux-2.6.31.6 32_7 drivers/media/video/ov511.ko ldv_main0_seq_one ZZZ: Exception: Failure("SMT sovler answer is strange: Error: feature not supported: non linear problem.")
  7. linux-2.6.31.6 32_7 drivers/usb/misc/sisusbvga/sisusbvga.ko ldv_main2_seq_one ZZZ: Exception: Failure("SMT sovler answer is strange: Error: feature not supported: non linear problem.")
  8. linux-2.6.31.6 32_7 drivers/media/dvb/dvb-usb/dvb-usb-vp702x.ko ldv_main1_seq_one ZZZ: Exception: Failure("SMT sovler answer is strange: Error: feature not supported: non-constant division.")
  9. linux-2.6.31.6 32_7 drivers/media/dvb/ttpci/dvb-ttpci.ko ldv_main4_seq_one ZZZ: Exception: Failure("SMT sovler answer is strange: Error: feature not supported: non-constant division.")
  10. linux-2.6.31.6 32_7 drivers/media/video/bt8xx/bttv.ko ldv_main0_seq_one ZZZ: Exception: Failure("SMT sovler answer is strange: Error: feature not supported: non linear problem.")
Actions
Copy link

Also available in: Atom PDF