Leonardo
|
1eac3d1d83
|
Merge pull request #7582 from ethereum/smt_multid_array_assignment
[SMTChecker] Support assignments to m-d arrays and mappings
|
2019-11-04 17:37:33 +01:00 |
|
chriseth
|
e7c4378ce7
|
Merge pull request #7516 from ethereum/abiv2-proto-struct
Abiv2 proto struct
|
2019-11-04 17:04:16 +01:00 |
|
chriseth
|
62aa20137c
|
Merge pull request #7600 from ethereum/TypeConversionOnTheFly
[WASM] Inject type conversions on the fly if needed.
|
2019-11-04 16:20:57 +01:00 |
|
Bhargava Shastry
|
04becb9458
|
Minor refactoring
|
2019-11-04 15:47:04 +01:00 |
|
Bhargava Shastry
|
12ed08eddb
|
Place upper bound number on number of array dimensions
|
2019-11-04 15:47:04 +01:00 |
|
Bhargava Shastry
|
3cfeca33c1
|
Abiv2 proto fuzzer: Refactor and add support for structs
|
2019-11-04 15:47:04 +01:00 |
|
chriseth
|
08cf616157
|
Merge pull request #7609 from ethereum/fix-7608
yul proto fuzzer: Catch exception early and propagate termination reason
|
2019-11-04 13:29:50 +01:00 |
|
chriseth
|
8337de5189
|
[WASM] Inject type conversions on the fly if needed.
|
2019-11-01 15:44:39 +01:00 |
|
chriseth
|
8780f2d595
|
Merge pull request #7604 from ethereum/datasizeOffsetSingle
[WASM] datasize and dataoffset only return a single value.
|
2019-11-01 15:39:50 +01:00 |
|
chriseth
|
cca7f01199
|
Tests for conditional unsimplifier
|
2019-11-01 14:07:25 +01:00 |
|
chriseth
|
ce87f11885
|
Test updates
|
2019-11-01 14:01:56 +01:00 |
|
chriseth
|
61a2d44f38
|
Conditional unsimplifier
|
2019-11-01 14:01:56 +01:00 |
|
chriseth
|
21b9606ed3
|
Test updates.
|
2019-11-01 14:01:56 +01:00 |
|
chriseth
|
19ccdfb0b3
|
No into body.
|
2019-11-01 14:01:56 +01:00 |
|
chriseth
|
5d6e983be3
|
Conditional simplifier.
|
2019-11-01 14:01:56 +01:00 |
|
chriseth
|
7f1593baa0
|
[WASM] datasize and dataoffset only return a single value.
|
2019-11-01 13:52:49 +01:00 |
|
Bhargava Shastry
|
e4ba1c02e8
|
yul proto fuzzer: Catch exception early and propagate termination reason to harness
|
2019-11-01 12:26:35 +01:00 |
|
chriseth
|
21227d748c
|
Update polyfill and set name.
|
2019-10-31 18:51:19 +01:00 |
|
chriseth
|
3d1123cf61
|
Merge pull request #7599 from ethereum/fixLocalGlobalWast
Fix local and globals wast functions.
|
2019-10-31 18:14:42 +01:00 |
|
chriseth
|
04c62e2dc3
|
Fix local and globals wast functions.
|
2019-10-31 17:41:31 +01:00 |
|
Leonardo Alt
|
80a790b5c3
|
Remove solc-js DAO tests replacement
|
2019-10-31 16:16:13 +01:00 |
|
chriseth
|
d605f89167
|
Merge pull request #7548 from ethereum/fixWasmLayout
Wasm: Fix layout for text conversion.
|
2019-10-29 17:52:34 +01:00 |
|
chriseth
|
5d906cd58d
|
Merge pull request #7568 from ethereum/fixtest
Fix failing tests on ArchLinux and potentially MacOS
|
2019-10-29 12:37:51 +01:00 |
|
Mathias Baumann
|
b3a5c9c9c0
|
Fix failing tests on ArchLinux and potentially MacOS
|
2019-10-29 12:02:50 +01:00 |
|
Leonardo Alt
|
8a42e3f87a
|
[SMTChecker] Support assignments to m-d arrays and mappings
|
2019-10-28 17:27:39 +01:00 |
|
chriseth
|
81e2d1ed14
|
Merge pull request #7528 from ethereum/fix-7434
yul interpreter: Initialize calldata with random data
|
2019-10-28 12:39:27 +01:00 |
|
chriseth
|
9719f099aa
|
Merge pull request #7551 from ethereum/060-cxx17-std-optional
Use `std::optional<>` rather than `boost::optional<>`
|
2019-10-28 12:17:31 +01:00 |
|
Christian Parpart
|
df729b3084
|
Make use of C++17 std::optional<> instead of boost::optional<>.
|
2019-10-28 11:39:30 +01:00 |
|
Henry Lee
|
24cbb4dd17
|
Treat magic variables as unknown identifiers in inline assembly
This fixes #4575. For keywords such as 'super' and 'this', will be
treated as unknown identifiers.
|
2019-10-28 14:59:50 +11:00 |
|
Erik Kundt
|
d470663c25
|
Update version pragma replacement in ext. tests.
|
2019-10-25 17:38:29 +02:00 |
|
chriseth
|
15e39f7d65
|
Merge pull request #7556 from ethereum/ice-7550
Check for use of modifiers in invalid contexts
|
2019-10-24 10:32:49 +02:00 |
|
chriseth
|
f399d8415f
|
Fix layout for text conversion.
|
2019-10-23 16:43:29 +02:00 |
|
Mathias Baumann
|
c3e8023ad5
|
Fix wrong assert in overflow check
|
2019-10-23 14:59:34 +02:00 |
|
Mathias Baumann
|
8c5d1da5a5
|
Check for use of modifiers in invalid contexts
|
2019-10-23 12:36:20 +02:00 |
|
Mathias Baumann
|
ad7cf42aad
|
Add missing dots in deprecation warning
|
2019-10-23 12:23:21 +02:00 |
|
Mathias Baumann
|
6ac12afd06
|
Disallow call of same-class-ctor as modifier
|
2019-10-23 10:29:41 +02:00 |
|
Bhargava Shastry
|
128c3c7cf6
|
yul interpreter: Initialize calldata with random data
|
2019-10-21 10:37:35 +02:00 |
|
chriseth
|
e626437d77
|
Merge pull request #7538 from ghallak/7198-remove-padded-zeros
Remove trailing zeros from the output of BytesUtils::formatBytes
|
2019-10-16 15:55:02 +02:00 |
|
chriseth
|
ebfe7391ff
|
Use selfbalance for `address(this).balance`.
|
2019-10-16 14:25:56 +02:00 |
|
Gaith Hallak
|
8a8f553e4d
|
Remove trailing zeros from the output of BytesUtils::formatBytes
|
2019-10-16 14:42:12 +03:00 |
|
Gaith Hallak
|
02ae43aad4
|
Fix the documentation for TestFunctionCall::format
|
2019-10-16 14:42:12 +03:00 |
|
Gaith Hallak
|
51ae296cac
|
Modify the expectation files in ASTJSON tests.
|
2019-10-02 22:31:12 +02:00 |
|
Daniel Kirchner
|
7202ebb5b2
|
Fix internal compiler error for arrays of recursive structs.
|
2019-10-01 16:51:14 +02:00 |
|
Christian Parpart
|
00d7dac15f
|
Fixes source location in warning for shadowing import delcarations.
|
2019-09-30 11:45:46 +02:00 |
|
Christian Parpart
|
f85f6ba7e0
|
Fixes doxygen style multiline comment parsing for files with CRLF as line terminators.
|
2019-09-25 12:59:46 +02:00 |
|
chriseth
|
45583895fc
|
Merge pull request #7473 from ethereum/refactorSteps
Refactor Optimiser Steps Interface.
|
2019-09-24 15:55:25 +02:00 |
|
chriseth
|
cda23d63e9
|
Merge pull request #7458 from ethereum/fixErrorMessage
Fix error message about accessing storage pointers.
|
2019-09-24 15:11:03 +02:00 |
|
chriseth
|
9ce1ca2340
|
Refactor Optimiser Steps Interface.
|
2019-09-24 14:52:01 +02:00 |
|
chriseth
|
973e4ca90a
|
Merge pull request #7453 from ethereum/smt_lib_const_array
[SMTChecker] Add "as const: function to SMTLib2Interface
|
2019-09-24 11:02:34 +02:00 |
|
chriseth
|
ca21659749
|
Fix error message about accessing storage pointers.
|
2019-09-24 10:52:02 +02:00 |
|
chriseth
|
bfc8fd23ac
|
Document chainid and selfbalance.
|
2019-09-19 15:35:37 +02:00 |
|
Leonardo Alt
|
ed9674be8d
|
[SMTChecker] Add as const function to SMTLib2Interface
|
2019-09-18 22:57:14 +02:00 |
|
chriseth
|
5a950908b6
|
Merge pull request #7432 from ethereum/fix-ossfuzz-build
ossfuzz: Create a separate cmake toolchain file for ossfuzz
|
2019-09-17 15:24:50 +02:00 |
|
chriseth
|
7c774c3a4b
|
Merge pull request #7444 from ethereum/solc-fuzzer-add-evmversion
solc fuzzer: Use randomly chosen evm version
|
2019-09-17 15:23:17 +02:00 |
|
Bhargava Shastry
|
9b31d72f43
|
solc fuzzer: Use randomly chosen evm version
|
2019-09-17 13:43:22 +02:00 |
|
mingchuan
|
520a3ccfff
|
[YulOpt] declare SSA var when control flow joins
|
2019-09-17 13:22:02 +02:00 |
|
chriseth
|
5859a69c44
|
Merge pull request #7409 from ethereum/forLoopOutOfBody
[Yul] Move for loop condition out of body.
|
2019-09-17 12:58:56 +02:00 |
|
chriseth
|
68986a58b6
|
Test.
|
2019-09-17 12:32:46 +02:00 |
|
chriseth
|
7a79742f3d
|
Out of body again.
|
2019-09-17 12:30:15 +02:00 |
|
chriseth
|
58f0f9dbea
|
Merge pull request #7417 from ethereum/fix-7355-v2
Update logic to track dynamically encoded parameters
|
2019-09-17 11:43:37 +02:00 |
|
Bhargava Shastry
|
48da5f07a5
|
ossfuzz: Create a separate cmake toolchain file for ossfuzz so that multiple fuzzing backends may be used
|
2019-09-16 18:35:15 +02:00 |
|
Leonardo Alt
|
eab9f65610
|
Fix ICE when pop dyn storage array of mapping
|
2019-09-16 16:33:17 +02:00 |
|
Bhargava Shastry
|
403fb7d88c
|
Update logic to track dynamically encoded parameters
|
2019-09-16 14:25:37 +02:00 |
|
chriseth
|
2d601a4f23
|
Merge pull request #7414 from ethereum/refactorSSA
Refactor SSA transform.
|
2019-09-13 17:55:39 +02:00 |
|
Leonardo Alt
|
e1c238e25f
|
[SMTChecker] Add loop support
|
2019-09-13 12:40:53 +02:00 |
|
Erik Kundt
|
e92b921123
|
[isoltest] Adds support for fallback and ether functions.
|
2019-09-13 10:55:46 +02:00 |
|
Erik Kundt
|
ad5fe2bf45
|
Fixes codespell.
|
2019-09-12 22:15:03 +02:00 |
|
chriseth
|
192946c1ba
|
Merge pull request #7413 from ethereum/ossfuzz-link-correctly
Link ossfuzz targets with -fsanitize=fuzzer instead of libFuzzingEngine
|
2019-09-12 20:22:53 +02:00 |
|
chriseth
|
20bada4c60
|
Refactor SSA transform.
|
2019-09-12 20:07:39 +02:00 |
|
Daniel Kirchner
|
f86c5da202
|
Fix SSA reverser in special case of declaration followed by self-assignment.
|
2019-09-12 18:17:13 +02:00 |
|
Bhargava Shastry
|
a7c987d931
|
Link ossfuzz targets with -fsanitize=fuzzer instead of libFuzzingEngine supplied by docker image
|
2019-09-12 11:26:05 +02:00 |
|
chriseth
|
4f80117eef
|
Use builtin iszero for for loop condition rewriting.
|
2019-09-12 10:26:16 +02:00 |
|
chriseth
|
fcfe829534
|
Introduce LiteralRematerializer and thus simplify StructuralSimplifier.
|
2019-09-11 19:50:24 +02:00 |
|
chriseth
|
a064e0fc97
|
Merge pull request #7236 from ethereum/proto-add-object-access
Experimental support for object access builtins
|
2019-09-11 18:28:10 +02:00 |
|
chriseth
|
e9346ca38a
|
Merge pull request #7400 from ethereum/evmoneSearch
Fix evmone filename for auto-discovery for windows and macos.
|
2019-09-11 17:55:12 +02:00 |
|
chriseth
|
b962f58973
|
Merge pull request #7405 from ethereum/isoltest-format-fix
[isoltest] Add fallback formatting
|
2019-09-11 17:52:11 +02:00 |
|
Erik Kundt
|
4162c3d7af
|
[isoltest] Adds fallback formatting.
|
2019-09-11 15:45:53 +02:00 |
|
Daniel Kirchner
|
2535091168
|
Replace preprocessor macros with constexpr expressions.
|
2019-09-11 13:03:05 +02:00 |
|
Christian Parpart
|
ccdca32f39
|
isoltest: Fixes matching tests on platforms that don't use forward slahes as path separators.
|
2019-09-11 12:53:20 +02:00 |
|
Flash Sheridan
|
733d40ddb5
|
Fix evmone filename for auto-discovery for windows and macos.
|
2019-09-11 12:28:05 +02:00 |
|
Bhargava Shastry
|
34022a2c8c
|
Pseudo-randomly choose object/data identifier that is in scope
|
2019-09-11 10:57:54 +02:00 |
|
Bhargava Shastry
|
d677a15507
|
Add object access builtin functions
|
2019-09-11 10:57:54 +02:00 |
|
chriseth
|
143e867353
|
Merge pull request #7390 from ethereum/sloadTest
Load resolver involving staticcall.
|
2019-09-10 13:25:15 +02:00 |
|
chriseth
|
20f6fbf88e
|
Load resolver involving staticcall.
|
2019-09-10 12:09:13 +02:00 |
|
chriseth
|
ca0b38c8a3
|
Merge pull request #7327 from winsvega/newopcodes
add chainid and selfbalance to lllc
|
2019-09-10 12:00:26 +02:00 |
|
Erik Kundt
|
5e12e0cf27
|
[isoltest] Fixes auto-update for revert.
|
2019-09-09 22:46:43 +02:00 |
|
Dimitry
|
fd3ae0b24a
|
add chainid and selfbalance to lllc
|
2019-09-09 23:35:36 +03:00 |
|
Bhargava Shastry
|
09fa31ccc5
|
yul: Add new optimizer rules for create and create2 builtins
|
2019-09-09 17:06:56 +02:00 |
|
chriseth
|
96b6b45658
|
Merge pull request #7324 from ethereum/activateLoadResolver
[Yul] Activate load resolver.
|
2019-09-09 16:45:41 +02:00 |
|
Bhargava Shastry
|
e349fb1ce1
|
Abiv2 proto fuzzer: Crop at least 32 bytes if last dynamically encoded parameter is right padded
|
2019-09-09 10:07:30 +02:00 |
|
chriseth
|
7f797bc6ae
|
Merge pull request #7342 from ethereum/extendedMemorySizeInterpreter
Make memory addresses wrap in interpreter.
|
2019-09-05 13:14:57 +02:00 |
|
Bhargava Shastry
|
137a898eca
|
Yul proto fuzzer: Fix typo in low level call
|
2019-09-04 21:14:26 +02:00 |
|
chriseth
|
5b4b4011c7
|
Extend memory beyond 32 byte addresses in interpreter.
|
2019-09-04 20:10:42 +02:00 |
|
chriseth
|
633932c5f1
|
Update tests.
|
2019-09-04 19:16:54 +02:00 |
|
Bhargava Shastry
|
c889e6e015
|
Yul proto fuzzer: Add create and call opcodes
|
2019-09-04 19:13:40 +02:00 |
|
Bhargava Shastry
|
6b27ef8fcb
|
Yul proto fuzzer: Additional blockchain opcodes
|
2019-09-04 19:13:40 +02:00 |
|
chriseth
|
7dd77784b7
|
Merge pull request #7335 from ethereum/abiSorting
Change ABI sorting order.
|
2019-09-04 17:18:27 +02:00 |
|
chriseth
|
8485a1abec
|
Change ABI sorting order.
|
2019-09-04 13:06:09 +02:00 |
|
Bhargava Shastry
|
fce65ec811
|
Randomize calldataload and storage slots and use dictionary tokens as function argument
|
2019-09-04 09:54:57 +02:00 |
|
Bhargava Shastry
|
d066ba71a4
|
Force call of every valid func declaration
|
2019-09-04 09:54:57 +02:00 |
|
Bhargava Shastry
|
4837ef4ada
|
Yul proto fuzzer: Make function definition a statement
|
2019-09-04 09:54:36 +02:00 |
|
Alex Beregszaszi
|
dce52509b4
|
Merge pull request #7329 from ethereum/istanbul
Introduce istanbul and berlin versions
|
2019-09-03 15:18:14 +01:00 |
|
chriseth
|
ea4ea5ae5d
|
Merge pull request #7333 from ethereum/yulopti_add_load_resolver
Add Load Resolver to Yulopti
|
2019-09-03 16:12:31 +02:00 |
|
chriseth
|
ebd16eb142
|
Merge pull request #7321 from ethereum/smt_const_array
[SMTChecker] Zero-initialize arrays
|
2019-09-03 15:51:59 +02:00 |
|
Leonardo Alt
|
d131784714
|
Add Load Resolver to Yulopti
|
2019-09-03 15:51:33 +02:00 |
|
chriseth
|
6e4e54cbc6
|
Merge pull request #7309 from ethereum/yulproto-refactor
Yul proto fuzzer: Do not shadow variables
|
2019-09-03 12:29:13 +02:00 |
|
chriseth
|
029941a168
|
Merge pull request #7251 from ethereum/sideEffectsForUserDefinedFunctions
Side effects for user defined functions
|
2019-09-03 12:10:56 +02:00 |
|
Bhargava Shastry
|
6427ec661a
|
Yul interpreter: Out of bounds mloads return zero
|
2019-09-03 09:51:15 +02:00 |
|
Leonardo Alt
|
a774b2d905
|
[SMTChecker] Zero-initialize arrays
|
2019-09-02 22:37:30 +02:00 |
|
chriseth
|
55024d40fe
|
Test updates.
|
2019-09-02 17:41:51 +02:00 |
|
chriseth
|
127bcfc69d
|
Take user function side-effects into account for unused pruner.
|
2019-09-02 17:41:51 +02:00 |
|
chriseth
|
1c5845e3f2
|
Side-effects of user-defined functions.
|
2019-09-02 17:41:51 +02:00 |
|
Bhargava Shastry
|
bcf0c1810c
|
Yul proto fuzzer: Do not reuse variable names
|
2019-09-02 15:23:10 +02:00 |
|
chriseth
|
9a6357ab09
|
Merge pull request #7188 from ethereum/abiv2-use-bytes-string-longer-than-32-bytes
Abiv2 use bytes string longer than 32 bytes
|
2019-09-02 15:05:43 +02:00 |
|
chriseth
|
bdf29277a2
|
Change interpreter memory to be non-contiguous.
|
2019-09-02 13:51:47 +02:00 |
|
Bhargava Shastry
|
46a133e848
|
Generate bytes and string literals that are longer than 32 bytes
|
2019-09-02 12:43:47 +02:00 |
|
chriseth
|
a988b64597
|
Merge pull request #7312 from ethereum/fixInterpreterScopes
Fix handling of scopes in Yul Interpreter.
|
2019-09-02 12:05:33 +02:00 |
|
Bhargava Shastry
|
3963d0ca02
|
Create bytes/string values of shorter than 32 bytes and adjust invalid encoding length accordingly
|
2019-09-02 11:30:38 +02:00 |
|
chriseth
|
01e0a12c3b
|
Fix handling of scopes in Yul Interpreter.
|
2019-09-02 10:41:26 +02:00 |
|
chriseth
|
e86b5cf14e
|
Replace byte(A, X) by zero if A >= 32
|
2019-08-29 15:35:34 +02:00 |
|
Leonardo Alt
|
214e5c6369
|
[SMTChecker] Fix index access type type error
|
2019-08-27 16:39:19 +02:00 |
|
Alex Beregszaszi
|
5749a5d7c9
|
Introduce istanbul and berlin versions
|
2019-08-26 13:15:01 +01:00 |
|
Bhargava Shastry
|
922790730c
|
Do not create duplicate case statements
|
2019-08-26 12:44:06 +02:00 |
|
Bhargava Shastry
|
86c981d9fa
|
proto fuzzer: Use a yul optimizer dictionary
|
2019-08-26 12:44:06 +02:00 |
|
Erik K
|
d47863ef35
|
Merge pull request #7300 from ethereum/fix-docCheck
Fix deprecated option style for docCheck
|
2019-08-26 12:23:03 +02:00 |
|
Mathias L. Baumann
|
e1bb4b9f81
|
Merge pull request #7280 from ethereum/isoltest-empty-revert
[isoltest] Support empty revert message
|
2019-08-26 11:45:36 +02:00 |
|
Mathias Baumann
|
7f6bb543a9
|
Fix deprecated option style for docCheck
solhint was updated and now warns about deprecated option values
|
2019-08-26 11:23:29 +02:00 |
|
Erik Kundt
|
755dae5d66
|
[isoltest] Supports empty revert message.
|
2019-08-26 11:06:30 +02:00 |
|
Leonardo Alt
|
c27235b2f5
|
[SMTChecker] Adapt division test for Z3 only
|
2019-08-23 17:33:29 +02:00 |
|
Mathias Baumann
|
0e3ff25b4e
|
Make sure json output array order is consistent
The source of the "contractDependencies" value was an std::map, thus
order was more or less random.
|
2019-08-19 17:42:03 +02:00 |
|
Daniel Kirchner
|
aa2167b208
|
Extract some import tests.
|
2019-08-19 14:45:26 +02:00 |
|
Daniel Kirchner
|
6ed219ebe8
|
Support multiple sources for syntax tests.
|
2019-08-19 14:45:26 +02:00 |
|
Daniel Kirchner
|
4a65c5ebaa
|
Compile succeeding syntax tests.
|
2019-08-16 17:14:49 +02:00 |
|
chriseth
|
3c4f558242
|
Tests
|
2019-08-15 16:30:05 +02:00 |
|
Leonardo Alt
|
1a70a46f9b
|
[CHC] Add function blocks and check asserts
|
2019-08-15 12:25:15 +02:00 |
|
chriseth
|
2508cbc1eb
|
Merge pull request #7095 from ethereum/isoltest-failure-reason
[isoltest] Support FAILURE with reason
|
2019-08-15 11:37:56 +02:00 |
|
Erik Kundt
|
6c73bc5bac
|
[isoltest] Refactors parameter formatting.
|
2019-08-14 21:28:43 +02:00 |
|
Erik Kundt
|
18157f5a49
|
[isoltest] Splits smoke test into separate files.
|
2019-08-14 21:28:43 +02:00 |
|
Erik Kundt
|
30483acc42
|
[isoltest] Support FAILURE with reason.
|
2019-08-14 21:28:43 +02:00 |
|
Daniel Kirchner
|
b0a5666b43
|
Better error messages when writing to expressions that cannot be written to.
|
2019-08-14 17:59:48 +02:00 |
|
chriseth
|
7d30fbdef0
|
Extract side effects into their own struct.
|
2019-08-14 15:06:10 +02:00 |
|
chriseth
|
e396dc7246
|
Properly set storage and memory after erasing potentially destroyed keys
|
2019-08-13 18:43:15 +02:00 |
|
Mathias Baumann
|
30373d5719
|
Test scripts: Make build dir a variable
|
2019-08-13 12:44:29 +02:00 |
|
chriseth
|
c82e46842a
|
Merge pull request #7226 from ethereum/release
Merge release back into develop.
|
2019-08-13 10:50:59 +02:00 |
|
chriseth
|
4596a761c4
|
Remove version in errors for release build.
|
2019-08-12 17:23:56 +02:00 |
|
Mathias Baumann
|
ccfcee5b80
|
YulInterpreter: Fix wrong context passed to called function
|
2019-08-12 17:12:53 +02:00 |
|
Leonardo
|
ffe906129f
|
Merge pull request #7210 from ethereum/smt_fix_type_mismatch
[SMTChecker] Support StringLiteral type
|
2019-08-12 14:32:43 +02:00 |
|
Leonardo Alt
|
955b97097c
|
[SMTChecker] Relax expectations for complex nonlinear tests
|
2019-08-11 22:20:31 +02:00 |
|
Leonardo Alt
|
360f868836
|
[SMTChecker] Fix literal string type mismatch
|
2019-08-10 21:51:46 +02:00 |
|
Leonardo Alt
|
4214cd1354
|
[SMTChecker] Fix ICE when reporting cex concerning state vars from different source files
|
2019-08-10 20:56:52 +02:00 |
|