This repository was archived by the owner on Apr 3, 2023. It is now read-only.

Add git to cbmc-builder#4

Merged

zemanlx merged 1 commit intomasterfrom

feature/git-in-cbmc-builder

May 18, 2017

Commits on May 17, 2017

Add git to cbmc-builder, required when a version of cbmc it being extracted during build
forejtv
committed