Function SECTION

tests/unit/paulis.cpp:55–176

TEST_CASE( "getPauliStr", TEST_CATEGORY ) {

    SECTION( LABEL_CORRECTNESS ) {

        GENERATE( range(0,10) );

        std::string charSet = GENERATE( "IXYZ", "ixyz", "0123", "iX2z" );

        int numPaulis = GENERATE( 1, 2, 5, 10, 20, 30, 31, 32, 33, 60, 64 );
        auto targets = getRandomSubRange(0, 64, numPaulis);

        // not necessary to add a terminal char when we specify numPaulis
        vector<char> pauliChars(numPaulis, 'I');
        vector<int>  pauliInts(numPaulis, 0);
        long long unsigned lowValue = 0;
        long long unsigned highValue = 0;

        for (int i=0; i<numPaulis; i++) {
            int v = getRandomInt(1, 3+1);
            pauliInts[i] = v;
            pauliChars[i] = charSet[v];

            int t = targets[i];
            (t < 32)? 
                (lowValue  += v * getPow2(2 * t)): // pow4
                (highValue += v * getPow2(2 * (t-32))); // pow4
        }

        SECTION( LABEL_C_INTERFACE ) {
            
            SECTION( "from chars" ) {

                CAPTURE( targets, pauliChars );

                PauliStr str = getPauliStr(pauliChars.data(), targets.data(), numPaulis);

                REQUIRE( str.lowPaulis  == lowValue );
                REQUIRE( str.highPaulis == highValue );
            }

            SECTION( "from ints" ) {

                CAPTURE( targets, pauliChars );

                PauliStr str = getPauliStr(pauliInts.data(), targets.data(), numPaulis);

                REQUIRE( str.lowPaulis  == lowValue );
                REQUIRE( str.highPaulis == highValue );
            }

            SECTION( "from literal" ) {

                // lazily ignores some above prepared vars

                int targ = targets[0];
                CAPTURE( targ );
                
                const char* in = "X";
                PauliStr str = getPauliStr(in, &targ, 1);
                REQUIRE( str.lowPaulis  == ((targ <  32)? getPow2(2*targ)      : 0) );