# Test sequence: Interrupt processing
itest_ip_01:Implementation Test Sequence 1
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK:NON
	Extended-with-mixed-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK:FULL
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK:NON
	Standard-with-mixed-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK:FULL

ctest_ip_01:Test Sequence 1
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	Standard-with-mixed-preemptive-1
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	Extended-with-mixed-preemptive-1
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	Standard-with-mixed-preemptive-2
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	Extended-with-mixed-preemptive-2
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	Standard-with-full-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
	Extended-with-full-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL

ctest_ip_03:Test Sequence 3
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK:NON
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK:NON
	Standard-with-mixed-preemptive-1
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK:FULL
	Extended-with-mixed-preemptive-1
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK:FULL

ctest_ip_04:Test Sequence 4
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK:NON
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK:NON
	Standard-with-mixed-preemptive-1
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK:FULL
	Extended-with-mixed-preemptive-1
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK:FULL

# Test sequence: Task management
ctest_tm_01:Test Sequence 1
	non-preemptive
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	mixed-preemptive-1
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	mixed-preemptive-2
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	full-preemptive
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL

ctest_tm_02:Test Sequence 2
	Standard-with-mixed-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:STANDARD
	Standard-with-non-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:STANDARD
	Extended-with-mixed-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:EXTENDED
	Extended-with-non-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:EXTENDED

ctest_tm_03:Test Sequence 3
	Standard-with-mixed-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:STANDARD
	Standard-with-non-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:STANDARD
	Extended-with-mixed-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:EXTENDED
	Extended-with-non-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:EXTENDED

ctest_tm_04:Test Sequence 4
	Standard-with-mixed-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:STANDARD
	Standard-with-non-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:STANDARD
	Extended-with-mixed-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:EXTENDED
	Extended-with-non-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:EXTENDED

ctest_tm_05:Test Sequence 5
	Standard-with-full-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:STANDARD
	Standard-with-mixed-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:STANDARD
	Extended-with-full-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:EXTENDED
	Extended-with-mixed-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:EXTENDED

ctest_tm_06:Test Sequence 6
	non-preemptive
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	mixed-preemptive-1
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	mixed-preemptive-2
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	full-preemptive
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL

ctest_tm_07:Test Sequence 7
	Standard-with-full-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:STANDARD
	Standard-with-mixed-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:STANDARD
	Extended-with-full-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:EXTENDED
	Extended-with-mixed-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:EXTENDED

ctest_tm_08:Test Sequence 8
	full-preemptive
		CT_SCHEDULING:FULL
	mixed-preemptive
		CT_SCHEDULING:NON

ctest_tm_09:Test Sequence 9
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
	Standard-with-mixed-preemptive-1
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
	Extended-with-mixed-preemptive-1
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
	Standard-with-mixed-preemptive-2
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
	Extended-with-mixed-preemptive-2
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
	Standard-with-mixed-preemptive-3
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
	Extended-with-mixed-preemptive-3
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
	Standard-with-mixed-preemptive-4
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
	Extended-with-mixed-preemptive-4
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
	Standard-with-mixed-preemptive-5
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
	Extended-with-mixed-preemptive-5
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
	Standard-with-mixed-preemptive-6
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
	Extended-with-mixed-preemptive-6
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
	Standard-with-full-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
	Extended-with-full-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL

ctest_tm_10:Test Sequence 10
	Standard-with-mixed-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:STANDARD
	Standard-with-non-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:STANDARD
	Extended-with-mixed-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:EXTENDED
	Extended-with-non-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:EXTENDED

