Updated info of Pyretic's branch used to test the code