diff options
| author |   Jason A. Donenfeld <Jason@zx2c4.com> | 2017-05-06 21:03:22 +0200 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2017-05-06 21:03:22 +0200 |
| commit | fafbf63301271e10eba973a7437aa9f5ac569321 (patch) | |
| tree | e33a102de056072b05755d1a3bf270b8880b03c9 | |
| parent | Makefile should be functional on linux (diff) | |
| download | wireguard-tamarin-fafbf63301271e10eba973a7437aa9f5ac569321.tar.xz wireguard-tamarin-fafbf63301271e10eba973a7437aa9f5ac569321.zip | |
Use proof server
| -rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -10,6 +10,8 @@ TAMARIN_ARGS ?= "--heuristic=i" TAMARIN_REMOTEBIN ?= tamarin-prover # The target protocol to be proved TAMARIN_PROTO ?= wireguard +# The remote host for running +TAMARIN_HOST ?= proof.wireguard.io logfile = log |