fixing linter issues

riscv · Mar 23, 2024 · 0e0033e · 0e0033e
1 parent 563c819
commit 0e0033e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/c_emulator/riscv_sim.c b/c_emulator/riscv_sim.c
@@ -150,8 +150,8 @@ static struct option options[] = {
 #ifdef SAILCOV
  {"sailcov-file", required_argument, 0, 'c' },
 #endif
- {"enable-svnapot", no_argument, 0, OPT_ENABLE_SVNAPOT  },
- {"enable-svpbmt", no_argument, 0, OPT_ENABLE_SVPBMT  },
+ {"enable-svnapot", no_argument,  0, OPT_ENABLE_SVNAPOT },
+ {"enable-svpbmt", no_argument,  0, OPT_ENABLE_SVPBMT },
  {0, 0, 0, 0 }
 };
 

diff --git a/model/riscv_pte.sail b/model/riscv_pte.sail
@@ -167,7 +167,7 @@ function checkPTEPermission(ac : AccessType(ext_access_type), priv : Privilege,
  }
 }
 
-function update_PTE_Bits(p : PTE_Bits, a : AccessType(ext_access_type), std_ext : pteStdExtAttribs) -> option((PTE_Bits, pteStdExtAttribs)) = { 
+function update_PTE_Bits(p : PTE_Bits, a : AccessType(ext_access_type), std_ext : pteStdExtAttribs) -> option((PTE_Bits, pteStdExtAttribs)) = {
  let update_d = p[D] == 0b0 & (match a { // dirty-bit
  Execute() => false,
  Read() => false,