ctest_tm_11:Test Sequence 11
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
	Standard-with-mixed-preemptive-1
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
	Extended-with-mixed-preemptive-1
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
	Standard-with-mixed-preemptive-2
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
	Extended-with-mixed-preemptive-2
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
	Standard-with-mixed-preemptive-3
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
	Extended-with-mixed-preemptive-3
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
	Standard-with-mixed-preemptive-4
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:NON
	Extended-with-mixed-preemptive-4
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:NON
	Standard-with-mixed-preemptive-5
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:NON
	Extended-with-mixed-preemptive-5
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:NON
	Standard-with-mixed-preemptive-6
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:NON
	Extended-with-mixed-preemptive-6
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:NON
	Standard-with-mixed-preemptive-7
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:NON
	Extended-with-mixed-preemptive-7
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:NON
	Standard-with-mixed-preemptive-8
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:FULL
	Extended-with-mixed-preemptive-8
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:FULL
	Standard-with-mixed-preemptive-9
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:FULL
	Extended-with-mixed-preemptive-9
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:FULL
	Standard-with-mixed-preemptive-10
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:FULL
	Extended-with-mixed-preemptive-10
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:FULL
	Standard-with-mixed-preemptive-11
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:FULL
	Extended-with-mixed-preemptive-11
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:FULL
	Standard-with-mixed-preemptive-12
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:FULL
	Extended-with-mixed-preemptive-12
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:FULL
	Standard-with-mixed-preemptive-13
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:FULL
	Extended-with-mixed-preemptive-13
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:FULL
	Standard-with-mixed-preemptive-14
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:FULL
	Extended-with-mixed-preemptive-14
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:FULL
	Standard-with-full-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:FULL
	Extended-with-full-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:FULL

ctest_tm_12:Test Sequence 12
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
	Standard-with-mixed-preemptive-1
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
	Extended-with-mixed-preemptive-1
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
	Standard-with-mixed-preemptive-2
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
	Extended-with-mixed-preemptive-2
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
	Standard-with-mixed-preemptive-3
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
	Extended-with-mixed-preemptive-3
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
	Standard-with-mixed-preemptive-4
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
	Extended-with-mixed-preemptive-4
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
	Standard-with-mixed-preemptive-5
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
	Extended-with-mixed-preemptive-5
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
	Standard-with-mixed-preemptive-6
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
	Extended-with-mixed-preemptive-6
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
	Standard-with-full-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
	Extended-with-full-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL

ctest_tm_13:Test Sequence 13
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
		CT_SCHEDULING_TASK5:NON
		CT_SCHEDULING_TASK6:NON
		CT_SCHEDULING_TASK7:NON
		CT_SCHEDULING_TASK8:NON
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
		CT_SCHEDULING_TASK5:NON
		CT_SCHEDULING_TASK6:NON
		CT_SCHEDULING_TASK7:NON
		CT_SCHEDULING_TASK8:NON
	Standard-with-mixed-preemptive-1
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
		CT_SCHEDULING_TASK5:NON
		CT_SCHEDULING_TASK6:NON
		CT_SCHEDULING_TASK7:NON
		CT_SCHEDULING_TASK8:NON
	Extended-with-mixed-preemptive-1
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
		CT_SCHEDULING_TASK5:NON
		CT_SCHEDULING_TASK6:NON
		CT_SCHEDULING_TASK7:NON
		CT_SCHEDULING_TASK8:NON
	Standard-with-mixed-preemptive-2
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:FULL
		CT_SCHEDULING_TASK5:FULL
		CT_SCHEDULING_TASK6:FULL
		CT_SCHEDULING_TASK7:FULL
		CT_SCHEDULING_TASK8:FULL
	Extended-with-mixed-preemptive-2
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:FULL
		CT_SCHEDULING_TASK5:FULL
		CT_SCHEDULING_TASK6:FULL
		CT_SCHEDULING_TASK7:FULL
		CT_SCHEDULING_TASK8:FULL
	Standard-with-mixed-preemptive-3
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
		CT_SCHEDULING_TASK5:FULL
		CT_SCHEDULING_TASK6:NON
		CT_SCHEDULING_TASK7:NON
		CT_SCHEDULING_TASK8:FULL
	Extended-with-mixed-preemptive-3
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
		CT_SCHEDULING_TASK5:FULL
		CT_SCHEDULING_TASK6:NON
		CT_SCHEDULING_TASK7:NON
		CT_SCHEDULING_TASK8:FULL
	Standard-with-mixed-preemptive-4
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:NON
		CT_SCHEDULING_TASK5:NON
		CT_SCHEDULING_TASK6:FULL
		CT_SCHEDULING_TASK7:FULL
		CT_SCHEDULING_TASK8:NON
	Extended-with-mixed-preemptive-4
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:NON
		CT_SCHEDULING_TASK5:NON
		CT_SCHEDULING_TASK6:FULL
		CT_SCHEDULING_TASK7:FULL
		CT_SCHEDULING_TASK8:NON
	Standard-with-full-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:FULL
		CT_SCHEDULING_TASK5:FULL
		CT_SCHEDULING_TASK6:FULL
		CT_SCHEDULING_TASK7:FULL
		CT_SCHEDULING_TASK8:FULL
	Extended-with-full-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:FULL
		CT_SCHEDULING_TASK5:FULL
		CT_SCHEDULING_TASK6:FULL
		CT_SCHEDULING_TASK7:FULL
		CT_SCHEDULING_TASK8:FULL

