Add IcfgTransformer to regression test dependencies (#611)

ultimate-pa · May 5, 2023 · 17fa4c7 · 17fa4c7
1 parent 11236dc
commit 17fa4c7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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,