diff options
| author | ckrinitsin <101062646+ckrinitsin@users.noreply.github.com> | 2025-10-23 17:37:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-23 17:37:18 +0200 |
| commit | b05dd5c4e90a786e566e463d140ce60dde48f87b (patch) | |
| tree | 24c0d55b5616cee934fcac6e1e8673f90d279841 | |
| parent | 81a61106b4e99245844d4861a835f2cc8f86ec8f (diff) | |
| download | focaccia-b05dd5c4e90a786e566e463d140ce60dde48f87b.tar.gz focaccia-b05dd5c4e90a786e566e463d140ce60dde48f87b.zip | |
Add Box64 validation steps to README
| -rw-r--r-- | README.md | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/README.md b/README.md index 0eb103b..94e6889 100644 --- a/README.md +++ b/README.md @@ -26,6 +26,8 @@ It will take a while to compile. `focaccia` is the main executable. Invoke `focaccia --help` to see what you can do with it. +### QEMU + A number of additional tools are included to simplify use when validating QEMU: `capture-transforms`, `convert-log`, `validate-qemu`. They enable the following workflow. @@ -37,6 +39,17 @@ validate-qemu --symb-trace oracle.trace localhost 12345 Using this workflow, Focaccia can determine whether a mistranslation occured in that particular QEMU run. +### Box64 + +For validating Box64, we create the oracle and test traces and compare them +using the main executable. + +```bash +capture-transforms -o oracle.trace bug.out +BOX64_TRACE_FILE=test.trace box64 bug.out +focaccia -o oracle.trace --symbolic -t test.trace --test-trace-type box64 --error-level error +``` + ## Tools The `tools/` directory contains additional utility scripts to work with focaccia. |