ctest_tm_14:Test Sequence 14
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK01:NON
		CT_SCHEDULING_TASK02:NON
		CT_SCHEDULING_TASK03:NON
		CT_SCHEDULING_TASK04:NON
		CT_SCHEDULING_TASK05:NON
		CT_SCHEDULING_TASK06:NON
		CT_SCHEDULING_TASK07:NON
		CT_SCHEDULING_TASK08:NON
		CT_SCHEDULING_TASK09:NON
		CT_SCHEDULING_TASK10:NON
		CT_SCHEDULING_TASK11:NON
		CT_SCHEDULING_TASK12:NON
		CT_SCHEDULING_TASK13:NON
		CT_SCHEDULING_TASK14:NON
		CT_SCHEDULING_TASK15:NON
		CT_SCHEDULING_TASK16:NON
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK01:NON
		CT_SCHEDULING_TASK02:NON
		CT_SCHEDULING_TASK03:NON
		CT_SCHEDULING_TASK04:NON
		CT_SCHEDULING_TASK05:NON
		CT_SCHEDULING_TASK06:NON
		CT_SCHEDULING_TASK07:NON
		CT_SCHEDULING_TASK08:NON
		CT_SCHEDULING_TASK09:NON
		CT_SCHEDULING_TASK10:NON
		CT_SCHEDULING_TASK11:NON
		CT_SCHEDULING_TASK12:NON
		CT_SCHEDULING_TASK13:NON
		CT_SCHEDULING_TASK14:NON
		CT_SCHEDULING_TASK15:NON
		CT_SCHEDULING_TASK16:NON
	Standard-with-mixed-preemptive-1
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK01:FULL
		CT_SCHEDULING_TASK02:NON
		CT_SCHEDULING_TASK03:NON
		CT_SCHEDULING_TASK04:NON
		CT_SCHEDULING_TASK05:NON
		CT_SCHEDULING_TASK06:NON
		CT_SCHEDULING_TASK07:NON
		CT_SCHEDULING_TASK08:NON
		CT_SCHEDULING_TASK09:NON
		CT_SCHEDULING_TASK10:NON
		CT_SCHEDULING_TASK11:NON
		CT_SCHEDULING_TASK12:NON
		CT_SCHEDULING_TASK13:NON
		CT_SCHEDULING_TASK14:NON
		CT_SCHEDULING_TASK15:NON
		CT_SCHEDULING_TASK16:NON
	Extended-with-mixed-preemptive-1
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK01:FULL
		CT_SCHEDULING_TASK02:NON
		CT_SCHEDULING_TASK03:NON
		CT_SCHEDULING_TASK04:NON
		CT_SCHEDULING_TASK05:NON
		CT_SCHEDULING_TASK06:NON
		CT_SCHEDULING_TASK07:NON
		CT_SCHEDULING_TASK08:NON
		CT_SCHEDULING_TASK09:NON
		CT_SCHEDULING_TASK10:NON
		CT_SCHEDULING_TASK11:NON
		CT_SCHEDULING_TASK12:NON
		CT_SCHEDULING_TASK13:NON
		CT_SCHEDULING_TASK14:NON
		CT_SCHEDULING_TASK15:NON
		CT_SCHEDULING_TASK16:NON
	Standard-with-mixed-preemptive-2
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK01:NON
		CT_SCHEDULING_TASK02:FULL
		CT_SCHEDULING_TASK03:FULL
		CT_SCHEDULING_TASK04:FULL
		CT_SCHEDULING_TASK05:FULL
		CT_SCHEDULING_TASK06:FULL
		CT_SCHEDULING_TASK07:NON
		CT_SCHEDULING_TASK08:FULL
		CT_SCHEDULING_TASK09:NON
		CT_SCHEDULING_TASK10:NON
		CT_SCHEDULING_TASK11:FULL
		CT_SCHEDULING_TASK12:NON
		CT_SCHEDULING_TASK13:NON
		CT_SCHEDULING_TASK14:FULL
		CT_SCHEDULING_TASK15:NON
		CT_SCHEDULING_TASK16:FULL
	Extended-with-mixed-preemptive-2
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK01:NON
		CT_SCHEDULING_TASK02:FULL
		CT_SCHEDULING_TASK03:FULL
		CT_SCHEDULING_TASK04:FULL
		CT_SCHEDULING_TASK05:FULL
		CT_SCHEDULING_TASK06:FULL
		CT_SCHEDULING_TASK07:NON
		CT_SCHEDULING_TASK08:FULL
		CT_SCHEDULING_TASK09:NON
		CT_SCHEDULING_TASK10:NON
		CT_SCHEDULING_TASK11:FULL
		CT_SCHEDULING_TASK12:NON
		CT_SCHEDULING_TASK13:NON
		CT_SCHEDULING_TASK14:FULL
		CT_SCHEDULING_TASK15:NON
		CT_SCHEDULING_TASK16:FULL
	Standard-with-full-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK01:FULL
		CT_SCHEDULING_TASK02:FULL
		CT_SCHEDULING_TASK03:FULL
		CT_SCHEDULING_TASK04:FULL
		CT_SCHEDULING_TASK05:FULL
		CT_SCHEDULING_TASK06:FULL
		CT_SCHEDULING_TASK07:FULL
		CT_SCHEDULING_TASK08:FULL
		CT_SCHEDULING_TASK09:FULL
		CT_SCHEDULING_TASK10:FULL
		CT_SCHEDULING_TASK11:FULL
		CT_SCHEDULING_TASK12:FULL
		CT_SCHEDULING_TASK13:FULL
		CT_SCHEDULING_TASK14:FULL
		CT_SCHEDULING_TASK15:FULL
		CT_SCHEDULING_TASK16:FULL
	Extended-with-full-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK01:FULL
		CT_SCHEDULING_TASK02:FULL
		CT_SCHEDULING_TASK03:FULL
		CT_SCHEDULING_TASK04:FULL
		CT_SCHEDULING_TASK05:FULL
		CT_SCHEDULING_TASK06:FULL
		CT_SCHEDULING_TASK07:FULL
		CT_SCHEDULING_TASK08:FULL
		CT_SCHEDULING_TASK09:FULL
		CT_SCHEDULING_TASK10:FULL
		CT_SCHEDULING_TASK11:FULL
		CT_SCHEDULING_TASK12:FULL
		CT_SCHEDULING_TASK13:FULL
		CT_SCHEDULING_TASK14:FULL
		CT_SCHEDULING_TASK15:FULL
		CT_SCHEDULING_TASK16:FULL

