Skip to content

Fix inlinePosts

Viktor Kuncak requested to merge github/fork/jad-hamza/fix-inlinePosts into master

Created by: jad-hamza

Fix https://github.com/epfl-lara/stainless/issues/568

I'm not 100% sure how best to fix this... as a temporary solution, you could replace collect with transformWithPC and make sure the generated conjuncts are wrapped with the relevant path.

I used collectWithPC, is that ok? And I used implies to wrap the path, not sure if that's good.

Merge request reports