Feature #7265
closedKlever during building tests cannot find linux and verifier directories
0%
Description
To implement a rule specification for emg tests with all necessary models and also to use common functions (for example ldv_undef_int) I need to include headers from linux and verifier directories of presets. Currently BCE fails trying to find headers from there.
Updated by Evgeny Novikov almost 8 years ago
- Tracker changed from Bug to Feature
- Assignee changed from Evgeny Novikov to Ilja Zakharov
Please, copy corresponding code from core/core/avtg/weaver/_init__.py_ (line ~85) to core/core/lkbce/wrappers/common.py (e.g. line ~115) replacing paths got from the configuration to the ones got from environment variables. Additionally you will need to pass one more environment variable holding the path to the rule specifications database in core/core/lkbce/_init__.py_ (line ~384). Instead you can modify dumped full CC descriptions later, either in LKBCE or LKVOG, without using such the environment variables magic, but you will need to read and to write them one more time.
Implementation is trivial but it is too hard for me now to do and to test it.
Updated by Ilja Zakharov almost 8 years ago
Seems the fix is not so trivial:
1) See no reason to change function 'dump' in wrappers/common, since failure happens during the first make and Klever fails earlier.
2) And in launch command of wrappers/common.py I cannot throw environment variable and this is strange. For example before executing a make command you modify 'PATH' variable in lkbce/__init__.py but it differs from that one which I get in wrappers/common.py file and it does not contain referred changes. Moreover, there is no any other environment variables with 'KLEVER_' prefix in os.environ.
Updated by Ilja Zakharov almost 8 years ago
Found the reason why it takes place and solved the issue. It will be implemented in the branch with emg tests.
Updated by Evgeny Novikov almost 8 years ago
Yes, you are right. You need to execute CC commands with this additional header search path.
As for placing this feature implementation into your branch intended for EMG tests, please make it in separate commits, so that I will be able to cherry pick them to master.
Updated by Evgeny Novikov almost 8 years ago
I guess that this feature is already implemented, isn't it?
Updated by Ilja Zakharov almost 8 years ago
- Status changed from New to Closed
Yep. It is implemented in emg-tests branch, but unfortunately it is not a single commit.
Updated by Evgeny Novikov almost 8 years ago
- Status changed from Closed to Resolved
It isn't in master yet.
Updated by Evgeny Novikov almost 8 years ago
- Status changed from Resolved to Closed
- Published in build set to a43c34a
Now everybody can use LDV and verifier model functions in tests.