Original bug ID: 1720
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Jean-Christophe Filliâtre
Version: 3.06
OS: Linux (Debian Woody)
Submission from: pc8-123.lri.fr (129.175.8.123)

Bonjour,

Ce message fait suite au PR #1717.

J'ai poursuivi mes investigations dans le module Set. En cherchant à certifier
la fonction remove, j'y ai trouvé également un problème d'équilibrage

let remove_c x s =
let s' = remove x s in
(try check s' with Assert_failure _ -> raise (Found_1 (x, s)));
s'

let _ = 
  while true do 
ignore (remove_c (Random.int 10) (build 0 10 10))
  done