Add CompilationError test for transformation add

unit/test_all.py

@@ -4040,9 +4040,17 @@ class TestModelverse(unittest.TestCase):
         sig = transformation_signature("users/user/test/c")
         try:
             transformation_add_AL({}, {}, "users/user/test/c", default_function)
+            self.fail()
         except ModelExists:
             assert sig == transformation_signature("users/user/test/c")
 
+        # Compilation error
+        try:
+            transformation_add_AL({}, {}, "users/user/test/o", "adfadf")
+            self.fail()
+        except CompilationError:
+            assert "o" not in model_list("users/user/test")
+
     def test_op_transformation_add_MT(self):
         # Add models for transformation
         model_add("users/user/test/A", "formalisms/SimpleClassDiagrams", """
@@ -4185,7 +4193,7 @@ class TestModelverse(unittest.TestCase):
             transformation_add_MT({"MODEL_A": "users/user/test/A"}, {}, "users/user/test/o", "adfa")
             self.fail()
         except CompilationError:
-            pass
+            assert "o" not in model_list("users/user/test")
 
     def test_op_transformation_execute_MANUAL(self):
         # Add models for transformation
@@ -4274,7 +4282,7 @@ class TestModelverse(unittest.TestCase):
 
         # Execute permissions denied activity
         try:
-            transformation_execute_MANUAL("administration/core", {"MODEL_A": "administration/core"}, {"MODEL_B": "users/user/test/f"}, lambda i: i)
+            transformation_execute_MANUAL("administration/core", {"MODEL_A": "users/user/test/a"}, {"MODEL_B": "users/user/test/f"}, lambda i: i)
             self.fail()
         except ExecutePermissionDenied:
             pass