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

BUGFIX: Removed obsolete code that was destroying commit/agreement functionality when filtering.

Browse Source 
This is now (and has been for a while) handled by other code.
This commit is contained in:
Cas Cremers 2011-01-25 17:30:59 +01:00
parent 6286a2c810
commit 1814a2d7b3
1 changed files with 0 additions and 34 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
src/compiler.c
View File

@ -498,40 +498,6 @@ claimCreate (const System sys, const Protocol protocol, const Role role,
label = generateFreshClaimlabel (sys, protocol, role, claim); label = generateFreshClaimlabel (sys, protocol, role, claim);
} }
if (switches.filterProtocol != NULL)
{
// only this protocol
if (!isStringEqual
(switches.filterProtocol, TermSymb (protocol->nameterm)->text))
{
// not this protocol; return
return NULL;
}
// and maybe also a specific label?
if (switches.filterLabel != NULL)
{
if (label == NULL)
{
return NULL;
}
else
{
Term t;
t = label;
while (isTermTuple (t))
{
t = TermOp2 (t);
}
if (!isStringEqual (switches.filterLabel, TermSymb (t)->text))
{
// not this label; return
return NULL;
}
}
}
}
// Assert: label is unique, add claimlist info // Assert: label is unique, add claimlist info
cl = malloc (sizeof (struct claimlist)); cl = malloc (sizeof (struct claimlist));
cl->type = claim; cl->type = claim;