From ea6699609ba40707cec63d7b89c9c1c9660f1fc8 Mon Sep 17 00:00:00 2001 From: Alex Keizer Date: Wed, 25 Sep 2024 13:48:04 -0500 Subject: [PATCH] chore: document `benchmarks` target --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 37b50e73..47939c18 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,5 @@ # LNSym: Native Code Symbolic Simulator in Lean -[![Makefile CI](https://github.com/leanprover/LNSym/actions/workflows/makefile.yml/badge.svg)](https://github.com/leanprover/LNSym/actions/workflows/makefile.yml) +[![Makefile CI](https://github.com/leanprover/LNSym/actions/workflows/makefile.yml/badge.svg)](https://github.com/leanprover/LNSym/actions/workflows/makefile.yml) LNSym is a symbolic simulator for Armv8 machine-code programs. @@ -41,6 +41,8 @@ native-code programs of interest. `awslc_elf`: perform ELF loading tests for AWS-LC. +`benchmarks`: run benchmarks for the symbolic simulator. + ### Makefile variables that can be passed in at the command line `VERBOSE`: Verbose mode; prints disassembly of the instructions being