Bump version numbers of DTD files for benchmark definitions and results

sosy-lab · Feb 11, 2019 · b16520a · b16520a
1 parent 6e2ecde
commit b16520a
Show file tree

Hide file tree

Showing 8 changed files with 9 additions and 9 deletions.
diff --git a/benchexec/outputhandler.py b/benchexec/outputhandler.py
@@ -37,8 +37,8 @@
 from benchexec import result
 from benchexec import util
 
-RESULT_XML_PUBLIC_ID = '+//IDN sosy-lab.org//DTD BenchExec result 1.9//EN'
-RESULT_XML_SYSTEM_ID = 'https://www.sosy-lab.org/benchexec/result-1.9.dtd'
+RESULT_XML_PUBLIC_ID = '+//IDN sosy-lab.org//DTD BenchExec result 1.18//EN'
+RESULT_XML_SYSTEM_ID = 'https://www.sosy-lab.org/benchexec/result-1.18.dtd'
 
 # colors for column status in terminal
 COLOR_GREEN   = "\033[32;1m{0}\033[m"

diff --git a/benchexec/test_integration/__init__.py b/benchexec/test_integration/__init__.py
@@ -38,7 +38,7 @@
 benchmarks_dir = here
 benchexec = os.path.join(bin_dir, 'benchexec')
 result_dtd = os.path.join(base_dir, 'doc', 'result.dtd')
-result_dtd_public_id = '+//IDN sosy-lab.org//DTD BenchExec result 1.9//EN'
+result_dtd_public_id = '+//IDN sosy-lab.org//DTD BenchExec result 1.18//EN'
 
 benchmark_test_name = 'benchmark-example-rand'
 benchmark_test_file = os.path.join(here, 'benchmark-example-rand.xml')

diff --git a/doc/benchexec.md b/doc/benchexec.md
@@ -15,7 +15,7 @@ and [doc/benchmark-example-cbmc.xml](benchmark-example-cbmc.xml).
 The document type of these files should be
 
 ```XML
-<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.17//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.17.dtd">
+<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.18//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.18.dtd">
 ```
 
 A document-type definition with a formal specification of input files can be found in

diff --git a/doc/benchmark-example-calculatepi.xml b/doc/benchmark-example-calculatepi.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0"?>
-<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.17//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.17.dtd">
+<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.18//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.18.dtd">
 <!-- Example file for benchmark definition for BenchExec
      with dummy tool "calculatepi" that calculates Pi up to some number of digits. -->
 <benchmark displayName="Calculate Pi" tool="calculatepi" timelimit="900s" memlimit="100 MB" cpuCores="1">

diff --git a/doc/benchmark-example-cbmc.xml b/doc/benchmark-example-cbmc.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0"?>
-<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.17//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.17.dtd">
+<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.18//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.18.dtd">
 <!-- Example file for benchmark definition for BenchExec,
      using tool "cbmc" with a CPU time limit of 60s,
      1000 MB of RAM, and 1 CPU core.

diff --git a/doc/benchmark-example-rand.xml b/doc/benchmark-example-rand.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0"?>
-<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.17//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.17.dtd">
+<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.18//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.18.dtd">
 <!-- Example file for benchmark definition for BenchExec
      with dummy tool that simply returns random answers.
      No resource limits are specified. -->

diff --git a/doc/benchmark-example-true.xml b/doc/benchmark-example-true.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0"?>
-<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.17//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.17.dtd">
+<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.18//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.18.dtd">
 <!-- Example file for benchmark definition for BenchExec
      with dummy tool that simply returns TRUE.
      No resource limits are specified. -->

diff --git a/doc/benchmark.xml b/doc/benchmark.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0"?>
-<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.17//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.17.dtd">
+<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.18//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.18.dtd">
 <!-- Example file for benchmark definition for BenchExec. -->
 <benchmark tool="*tool to benchmark (name of tool-info module for BenchExec)*"
            displayName="*human-readable name as description of this benchmark*"