diff options
Diffstat (limited to '050scenario.cc')
-rw-r--r-- | 050scenario.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/050scenario.cc b/050scenario.cc index e35ab0cb..5a1df05d 100644 --- a/050scenario.cc +++ b/050scenario.cc @@ -552,6 +552,11 @@ recipe main [ ] +warn: unexpected [d] in trace layer a +//: Minor detail: ignore 'system' calls in scenarios, since anything we do +//: with them is by definition impossible to test through mu. +:(after "case _SYSTEM:") + if (Current_scenario) break; + //:: Helpers :(code) |