powerpc build of cbmc 5.2-1 in ubuntu xenial RELEASE
created
Build status
Failed to build on fisher02 (powerpc)
- Started
- Finished (took 10 minutes, 17.2 seconds)
- buildlog (23.8 KiB)