From 00674f7c5ea4ecc00a603cfef02c460ec629da6e Mon Sep 17 00:00:00 2001
From: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
Date: Tue, 26 Jul 2022 14:42:27 +0200
Subject: [PATCH] Fix facet count tests

---
 lib/src/adf.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/src/adf.rs b/lib/src/adf.rs
index 48e7082..4d812a4 100644
--- a/lib/src/adf.rs
+++ b/lib/src/adf.rs
@@ -710,7 +710,7 @@ impl Adf {
         interpretation
             .iter()
             .map(|t| {
-                let mcs = self.bdd.models(*t, true);
+                let mcs = self.bdd.models(*t, false);
 
                 let n_vdps = { |t| self.bdd.var_dependencies(t).len() };
 
@@ -1239,7 +1239,7 @@ mod test {
     fn adf_default() {
         let _adf = Adf::default();
     }
-    #[cfg(feature = "adhoccountmodels")]
+    //#[cfg(feature = "adhoccountmodels")]
     #[test]
     fn facet_counts() {
         let parser = AdfParser::default();