Update some concrete playback expected files for upcoming CBMC integration. (rust-lang#2125)

Author: zhassan-aws

tests/ui/concrete-playback/i64/expected

@@ -5,15 +5,15 @@ Concrete playback
 #[test]
 fn kani_concrete_playback_harness
     let concrete_vals: Vec<Vec<u8>> = vec![
-        // -9223372036854775808l
+        // -9223372036854775808
         vec![0, 0, 0, 0, 0, 0, 0, 128],
-        // -101l
+        // -101
         vec![155, 255, 255, 255, 255, 255, 255, 255],
-        // 0l
+        // 0
         vec![0, 0, 0, 0, 0, 0, 0, 0],
-        // 101l
+        // 101
         vec![101, 0, 0, 0, 0, 0, 0, 0],
-        // 9223372036854775807l
+        // 9223372036854775807
         vec![255, 255, 255, 255, 255, 255, 255, 127]
     ];
     kani::concrete_playback_run(concrete_vals, harness);

tests/ui/concrete-playback/isize/expected

@@ -5,15 +5,15 @@ Concrete playback
 #[test]
 fn kani_concrete_playback_harness
     let concrete_vals: Vec<Vec<u8>> = vec![
-        // -9223372036854775808l
+        // -9223372036854775808
         vec![0, 0, 0, 0, 0, 0, 0, 128],
-        // -101l
+        // -101
         vec![155, 255, 255, 255, 255, 255, 255, 255],
-        // 0l
+        // 0
         vec![0, 0, 0, 0, 0, 0, 0, 0],
-        // 101l
+        // 101
         vec![101, 0, 0, 0, 0, 0, 0, 0],
-        // 9223372036854775807l
+        // 9223372036854775807
         vec![255, 255, 255, 255, 255, 255, 255, 127]
     ];
     kani::concrete_playback_run(concrete_vals, harness);

tests/ui/concrete-playback/u32/expected

@@ -5,11 +5,11 @@ Concrete playback
 #[test]
 fn kani_concrete_playback_harness
     let concrete_vals: Vec<Vec<u8>> = vec![
-        // 0u
+        // 0
         vec![0, 0, 0, 0],
-        // 101u
+        // 101
         vec![101, 0, 0, 0],
-        // 4294967295u
+        // 4294967295
         vec![255, 255, 255, 255]
     ];
     kani::concrete_playback_run(concrete_vals, harness);