From f6e1f25baf961923eb006d44a106cd3fe7aedd0b Mon Sep 17 00:00:00 2001 From: KotorinMinami Date: Tue, 14 May 2024 04:43:43 +0800 Subject: [PATCH] fix format problem and prevent different name --- model/hex_bits_signed.sail | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/model/hex_bits_signed.sail b/model/hex_bits_signed.sail index 3856d3a2a..15bbea809 100644 --- a/model/hex_bits_signed.sail +++ b/model/hex_bits_signed.sail @@ -74,7 +74,7 @@ $include 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)