The run was canceled by @tahina-pro.

The operation was canceled.

(361) * Warning 361 at LowParse.Spec.BoundedInt.fsti(232,0-235,62): - Some #push-options have not been popped. Current depth is 1.

(271) * Warning 271 at LowParse.Spec.Base.fsti(544,13-546,17): - Pattern misses at least one bound variable: t

(271) * Warning 271 at LowParse.Spec.Base.fsti(546,14-546,16): - SMT pattern misses at least one bound variable: t

(328) * Warning 328 at LowParse.Spec.Enum.fst(107,8-107,24): - Global binding 'LowParse.Spec.Enum.assoc_flip_intro' is recursive but not used in its body

(361) * Warning 361 at LowParse.BitFields.fst(1276,0-1276,29): - Some #push-options have not been popped. Current depth is 1.

(331) * Warning 331 at LowParse.Spec.BitSum.fst(1421,7-1421,8): - This name is being ignored

(361) * Warning 361 at LowParse.Spec.BitSum.fst(2116,0-2141,57): - Some #push-options have not been popped. Current depth is 2.

(337) * Warning 337 at LowParse.Low.Base.Spec.fst(487,8-487,18): - This definitions has multiple decreases clauses. - The decreases clause on the declaration is ignored, please remove it.

(328) * Warning 328 at LowParse.Low.Base.Spec.fst(511,8-511,24): - Global binding 'LowParse.Low.Base.Spec.valid_list_equiv' is recursive but not used in its body