Hi Kent, Thanks for the help. "$^" is working. regards, sathya On Fri, Jul 13, 2018 at 1:18 PM, wrote:

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 on behalf of Sathya Narayanan N *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

-- regards, Sathya