Skip to content

Commit 1d4b5c8

Browse files
committed
Pin NimBLE version and update reference models
1 parent 13f4d95 commit 1d4b5c8

46 files changed

Lines changed: 2341 additions & 8776 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

.github/workflows/ci.yml

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,16 @@ jobs:
4747
run: |
4848
set -ex
4949
cd ble-fuzzer/experiments/targets/NimBLE/workspace
50+
# Clone everything shallow and then unshallow mynewt-nimble
51+
# to pin the version of our target. This is not ideal and I'm
52+
# not sure if the interface between mynewt-core and mynewt-nimble
53+
# can break when the former is updated. When they do a proper
54+
# release again, we should pin the versions in project.yml instead.
5055
newt upgrade --shallow 1
56+
cd repos/apache-mynewt-nimble
57+
git fetch --unshallow
58+
git checkout 4659d199835ca680631fa3d54494377c8796e780
59+
cd ../..
5160
newt build sim_testapp
5261
- name: Test NimBLE
5362
shell: bash
@@ -58,7 +67,8 @@ jobs:
5867
experiments/targets/NimBLE/workspace/bin/targets/sim_testapp/app/apps/testapp/testapp.elf | grep --line-buffered '^uart1' &> iface.txt &
5968
sleep 2
6069
SERIAL_PORT=$(cat iface.txt | cut -d ' ' -f 3)
61-
java -jar target/ble-fuzzer-1.0-SNAPSHOT.jar @experiments/args/NimBLE_pairing -mapper CI -adapter $SERIAL_PORT -roundLimit 4
70+
mkdir -p experiments/results/NimBLE_pairing
71+
java -jar target/ble-fuzzer-1.0-SNAPSHOT.jar @experiments/args/NimBLE_pairing -mapper CI -adapter $SERIAL_PORT -roundLimit 4 &> experiments/results/NimBLE_pairing/test.log
6272
./scripts/diff_hyps.sh experiments/results_saved/NimBLE_pairing experiments/results/NimBLE_pairing 4
6373
- uses: actions/upload-artifact@v4
6474
if: always()

experiments/results_saved/NimBLE_pairing/hyp10.dot

Lines changed: 163 additions & 79 deletions
Large diffs are not rendered by default.

experiments/results_saved/NimBLE_pairing/hyp11.dot

Lines changed: 173 additions & 89 deletions
Large diffs are not rendered by default.

experiments/results_saved/NimBLE_pairing/hyp12.dot

Lines changed: 0 additions & 247 deletions
This file was deleted.

0 commit comments

Comments
 (0)