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

- Fixed termlist printing.

Browse Source
This commit is contained in:
ccremers 2004-07-29 11:15:07 +00:00
parent 75ecbf4346
commit b22667a791
2 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/system.c
View File

@ -919,6 +919,7 @@ int compute_roleeventmax (const System sys)
void void
runInstancePrint (const System sys, const int run) runInstancePrint (const System sys, const int run)
{ {
termPrint (sys->runs[run].role->nameterm);
termlistPrint (sys->runs[run].agents); termlistPrint (sys->runs[run].agents);
} }
@ -931,9 +932,9 @@ scenarioPrint (const System sys)
for (run = 0; run < sys->maxruns; run++) for (run = 0; run < sys->maxruns; run++)
{ {
runInstancePrint (sys, run); runInstancePrint (sys, run);
if (run < sys->maxruns - 2) if (run < sys->maxruns - 1)
{ {
printf (", "); printf ("\t");
} }
} }
} }

7
src/term.h
View File

@ -3,11 +3,8 @@
#include "symbol.h" #include "symbol.h"
#define GLOBAL 1 // type <= LEAF means it's a leaf, nkay?
#define VARIABLE 2 enum termtypes { GLOBAL, VARIABLE, LEAF, ENCRYPT, TUPLE };
#define LEAF 3 // type <= LEAF means it's a leaf, nkay?
#define ENCRYPT 4
#define TUPLE 5
//! The most basic datatype in the modelchecker. //! The most basic datatype in the modelchecker.
/** /**