Bug #7270
closed
EMG incorretly models deregistration
Added by Ilja Zakharov almost 8 years ago.
Updated almost 8 years ago.
Category:
Environment models
Published in build:
a43c34a
Description
Current implementation of EMG after recent refactoring of automata has incorrect model of signal passing. For example there is a case when deregistration function is called immediately after a registration one EMG still may call a callback.
Found by test suite under development.
- Priority changed from High to Urgent
- Status changed from New to Resolved
Implemented and published in emg-improvements.
- Status changed from Resolved to Closed
- Published in build set to a43c34a
Branch emg-improvements, that brought a plenty of EMG bug fixes, optimizations and extensions, was improved a bit and merged to master in a43c34a.
In the following 4d9aaa6 (also marked with tag 0.1rc3) I did the following:
Switch on by default EMG options that considerably simplifies environment models
For instance, to find target and non-target bug on commit e4c7f259c5be CPAchecker needs more than 2 times less CPU time and memory with these options switched on.
Everybody who will update to the latest master will need to install one more Python package pympler.
I will close all other issues fixed/implemented in emg-improvements without any comments.
Also available in: Atom
PDF