This repository was archived by the owner on Nov 19, 2024. It is now read-only.
This repository was archived by the owner on Nov 19, 2024. It is now read-only.
Use the static annotator after finishing a reduction #8
Description
The reducer is annotating global variables with static when checking but at the end it stores an non-annotated version.