Commit 10d3f028 authored Jun 25, 2020 by Stephen Scott

Updated READMEs

parent a255cb9e

src/validation/README.md

+1 −1

Original line number	Diff line number	Diff line
		@@ -4,4 +4,4 @@ This directory includes all tests for the original and new FCC systems

		Directory:

		\test_generation Includes MCDC test generation results for the original and new FCC systems
		No newline at end of file
		\sldv_output Includes MCDC test generation results for the original and new FCC systems from Simulink Design Verifier
		No newline at end of file

src/verification/README.md

+2 −0

Original line number	Diff line number	Diff line
		@@ -4,6 +4,8 @@ This directory includes a verification model for verifying the new FCC system ve

		Directory:

		\sldv_output Includes all verification results from Simulink Design Verifier

		\unit Directory for verification models for nested subsystems

		FCC_Sys_Verify.slx Verification model for verifying FCC_Sys_New.slx against FCC_Sys_Original.slx