Skip to content

change IntoVal so that it is easier to use in specs

Ralf Jung requested to merge ralf/into_val into gen_proofmode

I was fed up with having to remember <-%of_to_val for every single spec (because all specs that take arbitrary values should be written with IntoVal), so this changes IntoVal such that the pattern becomes just <-.

Merge request reports