#!/bin/bash for i in $( seq 0 15 ); do #echo $i cbmc --trace --function check -DLEN=$i kmp_eel2.c done