Relac constraint on numpy, to make constraints satisfiable, add compi…

…ledb as requirement.
goblint · Jun 15, 2023 · 5ca878e · 5ca878e
1 parent b3838d3
commit 5ca878e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/scripts/incremental/benchmarking/requirements.txt b/scripts/incremental/benchmarking/requirements.txt
@@ -1,7 +1,8 @@
 brokenaxes==0.5.0
 matplotlib==3.5.1
-numpy==1.19.5
+numpy>=1.19.5
 pandas==1.4.1
 psutil==5.9.0
 PyDriller==2.1
 pytz==2021.1
+compiledb>=0.10.1