Hi Sathya,

Perhaps "" also matches everything.  What about trying "$^" or "ZZZZXCZAXCZXC"?

Additionally, if you are building with the make build system, you might want to verify that the relevant config value is being updated in .config.​  If you are building with the CMake build system, then the regex config setting is in a different location and can be changed in the CMake cache.

Kind regards,

Kent McLeod

---

From: Devel <devel-bounces@sel4.systems> on behalf of Sathya Narayanan N <sathya281@gmail.com>
Sent: Friday, July 13, 2018 5:35 PM
To: devel@sel4.systems
Subject: [seL4] Help ! Simulating SEL4 with Zero testcases running

 

Hi Experts,

I am running sel4 simulation on spike. I want to disable test cases from running. I tried setting default value "" from ".*" in Kconfig file. Is this enough ? Or is something else to be done ?

--

 regards,
Sathya