Commit 3b3eaaf4 authored by XingyuChen's avatar XingyuChen
Browse files

minor update

parent 74ae7e1b

tests/testMoreIntegerP.cpp

+1 −6
Original line number Diff line number Diff line
@@ -43,11 +43,6 @@ void test_a() { 
    scoreExample(TEST_CATEGORY, "IntegerP({0}).trunc()",string("1"),to_string(one_zero_list.trunc()),PTS);

    scoreExample(TEST_CATEGORY, "IntegerP({0,0,0}).trunc()",string("1"),to_string(one_many_zeros.trunc()),PTS);

    scoreExample(TEST_CATEGORY, "IntegerP({}).trunc()",string("1"),to_string(empty.trunc()),PTS);



    // Check equality of 1's

    scoreExample(TEST_CATEGORY, "{0}=={0,0,0}", true, one_zero_list==one_many_zeros,PTS);

    scoreExample(TEST_CATEGORY, "{0}=={}", true, one_zero_list==empty,PTS);

    scoreExample(TEST_CATEGORY, "{0,0,0}=={}", true, one_many_zeros==empty,PTS);

}



// -------------------- Corner cases: identity element through operations --------------------