diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-02 17:57:43 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-02 17:57:43 -0700 |
| commit | 4c569925ca46a14ebea9303ceb423b781bad5e79 (patch) | |
| tree | 0a30bfa3ebd859b4da9fcee07ed091652af268bd /055shape_shifting_container.cc | |
| parent | 3dc3c72c4327f5f7cdeb28b1bb80cc8c67cb2c5b (diff) | |
| download | mu-4c569925ca46a14ebea9303ceb423b781bad5e79.tar.gz | |
3294
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 [ |