search

tamarin-prover / manual

Tamarin prover manual: source files
https://tamarin-prover.github.io/manual
24 stars 39 forks source link

Fix outdated link #108

Closed thgoebel closed 1 year ago

thgoebel commented 1 year ago

Fix the link to the open chains not working. See the bottom of this page: https://tamarin-prover.github.io/manual/master/book/010_modeling-issues.html#what-to-do-when-tamarin-does-not-terminate

jdreier commented 1 year ago

Thanks!