andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Disabled intruder knowledge computation.

Browse Source 
Isolated problem causing segfault identified by Simon Meier.
This commit is contained in:
Cas Cremers 2008-01-10 16:50:02 +01:00
parent 0e15b7221f
commit bf24312fb1
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/intruderknowledge.c
View File

@ -115,6 +115,13 @@ anySubTerm (Term t, Termlist sublist)
void void
initialIntruderKnowledge (const System sys) initialIntruderKnowledge (const System sys)
{ {
/*
TODO this is buggy and leads to a segfault with Simon's example (bug report for wellformedness check)
Disabled for now.
./scyther-linux simple-challenge-SEGFAULT.spdl
*/
return;
/* /*
* display initial role knowledge * display initial role knowledge
*/ */