To alleviate some confusion in the CAST generation pipeline we propose changing the attribute 'val' to 'name' in order to reduce confusion with the new 'default_val' attribute. We will make this change sometime after Milestone 5 and the demo in order to prevent any bug ripple effects in CAST generation.
To alleviate some confusion in the CAST generation pipeline we propose changing the attribute 'val' to 'name' in order to reduce confusion with the new 'default_val' attribute. We will make this change sometime after Milestone 5 and the demo in order to prevent any bug ripple effects in CAST generation.