Invalid character error message when using the Tamarin Nix package on Ubuntu · Issue #327 · tamarin-prover/tamarin-prover
Running the Tamarin model Jason A. Donenfeld and Kevin Milner did for WireGuard [1], using Tamarin installed using the Nix package on Ubuntu, I get the following error message: : commitBuffer: inva...
github.com