Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Random seed as an option #7
This allows the same battle to be run repeatedly with the same outcome by passing the random number seed as an option:
If the option is not passed, it's random like always, and prints out the seed used so that you can replay a battle as you please.