Commit 6fbe4f5f authored by POTTIER Francois's avatar POTTIER Francois


parent 96284057
(* TEMPORARY only 26 possible strings in [random_name]; fix that *)
(* TEMPORARY alter the balance of lambda versus app in [generate] *)
(* TEMPORARY possibly implement shrinking *)
open Term
module StringSet =
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment