From 17fa4c78e89a59e0583b0d1717c69c00c9a5724f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frank=20Sch=C3=BCssele?= Date: Fri, 5 May 2023 13:27:59 +0200 Subject: [PATCH] Add IcfgTransformer to regression test dependencies (#611) --- trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF | 1 + 1 file changed, 1 insertion(+) diff --git a/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF b/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF index fd002d935f0..e89e176fcc3 100644 --- a/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF +++ b/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF @@ -27,6 +27,7 @@ Require-Bundle: org.junit, de.uni_freiburg.informatik.ultimate.source.smtparser, de.uni_freiburg.informatik.ultimate.reqparser, de.uni_freiburg.informatik.ultimate.pea2boogie, + de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation de.uni_freiburg.informatik.ultimate.lib.sifa, de.uni_freiburg.informatik.ultimate.plugins.sifa Import-Package: de.uni_freiburg.informatik.ultimate.lib.pea,