Project

General

Profile

Bug #8172

Updated by Evgeny Novikov almost 4 years ago

After multimodule verification, existed marks don't apply to unsafe results. The reason for this is other names of verification object (say, _net/unix/unix.ko713c5ebc642b_ object. (net/unix/unix.ko713c5ebc642b instead of _net/unix/unix.ko_). net/unix/unix.ko)

Back