aboutsummaryrefslogtreecommitdiffstats
path: root/test/ccured_olden/power/.cvsignore
diff options
context:
space:
mode:
Diffstat (limited to 'test/ccured_olden/power/.cvsignore')
-rw-r--r--test/ccured_olden/power/.cvsignore21
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