method finished =
Format.fprintf out "@\n%s@\n--- Status Report Summary@\n%s@\n" bar bar ;
if st_complete > 0 then
Format.fprintf out " %4d Completely validated@\n" st_complete ;
if st_partial > 0 then
Format.fprintf out " %4d Locally validated@\n" st_partial ;
if st_extern > 0 then
Format.fprintf out " %4d Considered valid@\n" st_extern ;
if st_unknown > 0 then
Format.fprintf out " %4d To be validated@\n" st_unknown ;
if st_alarm > 0 then
Format.fprintf out " %4d Alarms emitted@\n" st_alarm ;
if st_bug > 0 then
Format.fprintf out " %4d Bugs found@\n" st_bug ;
if st_dead > 1 then
Format.fprintf out " %4d Dead properties@\n" st_dead ;
if st_dead = 1 then
Format.fprintf out " 1 Dead property@\n" ;
if st_inconsistent > 1
then Format.fprintf out " %4d Inconsistencies@\n" st_inconsistent ;
if st_inconsistent = 1
then Format.fprintf out " 1 Inconsistency@\n" ;
let total =
st_complete + st_partial + st_extern + st_unknown + st_alarm + st_bug
+ st_dead + st_inconsistent
in
Format.fprintf out " %5d Total@\n%s@." total bar ;