dariuszwojciech/POETank — Issue #9: Test processes without VStructs
Author: dariuszwojciech
Created: 2011-11-04 13:03:38+00:00
State: open

There's a problem with processes such as this:

P := A;F;B

F is a fractal process.
For some reason B is never executed. I need to check whether it is because the recent changes done to the VStructs CSP code, or maybe it has existed before, but I didn't pay attention, because the CSP-M representation was generated correctly from a given PPA term.

Also, I should look into the need of lambda. There does not seem to be any need for these constructs any longer, so they can be safely removed from the generation templates.