diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 00:46:03 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 00:46:03 -0700 |
commit | d52406ccd9eb19be40b85a3a2a1b00e5052afb9b (patch) | |
tree | 18936281f60f84ea1ceb024b1b1580d376f765c6 /021check_instruction.cc | |
parent | 192d59d3bb9ee0baa1afd82cb5d0f352bdc6e403 (diff) | |
download | mu-d52406ccd9eb19be40b85a3a2a1b00e5052afb9b.tar.gz |
3381
Diffstat (limited to '021check_instruction.cc')
-rw-r--r-- | 021check_instruction.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/021check_instruction.cc b/021check_instruction.cc index b847fbe5..ac065abe 100644 --- a/021check_instruction.cc +++ b/021check_instruction.cc @@ -81,8 +81,8 @@ $error: 0 :(scenario write_boolean_to_number_allowed) def main [ - 1:boolean <- copy 1/true - 2:num <- copy 1:boolean + 1:bool <- copy 1/true + 2:num <- copy 1:bool ] +mem: storing 1 in location 2 $error: 0 @@ -90,7 +90,7 @@ $error: 0 :(scenario write_number_to_boolean_allowed) def main [ 1:num <- copy 34 - 2:boolean <- copy 1:num + 2:bool <- copy 1:num ] +mem: storing 34 in location 2 $error: 0 |