Added new unit verification models

# encoding:UTF-8

-prog=polyspace

-lang=DVO

-polyspace-version=10.2 (R2020a Update 1)

-results-dir=D:\Documents\SCHOOL\McSCert\do178\src\verification\sldv_output\AHRS_voter_Verify

-O=-O2

-dvo-file=D:\Documents\SCHOOL\McSCert\do178\src\verification\sldv_output\AHRS_voter_Verify\dv_048b66.dvo (non-official option)

-il-extra-flags1=-threshold-loop-unrolling (non-official option)

-il-extra-flags2=50 (non-official option)

-il-extra-flags3=-threshold-sub-loop-unrolling (non-official option)

-il-extra-flags4=25 (non-official option)

-il-extra-flags5=-float-isfinite-true-is-one (non-official option)

-allow-non-finite-floats=true

-timeout=20.

-to=pass2

completed:success

 No newline at end of file

# Post Verification

DVO [Failed] : 0 00:00:00.13

Level > 4 : 00:00:04.3

Level1 [Running] : 5 2020-06-26 02:00:01

completed:stopped-by-user