Hi Kent,

Thanks for the help. "$^" is working.


regards,
sathya


On Fri, Jul 13, 2018 at 1:18 PM, <Kent.Mcleod@data61.csiro.au> 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 <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  

 



--
 regards,
Sathya