petr-muller/static-analyzer-fuzzing — pull request #2 by Shootervm (2014-07-24 23:42:27+00:00)
Title: added llbmc script

predator script edited

added main features (using getopt, timelimit, etc.)