diff options
Diffstat (limited to 'src/test/run_power.ml')
| -rw-r--r-- | src/test/run_power.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/test/run_power.ml b/src/test/run_power.ml index 5b570de7..56d2d051 100644 --- a/src/test/run_power.ml +++ b/src/test/run_power.ml @@ -92,6 +92,7 @@ let init_reg () = init "CTR" Big_int.zero_big_int 64; init "CR" Big_int.zero_big_int 32; init "LR" lr_init_value 64; + init "XER" Big_int.zero_big_int 64; "mode64bit", Bitvector([true],true,Big_int.zero_big_int); ] ;; |