tests/.gitignore

   1 /both_ex*/
   2 /cover*/
   3 /demo*/
   4 /memory*/
   5 /mixed*/
   6 /preunsat*/
   7 /prv32fmcmp*/
   8 /redxor*/
   9 /stopfirst*/
  10 /junit_*/
  11 /keepgoing_*/
  12 /submod_props*/
  13 /multi_assert*/
  14 /aim_vs_smt2_nonzero_start_offset*/
  15 /2props1trace*/