kmc7468/cs420
1
0
Fork 0
mirror of https://github.com/kmc7468/cs420.git synced 2025-12-16 15:38:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update assertion message

Browse Source
This commit is contained in:
Minseong Jang
2023-02-13 15:09:31 +09:00
parent 55ebcad347
commit 8df80203b8
2 changed files with 11 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/tests.rs
View File

@@ -186,7 +186,7 @@ pub fn test_irgen(path: &Path) {
// size. For this reason, we make `fuzzer` generate the C source code which returns values // size. For this reason, we make `fuzzer` generate the C source code which returns values
// typecasted to `unsigned char`. However, during `creduce` to reduce the code, typecasting may // typecasted to `unsigned char`. However, during `creduce` to reduce the code, typecasting may
// be nullified. So, we truncate the result value to byte size one more time here. // be nullified. So, we truncate the result value to byte size one more time here.
println!("clang: {}, kecc: {}", status as u8, value as u8); println!("clang (expected): {}, kecc: {}", status as u8, value as u8);
assert_eq!(status as u8, value as u8); assert_eq!(status as u8, value as u8);
} }
@@ -371,7 +371,10 @@ pub fn test_asmgen(path: &Path) {
drop(buffer); drop(buffer);
temp_dir.close().expect("temp dir deletion failed"); temp_dir.close().expect("temp dir deletion failed");
println!("kecc interp: {}, qemu: {}", value as u8, qemu_status as u8); println!(
"kecc interp (expected): {}, qemu: {}",
value as u8, qemu_status as u8
);
assert_eq!(value as u8, qemu_status as u8); assert_eq!(value as u8, qemu_status as u8);
} }
@@ -463,7 +466,7 @@ pub fn test_end_to_end(path: &Path) {
// typecasted to `unsigned char`. However, during `creduce` to reduce the code, typecasting may // typecasted to `unsigned char`. However, during `creduce` to reduce the code, typecasting may
// be nullified. So, we truncate the result value to byte size one more time here. // be nullified. So, we truncate the result value to byte size one more time here.
println!( println!(
"clang: {}, kecc interp: {}", "clang (expected): {}, kecc interp: {}",
clang_status as u8, value as u8 clang_status as u8, value as u8
); );
assert_eq!(clang_status as u8, value as u8); assert_eq!(clang_status as u8, value as u8);
@@ -531,6 +534,9 @@ pub fn test_end_to_end(path: &Path) {
drop(buffer); drop(buffer);
temp_dir.close().expect("temp dir deletion failed"); temp_dir.close().expect("temp dir deletion failed");
println!("clang: {}, qemu: {}", clang_status as u8, qemu_status as u8); println!(
"clang (expected): {}, qemu: {}",
clang_status as u8, qemu_status as u8
);
assert_eq!(clang_status as u8, qemu_status as u8); assert_eq!(clang_status as u8, qemu_status as u8);
} }