diff options
Diffstat (limited to 'test/ccured_olden/power/.cvsignore')
-rw-r--r-- | test/ccured_olden/power/.cvsignore | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/test/ccured_olden/power/.cvsignore b/test/ccured_olden/power/.cvsignore new file mode 100644 index 00000000..c4eadcc3 --- /dev/null +++ b/test/ccured_olden/power/.cvsignore @@ -0,0 +1,21 @@ +*.i +*_all*.c +*cil.c +*box.c +code +data.in +data.out +*.origi +*_ppp.c +power.cil +power.*box +*infer.c +changes.out +allcfiles +ope.m +*cured.c +*.optim.c +*_comb.c +*.exe_comb.browser +changes +output |