refining pypi CI

testsmt · Aug 16, 2021 · 18e4aae · 18e4aae
1 parent f84e6dc
commit 18e4aae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/integration/misc/pypi.sh b/tests/integration/misc/pypi.sh
@@ -26,7 +26,7 @@ if [ $? -ne 2 ]; then
  exit 1
 fi
 
-apt-get install -y cvc4 z3
+sudo apt-get install -y cvc4 z3
 
 cd ..
 yinyang -o sat "z3 model_validate=true;cvc4 --check-models -m -i -q" yinyang/examples/phi1.smt2 yinyang/examples/phi2.smt2