eikendev / tamarin-prover-docker Goto Github PK

Hello,

I tried to integrate your docker image for a gitlab CI/CD pipeline.
I am able to have the image in the registry, however when I try to run this command:

$ tamarin-prover --prove nameOfTheFilet.spthy --auto-sources --derivcheck-timeout=50
maude tool: 'maude'
 checking version: 3.0. OK.
 checking installation: OK.
tamarin-prover: BRSKI_SetupRule_ProvvisionalAccept.spthy: hGetContents: invalid argument (invalid byte sequence)
Cleaning up project directory and file based variables

Any Idea on how to solve this issue? Looks like a parsing problem, but not really sure on how to solve this.

PS: I changed the version from 1.6 to 1.8 in order to have the derivation timeout flag.

Thanks in advance