ReachSafety-Arrays.cfg

Description: Contains verification tasks for which treatment of arrays is necessary in order to determine reachability.
Architecture: 32 bit