diff options
Diffstat (limited to '055shape_shifting_container.cc')
| -rw-r--r-- | 055shape_shifting_container.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/055shape_shifting_container.cc b/055shape_shifting_container.cc index 375e1e18..60774926 100644 --- a/055shape_shifting_container.cc +++ b/055shape_shifting_container.cc @@ -201,7 +201,7 @@ def main [ +mem: storing 23 in location 7 +run: reply # no other stores -% CHECK(trace_count_prefix("mem", "storing") == 7); +% CHECK_EQ(trace_count_prefix("mem", "storing"), 7); :(scenario get_on_shape_shifting_container) container foo:_t [ |