From b14f084c448359a7fd26bab1068f8cc4f78af2b0 Mon Sep 17 00:00:00 2001
From: Claude Marche <Claude.Marche@inria.fr>
Date: Mon, 4 Jul 2011 15:58:15 +0200
Subject: [PATCH] A bit of cleaning

---
 .gitignore                                    |  2 +-
 tests/bts-12934.why => examples/bts/12934.why |  0
 examples/bts/12934/why3session.xml            | 13 +++++++++++++
 3 files changed, 14 insertions(+), 1 deletion(-)
 rename tests/bts-12934.why => examples/bts/12934.why (100%)
 create mode 100644 examples/bts/12934/why3session.xml

diff --git a/.gitignore b/.gitignore
index da60d2a6d..c1e45ecf4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -95,7 +95,7 @@ why3.conf
 /doc/bnf.ml
 /doc/*_bnf.tex
 /doc/apidoc.tex
-/doc/apidoc/*.html
+/doc/apidoc/
 
 # /share/
 /share/provers-detection-data.conf
diff --git a/tests/bts-12934.why b/examples/bts/12934.why
similarity index 100%
rename from tests/bts-12934.why
rename to examples/bts/12934.why
diff --git a/examples/bts/12934/why3session.xml b/examples/bts/12934/why3session.xml
new file mode 100644
index 000000000..8e9843862
--- /dev/null
+++ b/examples/bts/12934/why3session.xml
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE why3session SYSTEM "why3session.dtd">
+<why3session name="12934/why3session.xml">
+ <file name="../12934.why" verified="true" expanded="true">
+  <theory name="BTS12934" verified="true" expanded="true">
+   <goal name="t" sum="2a75f435f1e835d059a51d852869927a" proved="true" expanded="true">
+    <proof prover="coq" timelimit="10" edited="" obsolete="false">
+     <result status="valid" time="0.41"/>
+    </proof>
+   </goal>
+  </theory>
+ </file>
+</why3session>
-- 
GitLab