diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-07-28 15:22:58 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-07-28 15:22:58 -0700 |
commit | 805fde84245f36594731b2a4e1c1628a0a92cadf (patch) | |
tree | 56915e7d927f4c42bd07aa37b62a047d6392a986 /050scenario.cc | |
parent | 185d1c07705ba41129e95d061d1cb3f8269aed84 (diff) | |
download | mu-805fde84245f36594731b2a4e1c1628a0a92cadf.tar.gz |
1871
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) |