Skip to content

Fix external NSDFGs that have not been loaded yet, i.e., where the SDFG property is not set#121

Merged
phschaad merged 2 commits intomasterfrom ext_sdfg_fixNov 30, 2023

Commits