Project

General

Profile

Actions
Copy link

Feature #3204

closed

Do not use BLAST specific in models and special LDV subroutines

Added by Evgeny Novikov over 12 years ago. Updated over 12 years ago.

Status:
Closed
Priority:
High
Assignee:
Evgeny Novikov
Start date:
07/13/2012
Due date:
% Done:

0%

Estimated time:
Published in build:
1f558ed

Description

When there was just BLAST static verifier, we created models for this engine. We use 'blast' in model names, in models itself, in general subroutines (primarily via "engine-blast.h" and "engine-blast-assert.h" headers).
But some time ago we began to use CPAchecker static verifier. And we have heard questions like: "Why is CPAchecker fails when blast_assert() function is called?" and so on.
I have developed a special general header defining special LDV subroutines ("ldv.h"). And I'm going to remove any BLAST specific from models while fixing issue #453 that touches all models anyway.

Related issues 1 (0 open — 1 closed)

Blocks C Instrumentation Framework - Bug #453: ri: aspect common file should be element of united aspect fileClosedEvgeny Novikov09/23/2010

Actions
Actions
Copy link
 #1

Updated by Vadim Mutilin over 12 years ago

  • Assignee changed from Eugene Shatokhin to Evgeny Novikov
Actions
Copy link
 #2

Updated by Evgeny Novikov over 12 years ago

  • Status changed from Open to Resolved

Commit 23cf3a2 of bug-453 branch has fixed the issue. It will be tested soon and merged to master as well as bug-453 branch.

Actions
Copy link
 #3

Updated by Evgeny Novikov over 12 years ago

  • Status changed from Resolved to Closed
  • Published in build set to 1f558ed

It was merged to master in commit:f9f0431 and works stable since commit:1f558ed.

Don't forget to remove installed into prefix LDV tools, otherwise you will be able to use the old BLAST specific interface that after all leads to errors.

Actions
Copy link

Also available in: Atom PDF