ctest_tm_15:Test Sequence 15
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
		CT_SCHEDULING_TASK5:NON
		CT_SCHEDULING_TASK6:NON
		CT_SCHEDULING_TASK7:NON
		CT_SCHEDULING_TASK8:NON
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
		CT_SCHEDULING_TASK5:NON
		CT_SCHEDULING_TASK6:NON
		CT_SCHEDULING_TASK7:NON
		CT_SCHEDULING_TASK8:NON
	Standard-with-mixed-preemptive-1
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
		CT_SCHEDULING_TASK5:NON
		CT_SCHEDULING_TASK6:NON
		CT_SCHEDULING_TASK7:NON
		CT_SCHEDULING_TASK8:NON
	Extended-with-mixed-preemptive-1
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
		CT_SCHEDULING_TASK5:NON
		CT_SCHEDULING_TASK6:NON
		CT_SCHEDULING_TASK7:NON
		CT_SCHEDULING_TASK8:NON
	Standard-with-mixed-preemptive-2
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:FULL
		CT_SCHEDULING_TASK5:FULL
		CT_SCHEDULING_TASK6:FULL
		CT_SCHEDULING_TASK7:FULL
		CT_SCHEDULING_TASK8:FULL
	Extended-with-mixed-preemptive-2
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:FULL
		CT_SCHEDULING_TASK5:FULL
		CT_SCHEDULING_TASK6:FULL
		CT_SCHEDULING_TASK7:FULL
		CT_SCHEDULING_TASK8:FULL
	Standard-with-mixed-preemptive-3
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
		CT_SCHEDULING_TASK5:FULL
		CT_SCHEDULING_TASK6:NON
		CT_SCHEDULING_TASK7:NON
		CT_SCHEDULING_TASK8:FULL
	Extended-with-mixed-preemptive-3
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
		CT_SCHEDULING_TASK4:NON
		CT_SCHEDULING_TASK5:FULL
		CT_SCHEDULING_TASK6:NON
		CT_SCHEDULING_TASK7:NON
		CT_SCHEDULING_TASK8:FULL
	Standard-with-mixed-preemptive-4
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:NON
		CT_SCHEDULING_TASK5:NON
		CT_SCHEDULING_TASK6:FULL
		CT_SCHEDULING_TASK7:FULL
		CT_SCHEDULING_TASK8:NON
	Extended-with-mixed-preemptive-4
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:NON
		CT_SCHEDULING_TASK5:NON
		CT_SCHEDULING_TASK6:FULL
		CT_SCHEDULING_TASK7:FULL
		CT_SCHEDULING_TASK8:NON
	Standard-with-full-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:FULL
		CT_SCHEDULING_TASK5:FULL
		CT_SCHEDULING_TASK6:FULL
		CT_SCHEDULING_TASK7:FULL
		CT_SCHEDULING_TASK8:FULL
	Extended-with-full-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
		CT_SCHEDULING_TASK4:FULL
		CT_SCHEDULING_TASK5:FULL
		CT_SCHEDULING_TASK6:FULL
		CT_SCHEDULING_TASK7:FULL
		CT_SCHEDULING_TASK8:FULL

