ellmau/adf-obdd
1
0
Fork 0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00
Code Issues Projects Releases Wiki Activity

Fix facet count tests

Browse Source
This commit is contained in:
Stefan Ellmauthaler 2022-07-26 14:42:27 +02:00
parent e1b9eeb3b2
commit 00674f7c5e
Failed to extract signature
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/src/adf.rs
View File

@ -710,7 +710,7 @@ impl Adf {
interpretation interpretation
.iter() .iter()
.map(|t| { .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() }; let n_vdps = { |t| self.bdd.var_dependencies(t).len() };
@ -1239,7 +1239,7 @@ mod test {
fn adf_default() { fn adf_default() {
let _adf = Adf::default(); let _adf = Adf::default();
} }
#[cfg(feature = "adhoccountmodels")] //#[cfg(feature = "adhoccountmodels")]
#[test] #[test]
fn facet_counts() { fn facet_counts() {
let parser = AdfParser::default(); let parser = AdfParser::default();