Commit 88191716 authored by Andrei Paskevich's avatar Andrei Paskevich

try agressive monomorphisation

Produce more monomorphic instances. On the current Why3 examples we
gain more goal than we lose.
parent e6e9ebe4
theory BuiltIn
meta "select_inst" "goal"
meta "select_lskept" "none"
meta "select_lsinst" "goal"
meta "select_inst" "all"
meta "select_lskept" "all"
meta "select_lsinst" "all"
meta "select_kept" "none"
end
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