From 9072764cf387e02547eb1be221d00a453d2ec52c Mon Sep 17 00:00:00 2001 From: mborgerson Date: Tue, 16 Jul 2024 00:20:41 -0700 Subject: [PATCH] Add pyxdia optional dependency --- ci-image/conf/requirements.txt.template | 1 + 1 file changed, 1 insertion(+) diff --git a/ci-image/conf/requirements.txt.template b/ci-image/conf/requirements.txt.template index 8b92798..ab2169e 100644 --- a/ci-image/conf/requirements.txt.template +++ b/ci-image/conf/requirements.txt.template @@ -20,3 +20,4 @@ cvc4-solver shellphish-afl binsync binharness~=0.1.1 +pyxdia~=0.0