Skip to content

Rename aterm metadata

Bram Veenboer requested to merge rename-aterm-metadata into master

Consistently use the names aterm_indices and aterm_offsets to refer to the aterm metadata arrays.

Merge request reports