...
Tool | Version | Checker | Description |
---|---|---|---|
Polyspace Bug Finder | R2016a | Deterministic random output from constant seed, Predictable random output from predictable seed | Seeding routine uses a constant seed making the output deterministic Seeding routine uses a predictable seed making the output predictable |
...