Skip to content

Negation of environment using not(and(_)) instead of map

Viktor Kuncak requested to merge github/fork/jad-hamza/env-negate into master

Created by: jad-hamza

I'm not sure if that's the right way to use Env, but this does seem to fix https://github.com/epfl-lara/stainless/issues/320. I hope it doesn't break anything

Merge request reports