Thanks for the help. "$^" is working.
On Fri, Jul 13, 2018 at 1:18 PM, <Kent.Mcleod(a)data61.csiro.au> wrote:
Perhaps "" also matches everything. What about trying "$^" or
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
*From:* Devel <devel-bounces(a)sel4.systems> on behalf of Sathya Narayanan
*Sent:* Friday, July 13, 2018 5:35 PM
*Subject:* [seL4] Help ! Simulating SEL4 with Zero testcases running
I am running sel4 simulation on spike. I want to disable test cases from
running. I tried setting default value "" from ".*" in Kconfig file.
this enough ? Or is something else to be done ?