This MR introduces the file priority_modified.h
. This file
contains an alternate implementation of the bitmap that only
supports 64 priorities and is therefore easier to verify. This alternate
implementation of bitmap is fully verified.
This MR introduces the file priority_modified.h
. This file
contains an alternate implementation of the bitmap that only
supports 64 priorities and is therefore easier to verify. This alternate
implementation of bitmap is fully verified.