about summary refs log tree commit diff stats
path: root/050scenario.cc
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-07-28 15:22:58 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-07-28 15:22:58 -0700
commit805fde84245f36594731b2a4e1c1628a0a92cadf (patch)
tree56915e7d927f4c42bd07aa37b62a047d6392a986 /050scenario.cc
parent185d1c07705ba41129e95d061d1cb3f8269aed84 (diff)
downloadmu-805fde84245f36594731b2a4e1c1628a0a92cadf.tar.gz
1871
Diffstat (limited to '050scenario.cc')
-rw-r--r--050scenario.cc5
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)