[petrinet] Missing lines of code?

[amangean]

Hi,
It seems that petrinet.c is based on MRTC nsichneu.c.
However, nsichneu.c is ~4250 LOC long while petrinet.c is only ~1000 LOC long.
I was unable to find a mention of the file truncation on ChangeLog.txt.
Moreover, the TACLeBench header on petrinet.c states:

Changes: no major functional changes.

Am I missing something?
Thanks

[schirmeier]

This "truncation" seems to render petrinet completely dysfunctional: None of its global variables are explicitly initialized (petrinet_init() is never called!) and, hence, all contain zeroes. All functional blocks in the benchmark are guarded by if statements like if (petrinet_P1_is_marked >= 3 && ...), and with these variables all being zero, nothing actually gets executed.

There's also no simple fix; even if petrinet_init() is called, it doesn't initialize all relevant state. A comment in this function states: "Maybe we should also initialise these arrays, as they may be read in the petrinet_main() function before being written." In fact, these arrays are read before they are written.