Disable TIMEOUTFAULT0003 for simulation

It is very timing sensitive and relies on non-guaranteed ordering
of timeout faults. In Qemu it faults about 1 in 10 times for me.

Proper long-term fix is to make the test more robust by not assuming
ordering of faults, but that requires rewriting a lot of the test code.

Signed-off-by: Indan Zupancic <[email protected]>

Author: Indanz

apps/sel4test-tests/src/tests/faults.c

@@ -1060,7 +1060,8 @@ static int test_timeout_fault_nested_servers(env_t env)
 
     return sel4test_get_result();
 }
-DEFINE_TEST(TIMEOUTFAULT0003, "Nested timeout fault", test_timeout_fault_nested_servers, config_set(CONFIG_KERNEL_MCS))
+DEFINE_TEST(TIMEOUTFAULT0003, "Nested timeout fault", test_timeout_fault_nested_servers,
+            config_set(CONFIG_KERNEL_MCS) && !config_set(CONFIG_SIMULATION))
 
 static void vm_enter(void)
 {