diff options
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/run_power.ml | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/src/test/run_power.ml b/src/test/run_power.ml index e8f47d64..91bb0448 100644 --- a/src/test/run_power.ml +++ b/src/test/run_power.ml @@ -14,19 +14,14 @@ let rec foldli f acc ?(i=0) = function | x::xs -> foldli f (f i acc x) ~i:(i+1) xs ;; -let little_endian = false ;; +let big_endian = true ;; let hex_to_big_int s = Big_int.big_int_of_int64 (Int64.of_string s) ;; -(* XXX POWER is big-endian - cheating until we have Kathy's switch *) -let flip_vec (V_vector (i, inc, l)) = V_vector (i, not inc, l) - let big_int_to_vec b size = - flip_vec ( - (if little_endian then to_vec_inc else to_vec_dec) + (if big_endian then to_vec_inc else to_vec_dec) size (V_lit (L_aux (L_num b, Unknown))) - ) ;; let mem = ref Mem.empty ;; |