diff options
author | KotorinMinami <huangshuo4@gmail.com> | 2024-05-14 04:43:43 +0800 |
---|---|---|
committer | KotorinMinami <huangshuo4@gmail.com> | 2024-05-14 04:43:43 +0800 |
commit | f6e1f25baf961923eb006d44a106cd3fe7aedd0b (patch) | |
tree | d5b487e6c4d24c7619837458d2515696d20da255 | |
parent | 13c24db964578eb887002ced991591c8a6287c7f (diff) | |
download | sail-riscv-f6e1f25baf961923eb006d44a106cd3fe7aedd0b.zip sail-riscv-f6e1f25baf961923eb006d44a106cd3fe7aedd0b.tar.gz sail-riscv-f6e1f25baf961923eb006d44a106cd3fe7aedd0b.tar.bz2 |
fix format problem and prevent different name
-rw-r--r-- | model/hex_bits_signed.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/model/hex_bits_signed.sail b/model/hex_bits_signed.sail index 3856d3a..15bbea8 100644 --- a/model/hex_bits_signed.sail +++ b/model/hex_bits_signed.sail @@ -74,7 +74,7 @@ $include <string.sail> val parse_hex_bits_signed : forall 'n, 'n > 0. (int('n), string) -> bits('n) val valid_hex_bits_signed : forall 'n, 'n > 0. (int('n), string) -> bool -val hex_bits_signed: forall 'n, 'n > 0. bits('n) <-> (int('n), string) +val hex_bits_signed : forall 'n, 'n > 0. bits('n) <-> (int('n), string) function hex_bits_signed_forwards(bv) = { if signed(bv) < 0 @@ -86,8 +86,8 @@ function hex_bits_signed_forwards_matches(bv) = true function parse_hex_bits_signed(n, str) = { if string_take(str, 1) == "-" then { - let str_ = string_drop(str, 1); - let bv = parse_hex_bits(n, str_); + let str = string_drop(str, 1); + let bv = parse_hex_bits(n, str); not_vec(bv) + 1 } else parse_hex_bits(n, str) |