From bf24312fb1481604c90897367cd5aba56c63ab30 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Thu, 10 Jan 2008 16:50:02 +0100
Subject: [PATCH] Disabled intruder knowledge computation.

Isolated problem causing segfault identified by Simon Meier.
---
 src/intruderknowledge.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/intruderknowledge.c b/src/intruderknowledge.c
index 035d1c9..f298cfb 100644
--- a/src/intruderknowledge.c
+++ b/src/intruderknowledge.c
@@ -115,6 +115,13 @@ anySubTerm (Term t, Termlist sublist)
 void
 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
    */