{"shas":[["bef6187bd5eee568660c071fe22ba3b553a1040f","6be88905c684b50214030f2bceaebff1d14807e1@gmail.com","guarded expression is of no use in my case; also I mustn't forget about transitive closure for subordinate checks and resets. Otherwise the process will be stuck; a few mistakes on the way: I was not restarting all subordinate processes. Done with making it nice: time to generate the lot and wrap it up. Silent event will do for now: the model is generic enough to cope with any DAG structure. The question is: will ProB not choke on more complex models? We will see about it tomorrow.","Dariusz"]],"repo":"dariuszwojciech/POETank","actor":"dariuszwojciech","ref":"refs/heads/master","size":1,"head":"bef6187bd5eee568660c071fe22ba3b553a1040f","actor_gravatar":"c02bfb1f1adf58cb54b6254aafe0651f","push_id":31616284}