Skip to content

Verify scheduler data structure

Kimaya Bedarkar requested to merge ci/verifyscheduler into master
  • The refinement type for message is also changed to use the ID which is generated from the arrival sequence.
  • Verify two functions in the scheduler.h file that enqueue and dequeue messages.

Merge request reports