Function test_bind_nonnegative_data

test/QAlg/ArithmeticUnit.test.cpp:23–36

}

void test_bind_nonnegative_data()
{
    int n, m;
    scanf("%d%d", &n, &m);
    auto a = qAllocMany(n);
    QProg prog;
    prog << bind_nonnegative_data(m, a);
    auto result = probRunDict(prog, a);
    for (auto& val : result)
    {
        if (val.second > 0)
            std::cout << val.first << ", " << val.second << std::endl;
    }
}

bool test_QAdder()
{