Commit 143a7c2b authored by hugues.jerome's avatar hugues.jerome
Browse files

* Correct output of the testsuite



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1742 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent be1c300e
......@@ -28,7 +28,7 @@ property set Deployment is
Protocol : Deployment::Protocol_Type
applies to (system);
Allowed_Execution_Platform : type enumeration (Native, LEON_RTEMS, LEON_ORK, LEON_GNAT, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Allowed_Execution_Platform : type enumeration (Native, Native_Compcert, LEON_RTEMS, LEON_ORK, LEON_GNAT, LINUX32, LINUX64, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Execution_Platform : Deployment::Allowed_Execution_Platform
applies to (processor);
......
......@@ -28,7 +28,7 @@ property set Deployment is
Protocol : Deployment::Protocol_Type
applies to (system);
Allowed_Execution_Platform : type enumeration (Native, LEON_RTEMS, LEON_ORK, LEON_GNAT, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Allowed_Execution_Platform : type enumeration (Native, Native_Compcert, LEON_RTEMS, LEON_ORK, LEON_GNAT, LINUX32, LINUX64, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Execution_Platform : Deployment::Allowed_Execution_Platform
applies to (processor);
......
......@@ -28,7 +28,7 @@ property set Deployment is
Protocol : Deployment::Protocol_Type
applies to (system);
Allowed_Execution_Platform : type enumeration (Native, LEON_RTEMS, LEON_ORK, LEON_GNAT, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Allowed_Execution_Platform : type enumeration (Native, Native_Compcert, LEON_RTEMS, LEON_ORK, LEON_GNAT, LINUX32, LINUX64, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Execution_Platform : Deployment::Allowed_Execution_Platform
applies to (processor);
......
......@@ -28,7 +28,7 @@ property set Deployment is
Protocol : Deployment::Protocol_Type
applies to (system);
Allowed_Execution_Platform : type enumeration (Native, LEON_RTEMS, LEON_ORK, LEON_GNAT, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Allowed_Execution_Platform : type enumeration (Native, Native_Compcert, LEON_RTEMS, LEON_ORK, LEON_GNAT, LINUX32, LINUX64, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Execution_Platform : Deployment::Allowed_Execution_Platform
applies to (processor);
......
......@@ -28,7 +28,7 @@ property set Deployment is
Protocol : Deployment::Protocol_Type
applies to (system);
Allowed_Execution_Platform : type enumeration (Native, LEON_RTEMS, LEON_ORK, LEON_GNAT, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Allowed_Execution_Platform : type enumeration (Native, Native_Compcert, LEON_RTEMS, LEON_ORK, LEON_GNAT, LINUX32, LINUX64, ERC32_ORK, ARM_DSLINUX, ARM_N770, X86_RTEMS, X86_LINUXTASTE, MARTE_OS, VXWORKS);
Execution_Platform : Deployment::Allowed_Execution_Platform
applies to (processor);
......
......@@ -7,7 +7,7 @@ Root_System Node_Id 6
Corresponding_Entity Node_Id 6
Scope_Entity Node_Id 0
Backend_Node Node_Id 0
Corresponding_Declaration Node_Id 1488
Corresponding_Declaration Node_Id 1490
Properties List_Id 0
Is_Private Boolean FALSE
Features List_Id 0
......
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment