Commit545dec4

authored

Fix divide by zero exception. (#808)

1 parent65042fe commit545dec4Copy full SHA for 545dec4

File tree

-1

lines changed

Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/Generator
- ControlledRandom.cs

-1

lines changed

Lines changed: 8 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -45,7 +45,14 @@ public int Next()`
`45`	`45`	`/// <inheritdoc/>`
`46`	`46`	`publicintNext(intmaxValue)`
`47`	`47`	`{`
`48`		`-returnIntChoices.Next()%maxValue;`
	`48`	`+if(maxValue==0)`
	`49`	`+{`
	`50`	`+return0;`
	`51`	`+}`
	`52`	`+else`
	`53`	`+{`
	`54`	`+returnIntChoices.Next()%maxValue;`
	`55`	`+}`
`49`	`56`	`}`
`50`	`57`
`51`	`58`	`/// <inheritdoc/>`

Comments

(0)