I believe this is a more complicated task than originally intended because its “impossible” to create a verification test that can’t fail. That would be similar to assuming a newly built car will never have any problems on first startup….   Read more»