Thanks for the reply.



 ptrblck:

Are you looking for a specific feature presented in the talk or for general determinism?


Yes, somewhere in the talk he demonstrates how his tool allowed him to identify sources of determinism in his models. This is shown in the part where he compares hashes of different ops where red mean non-determinism introduced in that particular op or step.
Having sth like that would make debugging much better and allow for better understanding of the models.