From 0c9960e4efb510bea03906a528ac4cf57263dbf5 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 21 Feb 2018 14:47:37 +0000
Subject: Create an update_field function for each field in a bitfield
 definition

---
 test/ocaml/bitfield/bitfield.sail | 6 +++++-
 test/ocaml/bitfield/expect        | 2 ++
 2 files changed, 7 insertions(+), 1 deletion(-)

(limited to 'test')

diff --git a/test/ocaml/bitfield/bitfield.sail b/test/ocaml/bitfield/bitfield.sail
index 57629cf0..2a53ab3c 100644
--- a/test/ocaml/bitfield/bitfield.sail
+++ b/test/ocaml/bitfield/bitfield.sail
@@ -29,5 +29,9 @@ function main () = {
   print_bits("CR.CR0: ", CR.CR0());
   print_bits("CR: ", CR.bits());
   CR->CR3() = 0b0;
-  print_bits("CR: ", CR.bits())
+  print_bits("CR: ", CR.bits());
+  CR = update_CR1(CR, 0b11);
+  print_bits("CR.CR1: ", CR.CR1());
+  CR = update_CR1(CR, 0b01);
+  print_bits("CR.CR1: ", CR.CR1());
 }
diff --git a/test/ocaml/bitfield/expect b/test/ocaml/bitfield/expect
index 63247dfd..e6e5a618 100644
--- a/test/ocaml/bitfield/expect
+++ b/test/ocaml/bitfield/expect
@@ -3,3 +3,5 @@ CR: 0x0F
 CR.CR0: 0x8
 CR: 0x8F
 CR: 0x8E
+CR.CR1: 0b11
+CR.CR1: 0b01
-- 
cgit v1.2.3