search

HERA-Team / hera-validation

Archive of formal software pipeline validation tests
http://hera.pbworks.com/w/page/130621356/Validation
0 stars 3 forks source link

Details for step -1 #8

Closed steven-murray closed 5 years ago

steven-murray commented 5 years ago

Some details for step -1 (sim tests) in the README plan are not filled in. @aelanman can you fill these in? Or @zacharymartinot ?