Spaces matter in the memory model
This program can be analyzed by the memory model tool. This is no longer the case when the space after "if" in line 4 is removed. I think the tool shouldn't be dependent on correctly placed spaces.
This program can be analyzed by the memory model tool. This is no longer the case when the space after "if" in line 4 is removed. I think the tool shouldn't be dependent on correctly placed spaces.