Merge pull request #80 from mmcloughlin/mbm/update-footprint-doc

README.md: update footprint example commmand line
rems-project · Dec 29, 2023 · 2a4bd42 · 2a4bd42
2 parents 2c5ca08 + c4b05b8
commit 2a4bd42
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -67,10 +67,10 @@ build with dune >= 1.2.
 ## Example
 
 After compiling Isla, to compute the footprint of an add instruction
-using the aarch64 snapshot above, the following command can be used:
+using the ARM 8.5 snapshot above, the following command can be used:
 
 ```
-target/release/isla-footprint -A aarch64.ir -C configs/aarch64.toml -i "add x0, x1, #3" -s
+target/release/isla-footprint -A armv8p5.ir -C configs/armv8p5.toml -i "add x0, x1, #3" -s
 ```
 
 The arguments are the compiled Sail model, a configuration file