Open MPI logo

Hardware Locality Development Mailing List Archives

  |   Home   |   Support   |   FAQ   |   all Hardware Locality Development mailing list

Subject: Re: [hwloc-devel] 1.3.2rc1 has escaped
From: Paul H. Hargrove (PHHargrove_at_[hidden])
Date: 2012-02-09 17:38:15


On 2/9/2012 2:26 PM, Paul H. Hargrove wrote:
> We then test if *either* set the variable.
> Sort of a double-negative.

One of De Morgan's Laws:
    NOT (A AND B) = (NOT A) OR (NOT B)

Applied to give:
    NOT (TEST1_FAIL AND TEST2_FAIL)
       = (NOT TEST1_FAIL) OR (NOT TEST2_FAIL)
       = TEST1_PASS OR TEST2_PASS

-Paul

-- 
Paul H. Hargrove                          PHHargrove_at_[hidden]
Future Technologies Group
HPC Research Department                   Tel: +1-510-495-2352
Lawrence Berkeley National Laboratory     Fax: +1-510-486-6900