# Test sequence: Resource management
ctest_rm_01:Test Sequence 1
	non-preemptive
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	mixed-preemptive-1
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	mixed-preemptive-2
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	full-preemptive
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL

ctest_rm_02:Test Sequence 2
	Standard-with-mixed-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:STANDARD
	Standard-with-non-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:STANDARD
# The following Tests can not run, there is a cotradiction between the
# OSEK specification and the test specification.
# See: https://github.com/ciaa/Firmware/issues/144
#   Extended-with-mixed-preemptive
#      CT_SCHEDULING:FULL
#      CT_STATUS:EXTENDED
#   Extended-with-non-preemptive
#      CT_SCHEDULING:NON
#      CT_STATUS:EXTENDED

ctest_rm_03:Test Sequence 3
	Standard-with-full-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:STANDARD
	Standard-with-mixed-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:STANDARD
	Extended-with-full-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:EXTENDED
	Extended-with-mixed-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:EXTENDED

ctest_rm_04:Test Sequence 4
	Non-preemptive
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
	Mixed-preemptive-1
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:NON
	Mixed-preemptive-2
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
	Mixed-preemptive-3
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:NON
	Mixed-preemptive-4
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
	Mixed-preemptive-5
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
		CT_SCHEDULING_TASK3:FULL
	Mixed-preemptive-6
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL
	Full-preemptive
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
		CT_SCHEDULING_TASK3:FULL

