Skip to content

SimpleTypeD naive generator/shrinker, RTE naive generator/shrinker, RTE Boltzmann generator

tgardet requested to merge genus-pbt-generator into master

Added the differents files

  • test/genus/GenusPropertyBasedTests.scala: port of a few tests in with ScalaCheck
  • test/genus/GenusPropertyBasedScalaTests.scala: port of a few tests integrated in the global testsuite with scalacheck
  • test/genus/GenusSpecifications.scala: implementation of the STD naive generator/shrinker
  • test/rte/RteBoltzmann.scala: implementation of the RTE Boltzmann generator
  • test/rte/RtePropertyBasedScalaTests.scala: entry point to classify/view the generation of the RTE Boltzmann generator
  • test/rte/RteSpecifications.scala: implementation of the RTE naive generator/shrinker

This merge request merge my semester's work. It consists of creating a naive generator/shrinker for the STD Type, a naive generator/shrinker for the RTE type, and the Botlzmann generator for the RTE type.

Future work on the Boltzmann generator is described in the issue #8

Merge request reports