Fix bitvector tests for coq#16748
Passed
Michael Sammler
created pipeline for commit
eb662f83
, finished
Related merge request !421 to merge msammler/coq_16748
4 minutes 38 seconds, queued for 5 seconds