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

Reindent of the code revealed that some was not indented nicely yet. Silly.

Browse Source
This commit is contained in:
Cas Cremers 2008-03-23 15:55:51 +09:00
parent 4c469cf848
commit c729d13a00
2 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/compiler.c
View File

@ -2214,9 +2214,9 @@ preprocess (const System sys)
* Check well-formedness
*/
/* TODO Temporarily disabled wellformedness check (well-formedness) after Simon bug reporting.
if (sys->knowledgedefined)
{
checkWellFormed (sys);
}
*/
if (sys->knowledgedefined)
{
checkWellFormed (sys);
}
*/
}

8
src/intruderknowledge.c
View File

@ -116,10 +116,10 @@ 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
*/
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;
/*