More Tests for NestedSDFG Inlining (spcl#2074)

This adds some more tests, that assert on the structure of the SDFG and
not simply tests if they can be compiled or not.

---------

Co-authored-by: Philipp Schaad <schaad.phil@gmail.com>

Author: philip-paul-mueller

tests/inline_symbol_test.py

@@ -16,10 +16,15 @@ def inline_symbol(D: dace.float32[E, F]):
 
 def test_inline_symbol():
     sdfg = inline_symbol.to_sdfg(simplify=False)
-    oldval = dace.Config.get_bool('experimental', 'validate_undefs')
-    dace.Config.set('experimental', 'validate_undefs', value=True)
-    sdfg.validate()
-    dace.Config.set('experimental', 'validate_undefs', value=oldval)
+
+    # NOTE: The original test only checked if the SDFG was valid when `validate_undefs` was set
+    #   to `True`. However, since the SDFG is also valid when `validate_undefs` is set to `False`,
+    #   as it can be seen below, this test actually does not serves any meaning. It would be more
+    #   meaningful if one of the cases, probably the `validate_undefs=True` case, would fail.
+    with dace.config.set_temporary('experimental', 'validate_undefs', value=False):
+        sdfg.validate()
+    with dace.config.set_temporary('experimental', 'validate_undefs', value=True):
+        sdfg.validate()
 
 
 if __name__ == '__main__':