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 <sathya...@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
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
