Test file for random order of values
Initial ignore file to ignore klee-* directories and .o files