Commit 32cc4f55 authored by Peter Navrátil's avatar Peter Navrátil
Browse files

fix

parent 73cdc963

.gitignore

+1 −0
Original line number Diff line number Diff line
@@ -5,3 +5,4 @@ buddy-2.4 
sylvan/

BDD.sublime-*

build

CMakeLists.txt

bdd.cpp

+7 −5
Original line number Diff line number Diff line
@@ -24,12 +24,14 @@ int main(int argc, char ** argv) { 
#else

    using namespace cudd;

	Cudd manager;

    Bvec x = Bvec::bvec_var(manager, 8, 0, 2);

    Bvec y = Bvec::bvec_var(manager, 8, 1, 2);

	Bvec x = Bvec::bvec_var(manager, 5, 0, 2);

	Bvec y = Bvec::bvec_var(manager, 5, 1, 2);



	BDD result = x == x;

	std::cout << "IsOne: " << result.IsOne() << std::endl; //0



    Bvec result = x * y;

#endif

    std::cout << "bitnums: " << x.bitnum() << "," << y.bitnum() << "," << result.bitnum() << std::endl;

    //std::cout << "bitnums: " << x.bitnum() << "," << y.bitnum() << "," << result.bitnum() << std::endl;



	return 0;

}

tests.cpp

+4 −4
Original line number Diff line number Diff line
@@ -237,8 +237,8 @@ TEST_CASE("Manipulation tests") { 
        bvec buddy_val = bvec_con_buddy(size, val);



        REQUIRE(isEqual(cudd_val, sylvan_val, buddy_val));

        REQUIRE(cudd_val.bvec_isConst() == 1);

        REQUIRE(sylvan_val.bvec_isConst() == 1);

        REQUIRE(cudd_val.bvec_isConst());

        REQUIRE(sylvan_val.bvec_isConst());

        REQUIRE(bvec_isconst(buddy_val) == 1);



        int offset = 1;
@@ -247,8 +247,8 @@ TEST_CASE("Manipulation tests") { 
        sylvan::Bvec sylvan_var = sylvan::Bvec::bvec_var(size, offset, step);

        bvec buddy_var = bvec_var_buddy(size, offset, step);

        //TODO isequalvar

        REQUIRE(cudd_var.bvec_isConst() == 0);

        REQUIRE(sylvan_var.bvec_isConst() == 0);

        REQUIRE(!cudd_var.bvec_isConst());

        REQUIRE(!sylvan_var.bvec_isConst());

        REQUIRE(bvec_isconst(buddy_var) == 0);

    }