will62794
Silently fails to set primed variables
I have an issue where it fails with the error Cannot read properties of null (reading 'fingerprint')
This issue is that 4 primed variables remain null at the time the state fingerprint is generated. However, this is not an issue when run by TLC.
The spec is here in this gist: https://gist.github.com/Vanlightly/3683f6419b8504996a0adfba3959db70
In the ReceiveInitPidRequest action, it should execute lines 685-692, which set these 4 primed variables. The only way I can get it to not fail is by replacing those lines with UNCHANGED << tc_tid_transition, tc_log, messages, messages_discard >>. If I try to set these primed variables in any way at all, then the fingerprint function fails due to these primed variables remaining null.
@Vanlightly I just pushed a fix (1346b7f) to handle an issue where CASE statements were not evaluating variable assignments correctly. See if this addresses some of the issues you were encountering here.
