Contents

(* Save process input to variable 'step_input' at start?
** Setting this variable allows presenting process input
** in error trace, however, at the cost of possibly generating 
** an extra state (in a case, where different input bindings
** would result otherwise to identical states).
*)
Run_SetStepInput == TRUE

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
tla-sbuilder-0.3.9	mustache/possibility/operator_set_step_input.mustache
tla-sbuilder-0.3.8	mustache/possibility/operator_set_step_input.mustache
tla-sbuilder-0.3.7	mustache/possibility/operator_set_step_input.mustache