From 4c569925ca46a14ebea9303ceb423b781bad5e79 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Fri, 2 Sep 2016 17:57:43 -0700 Subject: 3294 --- 055shape_shifting_container.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '055shape_shifting_container.cc') 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 [ -- cgit 1.4.1-2-gfad0