disjunction.pass.cpp 3.59 KB