We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a202c66 commit 2803c04Copy full SHA for 2803c04
Logbook.md
@@ -49,7 +49,7 @@ Applying 25681 actions
49
50
Productivity 97.7% of total user, 97.7% of total elapsed
51
```
52
-Without the parameter specificing the minium heap size:
+Without the parameter specifying the minimum heap size:
53
```bash
54
yves@nucli$ nix run .#leios-trace-verifier -- +RTS -s -RTS --trace-file sim-rs-late.out --config-file data/simulation/config.default.yaml --topology-file leios-trace-verifier/examples/topology.yaml --idSut 0
55
Applying 25681 actions
0 commit comments