From 9a051c0bb6a3efa9be07069a355ae3a64b7c4b6f Mon Sep 17 00:00:00 2001 From: Dustin Kern <dustin.kern@h-da.de> Date: Sat, 19 Feb 2022 14:50:59 +0000 Subject: [PATCH] Update README.md --- Security_Properties/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Security_Properties/README.md b/Security_Properties/README.md index 7083d47..062e75d 100644 --- a/Security_Properties/README.md +++ b/Security_Properties/README.md @@ -10,6 +10,6 @@ Hereby, `<filename>` has to be replaced with the name of the file that shall be Depending on `<filename>`, the heuristic should be set to `I` or `S` to optimize verification times. For `daa_pnc_credential_installation.spthy` use `--heuristic=S`. For both `daa_pnc_charge_authorisation_*.spthy` models use `--heuristic=I`. -Some lemmas use an oracle heuristic (via `[heuristic=o]` at the lemma definition), which overwrites the commandline `--heuristic=<I|S>` argument in Tamarin version 1.6.0. +Some lemmas use an oracle heuristic (via `[heuristic=o]` at the lemma definition), which overwrites the command line `--heuristic=<I|S>` argument in Tamarin version 1.6.0. -As the python oracle is used during verification, it is important that it is located in the same folder as the command is run (and that the oracle file is executable). \ No newline at end of file +As the python oracle is used during verification, it is important that it is located in the same folder as the command is run (and that the oracle file is executable). -- GitLab