diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 13:00:39 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 13:00:39 -0700 |
| commit | a0331a9b0eab63a000dcd022fe605d124c573b8d (patch) | |
| tree | 5c7403d16fd8c9d31ead65495eae84edf9cfc2e4 /082scenario_screen.cc | |
| parent | 760f683f2755038a1b0c16522f5001b889096aa5 (diff) | |
| download | mu-a0331a9b0eab63a000dcd022fe605d124c573b8d.tar.gz | |
3390
Diffstat (limited to '082scenario_screen.cc')
| -rw-r--r-- | 082scenario_screen.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/082scenario_screen.cc b/082scenario_screen.cc index 44259cb4..a657627f 100644 --- a/082scenario_screen.cc +++ b/082scenario_screen.cc @@ -253,7 +253,7 @@ void check_screen(const string& expected_contents, const int color) { int screen_location = get_or_insert(Memory, SCREEN)+/*skip refcount*/1; int data_offset = find_element_name(get(Type_ordinal, "screen"), "data", ""); assert(data_offset >= 0); - int screen_data_location = screen_location+data_offset; // type: address:array:char + int screen_data_location = screen_location+data_offset; // type: address:@:char int screen_data_start = get_or_insert(Memory, screen_data_location) + /*skip refcount*/1; // type: array:char int width_offset = find_element_name(get(Type_ordinal, "screen"), "num-columns", ""); int screen_width = get_or_insert(Memory, screen_location+width_offset); @@ -397,7 +397,7 @@ void dump_screen() { int screen_height = get_or_insert(Memory, screen_location+height_offset); int data_offset = find_element_name(get(Type_ordinal, "screen"), "data", ""); assert(data_offset >= 0); - int screen_data_location = screen_location+data_offset; // type: address:array:char + int screen_data_location = screen_location+data_offset; // type: address:@:char int screen_data_start = get_or_insert(Memory, screen_data_location) + /*skip refcount*/1; // type: array:char assert(get_or_insert(Memory, screen_data_start) == screen_width*screen_height); int curr = screen_data_start+1; // skip length |