Analyse following RPM build log snippet. Describe contents accurately, without speculation or suggestions for resolution.            
Your analysis must be as concise as possible, while keeping relevant information intact.
Snippet: 
The following tests FAILED:
	 24 - ansi-c-gcc-CORE (Failed)                          CBMC CORE
	 27 - goto-instrument-CORE (Failed)                     CBMC CORE
	157 - contracts-CORE (Failed)                           CBMC CORE
	161 - contracts-dfcc-CORE (Failed)                      CBMC CORE
	165 - contracts-non-dfcc-CORE (Failed)                  CBMC CORE
	166 - goto-synthesizer-CORE (Failed)                    CBMC CORE
	178 - goto-harness-CORE (Failed)                        CBMC CORE
	182 - goto-harness-multi-file-project-CORE (Failed)     CBMC CORE
RPM build errors:
Errors while running CTest
List of failed CTest test cases.