Google Git
Sign in
eclipse / gerrit / viatra / org.eclipse.viatra.examples / e488724735f6615829e70b4261b15f030e6ac0c9
commite488724735f6615829e70b4261b15f030e6ac0c9[log] [tgz]
authorMarton Elekes <marci543@gmail.com>Wed Jul 05 15:55:15 2017 +0200
committerMarton Elekes <marci543@gmail.com>Wed Jul 05 18:30:23 2017 +0200
tree4ce6db1ee6906814aff245dae57255aa0b610cbc
parent8be726da50588a090a7e2aafa5b1da90042777a2 [diff]
[519174] RandomUtils.randIntOneToMax does not fail on low max value

CPS model generation with BasicScenario and low scaling factor caused
exception by using conflicting lower and upper bounds.
(Random seed: 0, scale: 100)
This commit changes RandomUtils.randIntOneToMax to correct upper bound
instead of throwing an exception.

Change-Id: Iad39e8ea52464959594380864fc69ad10a90e06e
Signed-off-by: Marton Elekes <marci543@gmail.com>
1 file changed
tree: 4ce6db1ee6906814aff245dae57255aa0b610cbc
  1. cep/
  2. cps/
  3. dse/
  4. mwe/
  5. query/
  6. releng/
  7. transformation/
  8. .gitignore
  9. README.md
README.md

VIATRA - Examples

Contributing to VIATRA

Please read the Contributing wiki page to understand our contribution process.

License

All code in this repository is available under the Eclipse Public License v1.0: http://www.eclipse.org/legal/epl-v10.html