diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-02-25 22:08:27 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-02-25 22:08:27 -0800 |
commit | a3a0574f17424cb67c1be120b01d6b57771bbbfe (patch) | |
tree | 96a57a8e07fa19c15db259bd27ca6c65fe467165 /021check_instruction.cc | |
parent | 5d2a486d9de25dc98d19ef91154e12a8c8efbe87 (diff) | |
download | mu-a3a0574f17424cb67c1be120b01d6b57771bbbfe.tar.gz |
2709
Only Hide_errors when strictly necessary. In other places let test failures directly show the unexpected error.
Diffstat (limited to '021check_instruction.cc')
-rw-r--r-- | 021check_instruction.cc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/021check_instruction.cc b/021check_instruction.cc index 67dd800b..f65dd398 100644 --- a/021check_instruction.cc +++ b/021check_instruction.cc @@ -73,7 +73,6 @@ recipe main [ +error: main: can't copy 34 to 1:address:number; types don't match :(scenario write_address_to_number_allowed) -% Hide_errors = true; recipe main [ 1:address:number <- copy 12/unsafe 2:number <- copy 1:address:number @@ -82,7 +81,6 @@ recipe main [ $error: 0 :(scenario write_boolean_to_number_allowed) -% Hide_errors = true; recipe main [ 1:boolean <- copy 1/true 2:number <- copy 1:boolean |