search

cascremers / scyther

The Scyther Tool for the symbolic analysis of security protocols
https://cispa.saarland/group/cremers/scyther/index.html
96 stars 38 forks source link

dot file is error #19

Closed twjitm closed 3 years ago

twjitm commented 5 years ago

hi boss, i use command ,get a dot file is error .xml in file.why??

cascremers commented 3 years ago

Underspecified and outdated, closing for now. Feel free to provide a more detailed bug report in the future.