Scope: random sequence of push, pop, insert, remove, truncate, compared against
std::vec::Vec as an oracle (bounded by capacity). Assert state matches after each op.
Acceptance: proptest target exists; passes 1000 cases.
this repo has no description
Add proptest coverage to arrayvec against Vec oracle
#12
open
opened by
jonaskruckenberg.de