stainless icon indicating copy to clipboard operation
stainless copied to clipboard
verified publisher icon epfl-lara

Add map accessor in the imperative phase

Open jad-hamza opened this issue 5 years ago • 0 comments

https://github.com/epfl-lara/stainless/blob/391088ee6ea1154db23e1320d8f637b350c593c0/core/src/main/scala/stainless/extraction/imperative/EffectsAnalyzer.scala#L162-L180 See discussion: https://github.com/epfl-lara/stainless/pull/985#discussion_r614204561

jad-hamza avatar Apr 16 '21 08:04 jad-hamza