Commit 55536b48 authored by phlo's avatar phlo

fixed BTOR2 encoder tests

parent bec70717
......@@ -45,21 +45,21 @@ TEST_RUN := run_all_tests
GTEST_FILTER = --gtest_filter=
# GTEST_FILTER += "*"
# GTEST_FILTER += Encoder.*
# GTEST_FILTER += smtlib.*
# GTEST_FILTER += smtlib_Encoder.*
# GTEST_FILTER += smtlib_Functional.*
# GTEST_FILTER += smtlib_Relational.*
# GTEST_FILTER += btor2.*
# GTEST_FILTER += btor2_Encoder.*
GTEST_FILTER += Encoder.*
GTEST_FILTER += smtlib.*
GTEST_FILTER += smtlib_Encoder.*
GTEST_FILTER += smtlib_Functional.*
GTEST_FILTER += smtlib_Relational.*
GTEST_FILTER += btor2.*
GTEST_FILTER += btor2_Encoder.*
GTEST_FILTER += Simulator.*
# GTEST_FILTER += Main.*
# GTEST_FILTER += Experimental.*
GTEST_FILTER += Instruction.*
GTEST_FILTER += Program.*
GTEST_FILTER += Trace.*
# GTEST_FILTER += MMap.*
# GTEST_FILTER += Shell.*
GTEST_FILTER += MMap.*
GTEST_FILTER += Shell.*
GTEST_FILTER += Boolector.*
GTEST_FILTER += BtorMC.*
GTEST_FILTER += Z3.*
......
......@@ -268,22 +268,22 @@
; blocking variables - block_<id>_<thread>
178 init 1 35 4
179 or 1 48 35
180 ite 1 63 4 179
180 ite 1 62 4 179
181 next 1 35 180 block_0_0
182 init 1 36 4
183 or 1 55 36
184 ite 1 63 4 183
184 ite 1 62 4 183
185 next 1 36 184 block_0_1
186 init 1 37 4
187 or 1 52 37
188 ite 1 62 4 187
188 ite 1 63 4 187
189 next 1 37 188 block_1_0
190 init 1 38 4
191 or 1 56 38
192 ite 1 62 4 191
192 ite 1 63 4 191
193 next 1 38 192 block_1_1
; heap variable
......
Markdown is supported
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