Fix expected file

Author: zhassan-aws

tests/expected/intrinsics/simd-as-array-based/expected

@@ -1,22 +1 @@
-Kani Rust Verifier
-CBMC version
-Reading GOTO program from file
-Generating GOTO Program
-Adding CPROVER library
-Removal of function pointers and virtual functions
-Generic Property Instrumentation
-Running with \d+ object bits
-Starting Bounded Model Checking
-Runtime Symex: \d+\.\d+s
-size of program expression: \d+ steps
-slicing removed \d+ assignments
-Generated \d+ VCC\(s\), \d+ remaining after simplification
-Runtime Postprocess Equation: \d+\.\d+(e-\d+)?s
-
-RESULTS:
 VERIFICATION:- SUCCESSFUL
-
-Verification Time: \d+\.\d+s
-
-Manual Harness Summary:
-Complete - 1 successfully verified harnesses, 0 failures, 1 total.