Changes To Experiment: mmmv_silkexec: spec Ideas 01
Not logged in

Changes to "Experiment: mmmv_silkexec: spec Ideas 01" between 2017-05-30 15:25:54 and 2017-05-30 15:26:41

    17     17   Raspberry Pi, then the fact that <b>compile-time parameters depend on the
    18     18   previously installed packages can be countered by installing all packages of
    19     19   the package collection in the exact order that they were compiled and tested at
    20     20   test server</b>, but even then the test server at least partly relies on the
    21     21   tests that have been supplied with the software package, by the software
    22     22   package creator, which may be a different person than the author of the
    23     23   packaged software. It is possible for the software packager to accompany the
    24         -upstream deliverables with its own, additional, tests.</p>
           24  +upstream deliverables with its own, additional, tests. <b>Tests can include
           25  +partial formal verification.</b></p>
    25     26   
    26     27   <p><br>
    27     28   </p>
    28     29   
    29     30   <h1>Hardware Related Observations</h1>
    30     31   
    31     32   <p></p>