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

- Added Arachne tuple claims warning. Exits for now at Secrecy tuples.

Browse Source
This commit is contained in:
ccremers 2005-02-19 14:31:15 +00:00
parent 49d314d0f5
commit b675b101bf
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/compiler.c
View File

@ -564,6 +564,12 @@ commEvent (int event, Tac tc)
("Secrecy claim requires a list of terms to be secret on line %i.", ("Secrecy claim requires a list of terms to be secret on line %i.",
trip->next->lineno); trip->next->lineno);
} }
if (n > 1)
{
error
("Secrecy claim on line %i should not contain tuples (for Arachne) until it is officially supported.",
trip->next->lineno);
}
break; break;
} }
if (claim == CLAIM_Nisynch) if (claim == CLAIM_Nisynch)