Copy 'random access' test to 'priority queue'

Question

Copy 'random access' test to 'priority queue'

SSoelvsten opened this issue a year ago · 1 comments

For the paper, I started with copying over one of the unit tests by Casper Rysgaard. While doing so, I noticed that some of the ordering related unit tests for random access are not replicated in the priority queue case to check they truly are different.

Answer 1 · 2024-06-18T13:01:56.000Z

There are tests for bdd_xor(bdd_canon, bdd_indexable) for either type of access; one of them do just not mention they do double-duty to differentiate the order.