seahorn/verify-c-common

Symbiotic seeded bug on Priority Queue

LinerSu opened this issue · 0 comments

Symbiotic still reports no errors after inserting sassert(false) on priority_queue_push and priority_queue_push_ref. Need to figure out the reason and report it to the Symbiotic group if necessary.