Inconsistencies when reconstructing with closures #821
Labels
bug
Something isn't working
dataflow
Related to dataflow extraction
reconstruct code
deals with the code reoncsutrction at the end of the static slicing
Specifically, these two tests produce (seemingly) unexpected results.
The first test's reconstruction doesn't include the implicit return value of
f
, which I'm not 100% sure is an error:The second test's reconstruction only calls
f
once, meaningx
's new value will never actually be set.The text was updated successfully, but these errors were encountered: