Error: tamarin-prover: fd:17: commitBuffer: invalid argument (invalid character)

[mmhuang]

Hi everyone,

    I start to learn how to use oracle and I followed the instruction in https://tamarin-prover.com/manual/master/book/011_advanced-features.html. 

    When I ran "tamarin-prover --prove=uniqueness SourceOfUniqueness.spthy", there was an error which showed "tamarin-prover: fd:17: commitBuffer: invalid argument (invalid character)". Tamarin service crashed. The whole output is attached. 

    I didn't find any solutions, Could any one help me. Thanks.

    I ran the command in Ubuntu 20.04.

    

[Felix Linker]

Hi,

Can you try setting your console language to UTF-8 before executing commands with Tamarin? I think this command should do the trick: export LANG=en_US.UTF-8

Best,
Felix

--
You received this message because you are subscribed to the Google Groups "tamarin-prover" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tamarin-prove...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tamarin-prover/71c8a63e-5bad-40c1-a909-7f99bf9912dfn%40googlegroups.com.

[mmhuang]

It worked! Thanks again.