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