cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Intentionally failing test

Browse Source
This commit is contained in:
Martin Blicha 2023-06-07 23:28:31 +02:00
parent 7323680b08
commit c4855d20ea
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
test/libsolidity/smtCheckerTests/simple/failing_test.sol Normal file
View File

@ -0,0 +1,10 @@
contract C {
function test() public {
assert(false);
}
}
// ====
// SMTEngine: all
// ----