Method dump_res

internal/bin/test_permute_op.cpp:499–502

        file << "\n";
    }
    void dump_res(const char* name, int layout, const char* res)
    {
        file << name << pDelimit << layout << pDelimit << res << "\n";
    }

    void save()
    {