copilot-libraries: Add random stream generation module. Refs #766. - #788

{
  "language": "ruby",
  "os": [
    "linux"
  ],
  "dist": "focal",
  "env": [
    "jobs={:CABALVER=>\"2.4\", :GHCVER=>\"8.6.5\"}={:CABALVER=>\"3.2\", :GHCVER=>\"8.8.4\"}={:CABALVER=>\"3.2\", :GHCVER=>\"8.10.4\"}={:CABALVER=>\"3.4\", :GHCVER=>\"9.0.1\"}"
  ],
  "before_install": [
    "travis_retry sudo add-apt-repository -y ppa:hvr/ghc",
    "travis_retry sudo apt-get update",
    "travis_retry sudo apt-get install cabal-install-$CABALVER ghc-$GHCVER",
    "if [ \"${GHCVER}\" == \"8.10.4\" ]; then travis_retry sudo apt-get install --yes z3 cppcheck; fi",
    "export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$PATH",
    "cabal --version",
    "echo \"$(ghc --version) [$(ghc --print-project-git-commit-id 2> /dev/null || echo '?')]\"",
    "cabal user-config init",
    "sed -i -e \"s;-- \\(secure.\\) True;\\1 False;g\" ${HOME}/.cabal/config",
    "travis_retry cabal update",
    "git submodule update --remote"
  ],
  "script": [
    "if grep -nIHre ' \\+$' * ; then exit 1; fi",
    "if grep -rP '\\t' --include='*.hs' --include='*.cabal' --include='*.md' --include='CHANGELOG' . ; then exit 1; fi",
    "travis_wait 30 cabal v2-install --lib copilot copilot-core copilot-c99 copilot-language copilot-libraries copilot-theorem copilot-interpreter copilot-prettyprinter",
    "if [ \"${GHCVER}\" == \"8.10.4\" ]; then cabal v2-test -j1 copilot-core copilot-language copilot-interpreter copilot-c99 copilot-theorem copilot-libraries; fi",
    "if [ \"${GHCVER}\" == \"8.10.4\" ]; then runhaskell copilot/examples/Heater.hs; cppcheck --force --addon=misra.py --suppress=misra-c2012-14.4 --error-exitcode=2 heater.c; fi"
  ]
}