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

update

parent 51902fa5

tests.cpp

+46 −5
Original line number Diff line number Diff line
@@ -121,10 +121,10 @@ TEST_CASE("Construction tests") { 
        REQUIRE((bvec_sylvan == sylvan_operator).isOne());



        bvec bvec_buddy = bvec_con_buddy(size, val);

        /*bvec buddy_copy (bvec_buddy);

        bvec buddy_copy (bvec_buddy);

        bvec buddy_operator = bvec_buddy;

        REQUIRE((bvec_buddy == buddy_copy) == bddtrue);

        REQUIRE((bvec_buddy == buddy_operator) == bddtrue);*/

        REQUIRE((bvec_buddy == buddy_operator) == bddtrue);



        REQUIRE(isEqual(bvec_cudd, bvec_sylvan, bvec_buddy, val));

    }
@@ -295,10 +295,11 @@ TEST_CASE("Map functions tests") { 
        sylvan = !sylvan;

        REQUIRE((sylvan == sylvan::Bvec::bvec_true(size)).isOne());

        REQUIRE(!isEqual(cudd, sylvan, buddy));



        /*std::cout << "pred" << std::endl;

        buddy = !buddy; //wtf?

        //REQUIRE((buddy == bvec_true_buddy(size)) == bddtrue); //fix

        //REQUIRE(isEqual(cudd, sylvan, buddy));

        std::cout << "za" << std::endl;

        REQUIRE((buddy == bvec_true_buddy(size)) == bddtrue); //fix

        REQUIRE(isEqual(cudd, sylvan, buddy));*/

    }



    SECTION("Map2/* test") {
@@ -360,3 +361,43 @@ TEST_CASE("Map functions tests") { 
    lace_exit();



}



TEST_CASE("") {

    int n_workers = 0; // auto-detect

    lace_init(n_workers, 0);

    lace_startup(0, NULL, NULL);

    cudd::Cudd manager;

    size_t size = 0U;

    sylvan::sylvan_set_limits(512*1024*1024, 1, 5);

    sylvan::sylvan_init_package();

    sylvan::sylvan_init_mtbdd();



    SECTION("") {



    }



    sylvan::sylvan_stats_report(stdout);

    sylvan::sylvan_quit();

    lace_exit();



}



TEST_CASE("") {

    int n_workers = 0; // auto-detect

    lace_init(n_workers, 0);

    lace_startup(0, NULL, NULL);

    cudd::Cudd manager;

    size_t size = 0U;

    sylvan::sylvan_set_limits(512*1024*1024, 1, 5);

    sylvan::sylvan_init_package();

    sylvan::sylvan_init_mtbdd();



    SECTION("") {



    }



    sylvan::sylvan_stats_report(stdout);

    sylvan::sylvan_quit();

    lace_exit();



}