config: as nemu is not deterministic, use qemu as default

#8
OpenXiangShan · Nov 16, 2024 · 73bc8ba · 73bc8ba
1 parent 1f9a509
commit 73bc8ba
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/config.nix b/config.nix
@@ -3,7 +3,8 @@
   #   * https://github.com/llvm/llvm-project/issues/109966
   #   * https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116064
   cc = "gcc13";
-  simulator = "nemu";       # nemu or qemu
+  # TODO: nemu is not deterministic
+  simulator = "qemu";       # nemu or qemu
   intervals = 20000000;
   workload = "miao";
   # TODO: remove *_log

diff --git a/shell.nix b/shell.nix
@@ -15,8 +15,8 @@ let
     * Configure by CLI:
       * `nom-build ... --arg <key> <value> ...`
       * `nom-build ... --argstr <key> <strvalue> ...`
-      * E.g: Generate spec2006 checkpoints using given source code, by qemu, in test size:
-        * `nom-build -A spec2006 --arg src ~/Codes/spec2006.tar.gz --argstr simulator qemu --argstr size test`
+      * E.g: Generate spec2006 checkpoints using given source code, by nemu, in test size:
+        * `nom-build -A spec2006 --arg src ~/Codes/spec2006.tar.gz --argstr simulator nemu --argstr size test`
     * Configure by global config file: edit `./config.nix`
     * Configure by per-benchmark config file: edit `./benchmarks/*/config.nix`