diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2018-08-02 05:37:46 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2018-11-22 21:33:24 +0800 |
| commit | 636da48e82f64224a8611dabad1b8a1a019fcfd4 (patch) | |
| tree | 2fbb7d054675ef81fe7dd91c80b5bf7668235993 /CONTRIBUTING.md | |
| parent | a5411965e6d7abf50f896291d69cab820db6ef87 (diff) | |
| download | dexon-solidity-636da48e82f64224a8611dabad1b8a1a019fcfd4.tar.gz dexon-solidity-636da48e82f64224a8611dabad1b8a1a019fcfd4.tar.zst dexon-solidity-636da48e82f64224a8611dabad1b8a1a019fcfd4.zip | |
Move most of SMTChecker tests from C++ to isoltest
But keep divison in C++ because results differ between different solvers
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions