Commit 1298082a authored by Pascal Fontaine's avatar Pascal Fontaine
Browse files

2.0 to 2.5, CRLF to LF

parent baab0fdf
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info
:source |
......@@ -31,7 +32,6 @@ SV-COMP 2015). TACAS 2015: 401-416
Made compatible to SMT-COMP rules by SMTInterpol
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(define-sort ~size_t () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info
:source |
......@@ -31,7 +32,6 @@ SV-COMP 2015). TACAS 2015: 401-416
Made compatible to SMT-COMP rules by SMTInterpol
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(define-sort ~size_t () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info
:source |
......@@ -31,7 +32,6 @@ SV-COMP 2015). TACAS 2015: 401-416
Made compatible to SMT-COMP rules by SMTInterpol
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(define-sort ~size_t () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info
:source |
......@@ -31,7 +32,6 @@ SV-COMP 2015). TACAS 2015: 401-416
Made compatible to SMT-COMP rules by SMTInterpol
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(define-sort ~size_t () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info
:source |
......@@ -31,7 +32,6 @@ SV-COMP 2015). TACAS 2015: 401-416
Made compatible to SMT-COMP rules by SMTInterpol
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(define-sort ~size_t () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info
:source |
......@@ -31,7 +32,6 @@ SV-COMP 2015). TACAS 2015: 401-416
Made compatible to SMT-COMP rules by SMTInterpol
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(define-sort ~size_t () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info
:source |
......@@ -31,7 +32,6 @@ SV-COMP 2015). TACAS 2015: 401-416
Made compatible to SMT-COMP rules by SMTInterpol
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(define-sort ~size_t () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info
:source |
......@@ -31,7 +32,6 @@ SV-COMP 2015). TACAS 2015: 401-416
Made compatible to SMT-COMP rules by SMTInterpol
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(define-sort ~size_t () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info :source |
......@@ -23,7 +24,6 @@ and Witnesses (Report on SV-COMP 2016). TACAS 2016: 887-904
[6] https://github.com/dbeyer/sv-benchmarks
|)
(set-info :smt-lib-version 2.5)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun |#funAddr~ni6527_attach.base| () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info :source |
......@@ -23,7 +24,6 @@ and Witnesses (Report on SV-COMP 2016). TACAS 2016: 887-904
[6] https://github.com/dbeyer/sv-benchmarks
|)
(set-info :smt-lib-version 2.5)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun |#funAddr~ni_65xx_attach.base| () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info :source |
......@@ -23,7 +24,6 @@ and Witnesses (Report on SV-COMP 2016). TACAS 2016: 887-904
[6] https://github.com/dbeyer/sv-benchmarks
|)
(set-info :smt-lib-version 2.5)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun |#funAddr~ni_660x_attach.base| () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info :source |
......@@ -23,7 +24,6 @@ and Witnesses (Report on SV-COMP 2016). TACAS 2016: 887-904
[6] https://github.com/dbeyer/sv-benchmarks
|)
(set-info :smt-lib-version 2.5)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun |#funAddr~ni_670x_attach.base| () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info :source |
......@@ -23,7 +24,6 @@ and Witnesses (Report on SV-COMP 2016). TACAS 2016: 887-904
[6] https://github.com/dbeyer/sv-benchmarks
|)
(set-info :smt-lib-version 2.5)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun |#funAddr~nidio_attach.base| () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info :source |
Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
......@@ -5,7 +6,6 @@ Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
This benchmark was automatically translated into SMT-LIB format from
CVC format using CVC Lite
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun x_0 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info :source |
Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
......@@ -5,7 +6,6 @@ Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
This benchmark was automatically translated into SMT-LIB format from
CVC format using CVC Lite
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun x_0 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info :source |
Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
......@@ -5,7 +6,6 @@ Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
This benchmark was automatically translated into SMT-LIB format from
CVC format using CVC Lite
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun x_0 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info :source |
Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
......@@ -5,7 +6,6 @@ Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
This benchmark was automatically translated into SMT-LIB format from
CVC format using CVC Lite
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun x_0 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info :source |
Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
......@@ -5,7 +6,6 @@ Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
This benchmark was automatically translated into SMT-LIB format from
CVC format using CVC Lite
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun x_0 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info :source |
Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
......@@ -5,7 +6,6 @@ Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
This benchmark was automatically translated into SMT-LIB format from
CVC format using CVC Lite
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun x_0 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic QF_ALIA)
(set-info :source |
Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
......@@ -5,7 +6,6 @@ Benchmarks from Leonardo de Moura <demoura@csl.sri.com>
This benchmark was automatically translated into SMT-LIB format from
CVC format using CVC Lite
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun x_0 () Int)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment