add prng

.dockerignore

@@ -1,12 +1,12 @@
-.dockerignore
-docker/Dockerfile
-docker/base
-__pycache__
-*.pyc
-*.pyo
-*.pyd
-.Python
-pip-log.txt
-pip-delete-this-directory.txt
-*.log
-.git
+.dockerignore
+docker/Dockerfile
+docker/base
+__pycache__
+*.pyc
+*.pyo
+*.pyd
+.Python
+pip-log.txt
+pip-delete-this-directory.txt
+*.log
+.git

.github/workflows/ci.yml

@@ -1,65 +1,65 @@
-name: CI
-
-on:
-  push:
-    branches:
-      - master
-  pull_request:
-  schedule:
-    # run CI every day even if no PRs/merges occur
-    - cron:  '0 12 * * *'
-
-jobs:
-  lint:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v2
-      - uses: actions/setup-python@v1
-        with:
-          python-version: "3.7"
-      - name: Install dependencies
-        run: |
-          python -m pip install --upgrade pip
-          pip install pyflakes mypy
-      - name: Lint
-        run: |
-          find ./bin -name '*.py' -exec pyflakes "{}" \;
-          find ./tests -name '*.py' -exec pyflakes "{}" \;
-          mypy --strict-optional --config-file mypy.ini bin/deepstate
-  build:
-    strategy:
-      matrix:
-        env:
-          - TEST: sanity_check
-         # - TEST: crash
-         # - TEST: fixture
-         # - TEST: klee
-         # - TEST: lists
-         # - TEST: oneof
-         # - TEST: runlen
-         # - TEST: overflow
-         # - TEST: primes
-         # - TEST: takeover
-         # - TEST: streamingandformatting
-         # - TEST: boringdisabled
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v2
-      - uses: actions/setup-python@v1
-        with:
-          python-version: "3.7"
-      - name: Install dependencies
-        run: |
-          sudo apt-get update
-          sudo apt-get install -y build-essential gcc-multilib cmake libffi-dev
-          python -m pip install --upgrade pip
-          pip install z3-solver angr nose
-          pip install git+git://github.com/trailofbits/manticore.git
-      - name: Build
-        run: |
-          mkdir build && cd build
-          cmake ..
-          sudo make install
-      - name: Test
-        run: |
-          nosetests tests/test_${{ matrix.env.TEST }}.py
+name: CI
+
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+  schedule:
+    # run CI every day even if no PRs/merges occur
+    - cron:  '0 12 * * *'
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: actions/setup-python@v1
+        with:
+          python-version: "3.7"
+      - name: Install dependencies
+        run: |
+          python -m pip install --upgrade pip
+          pip install pyflakes mypy
+      - name: Lint
+        run: |
+          find ./bin -name '*.py' -exec pyflakes "{}" \;
+          find ./tests -name '*.py' -exec pyflakes "{}" \;
+          mypy --strict-optional --config-file mypy.ini bin/deepstate
+  build:
+    strategy:
+      matrix:
+        env:
+          - TEST: sanity_check
+         # - TEST: crash
+         # - TEST: fixture
+         # - TEST: klee
+         # - TEST: lists
+         # - TEST: oneof
+         # - TEST: runlen
+         # - TEST: overflow
+         # - TEST: primes
+         # - TEST: takeover
+         # - TEST: streamingandformatting
+         # - TEST: boringdisabled
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: actions/setup-python@v1
+        with:
+          python-version: "3.7"
+      - name: Install dependencies
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y build-essential gcc-multilib cmake libffi-dev
+          python -m pip install --upgrade pip
+          pip install z3-solver angr nose
+          pip install git+git://github.com/trailofbits/manticore.git
+      - name: Build
+        run: |
+          mkdir build && cd build
+          cmake ..
+          sudo make install
+      - name: Test
+        run: |
+          nosetests tests/test_${{ matrix.env.TEST }}.py