Project

General

Profile

Actions
Copy link

Bug #3246

closed

After moving common aspects into separate files 'NULL' macro isn't substituted

Added by Mikhail Mandrykin almost 12 years ago. Updated over 11 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Evgeny Novikov
Category:
-
Start date:
07/20/2012
Due date:
% Done:

0%

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

Description

Using 'NULL' macro in 100_1a rule model aspect lead to BLAST failure with the following message:

/home/schrodinger/benchmark/cpachecker/work/current--X--packed_drivers/100_1a--test-start_tty.tar.bz2--X--defaultlinux-3.4.4--X--
100_1a/linux-3.4.4/csd_deg_dscv/11/dscv_tempdir/rule-instrumentor/100_1a/common-model/ldv_common_model.c:11: Error: Cannot resolve variable NULL.
/home/schrodinger/benchmark/cpachecker/work/current--X--packed_drivers/100_1a--test-start_tty.tar.bz2--X--defaultlinux-3.4.4--X--100_1a/linux
-3.4.4/csd_deg_dscv/11/dscv_tempdir/rule-instrumentor/100_1a/common-model/ldv_common_model.c:19: Error: Cannot resolve variable NULL.

Previously the model was tested with no BLAST failure.

Actions
Copy link

Also available in: Atom PDF