#!/bin/sh
chmod +x main.sh
cd tools
chmod +x 2ls-svcomp2020/2ls-binary
chmod +x 2ls-svcomp2020/goto-cc
chmod +x cbmc5.4/cbmc
chmod +x cbmc-svcomp19/cbmc
chmod +x cbmc-svcomp19/cbmc-binary
chmod +x cbmc-svcomp19/goto-cc
chmod +x clang-5/bin/*
chmod +x corral/bin/Debug/*.exe
chmod +x CPAchecker-1.8-unix/scripts/cpa.sh
chmod +x esbmc-6.4/bin/*
chmod +x llvm-8.0.1/bin/*
chmod +x mono/bin/*
chmod +x openjdk8/bin/*
chmod +x seahorn/build/run/bin/*
chmod +x smack-2.4.0/build/bin/smack
chmod +x symbiotic/llvm-4.0.1/bin/*
chmod +x symbiotic/bin/*
chmod +x UAutomizer-linux/cvc4
chmod +x UAutomizer-linux/cvc4nyu
chmod +x UAutomizer-linux/mathsat
chmod +x UAutomizer-linux/Ultimate
chmod +x UAutomizer-linux/z3
chmod +x vvt/bin/*
chmod +x vvt/clang/bin/*

