Bug #7456
closed
EMG generates incorrect environment model for drivers/usb/core/usbcore.ko
Added by Evgeny Novikov almost 8 years ago.
Updated almost 8 years ago.
Category:
Environment models
Description
The generated environment model causes several "error: dereferencing pointer to incomplete type".
- Subject changed from EMG generates incorrect environment model for _drivers/usb/core/usbcore.ko_ to EMG generates incorrect environment model for drivers/usb/core/usbcore.ko
- Status changed from New to Resolved
I checked this on branch 'emg-porting-specs' and it is working well.
- Status changed from Resolved to Closed
Now I observe time outs for many various rules on drivers/usb/core/usbcore.ko.
Also available in: Atom
PDF