openETCS / validation

WP4: Validation and verification strategy
8 stars 22 forks source link

D4.2.2 Section 3.4 #247

Closed vprevosto closed 9 years ago

vprevosto commented 9 years ago

This section does not explain what has been done in terms of testing with boost (in particular how many test cases were generated, are there code coverage results?) A couple of sentences would suffice, but I think that some details should be added

vprevosto commented 9 years ago

152