From 951177089d1ac348a4299532a87511672839c217 Mon Sep 17 00:00:00 2001 From: Jason Mobarak Date: Tue, 2 Jul 2019 14:01:41 -0700 Subject: [PATCH 1/2] Fix patch versions --- python/requirements.txt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/python/requirements.txt b/python/requirements.txt index bc0c69d36b..af8b4cb199 100644 --- a/python/requirements.txt +++ b/python/requirements.txt @@ -1,8 +1,8 @@ construct==2.9.33 -pyftdi~=0.13.4 +pyftdi==0.13.* pylibftdi pyserial -requests~=2.8.1 -numpy~=1.16.2 +requests==2.20.* +numpy==1.16.* pybase64 ujson From 8a65678b9c051a8eeeb93cbb788e854890e5da36 Mon Sep 17 00:00:00 2001 From: Jason Mobarak Date: Tue, 2 Jul 2019 15:47:13 -0700 Subject: [PATCH 2/2] Update threshold since this sometimes fails --- test_data/benchmark.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test_data/benchmark.sh b/test_data/benchmark.sh index 02094f261e..f7f563db62 100755 --- a/test_data/benchmark.sh +++ b/test_data/benchmark.sh @@ -19,7 +19,7 @@ echo "Python" $time_py time_hs=$(TIMEFORMAT="%R"; { time $1/sbp2json < $TESTDATA_ROOT/long.sbp > $TESTDATA_ROOT/long_hask.json; } 2>&1) echo "Haskell" $time_hs -threshold=1.4 +threshold=1.5 perf_diff=$(echo "$time_py / $time_hs" | bc -l) if (( $(echo "$perf_diff > $threshold" | bc -l) )); then