ctest_rm_05:Test Sequence 5
	Non-preemptive
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	Mixed-preemptive-1
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	Mixed-preemptive-2
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	Full-preemptive
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL

# Test sequence: Event mechanism
ctest_em_01:Test Sequence 1
	non-preemptive
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	mixed-preemptive-1
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	mixed-preemptive-2
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	full-preemptive
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL

ctest_em_02:Test Sequence 2
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	Standard-with-mixed-preemptive-1
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	Extended-with-mixed-preemptive-1
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	Standard-with-mixed-preemptive-2
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	Extended-with-mixed-preemptive-2
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	Standard-with-full-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
	Extended-with-full-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL

ctest_em_03:Test Sequence 3
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK3:NON
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK3:NON
	Standard-with-mixed-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK3:FULL
	Extended-with-mixed-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK3:FULL

ctest_em_04:Test Sequence 4
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK5:NON
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK5:NON
	Standard-with-mixed-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK5:FULL
	Extended-with-mixed-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK5:FULL

# Test sequence: Error handling
ctest_eh_01:Test Sequence 1
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	Standard-with-mixed-preemptive-1
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	Extended-with-mixed-preemptive-1
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	Standard-with-mixed-preemptive-2
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	Extended-with-mixed-preemptive-2
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	Standard-with-full-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
	Extended-with-full-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL

ctest_eh_02:Test Sequence 2
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	Standard-with-mixed-preemptive-1
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	Extended-with-mixed-preemptive-1
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	Standard-with-mixed-preemptive-2
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	Extended-with-mixed-preemptive-2
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	Standard-with-full-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
	Extended-with-full-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
# Test sequence: Alarms
ctest_al_01:Test Sequence 1
	non-preemptive
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	mixed-preemptive-1
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	mixed-preemptive-2
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	full-preemptive
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL

ctest_al_02:Test Sequence 2
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	Standard-with-mixed-preemptive-1
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	Extended-with-mixed-preemptive-1
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	Standard-with-mixed-preemptive-2
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	Extended-with-mixed-preemptive-2
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	Standard-with-full-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
	Extended-with-full-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL

ctest_al_03:Test Sequence 3
	Standard-with-non-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	Extended-with-non-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:NON
	Standard-with-mixed-preemptive-1
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	Extended-with-mixed-preemptive-1
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:NON
	Standard-with-mixed-preemptive-2
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	Extended-with-mixed-preemptive-2
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:NON
		CT_SCHEDULING_TASK2:FULL
	Standard-with-full-preemptive
		CT_STATUS:STANDARD
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL
	Extended-with-full-preemptive
		CT_STATUS:EXTENDED
		CT_SCHEDULING_TASK1:FULL
		CT_SCHEDULING_TASK2:FULL

ctest_al_04:Test Sequence 4
	Standard-with-mixed-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:STANDARD
	Standard-with-non-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:STANDARD
	Extended-with-mixed-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:EXTENDED
	Extended-with-non-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:EXTENDED

ctest_al_05:Test Sequence 5
	Standard-with-full-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:STANDARD
	Standard-with-mixed-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:STANDARD
	Extended-with-full-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:EXTENDED
	Extended-with-mixed-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:EXTENDED

ctest_al_06:Test Sequence 6
	Standard-with-full-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:STANDARD
	Standard-with-mixed-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:STANDARD
	Extended-with-full-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:EXTENDED
	Extended-with-mixed-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:EXTENDED

ctest_al_07:Test Sequence 7
	Standard-with-full-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:STANDARD
	Standard-with-mixed-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:STANDARD
	Extended-with-full-preemptive
		CT_SCHEDULING:FULL
		CT_STATUS:EXTENDED
	Extended-with-mixed-preemptive
		CT_SCHEDULING:NON
		CT_STATUS:EXTENDED

