Mathias Baumann 1eda206552 Make sure all errors/warnings terminate with ".", "?" or "!"

2020-01-08 16:26:00 +01:00

..

assignment_in_declaration.sol

Organize smt tests in subdirectories

2018-11-22 13:33:28 +00:00

branches_assert_condition_1.sol

Organize smt tests in subdirectories

2018-11-22 13:33:28 +00:00

branches_assert_condition_2.sol

Organize smt tests in subdirectories

2018-11-22 13:33:28 +00:00

branches_merge_variables_1.sol

Organize smt tests in subdirectories

2018-11-22 13:33:28 +00:00

branches_merge_variables_2.sol

Organize smt tests in subdirectories

2018-11-22 13:33:28 +00:00

branches_merge_variables_3.sol

Organize smt tests in subdirectories

2018-11-22 13:33:28 +00:00

branches_merge_variables_4.sol

Organize smt tests in subdirectories

2018-11-22 13:33:28 +00:00

branches_merge_variables_5.sol

Organize smt tests in subdirectories

2018-11-22 13:33:28 +00:00

branches_merge_variables_6.sol

Organize smt tests in subdirectories

2018-11-22 13:33:28 +00:00

function_call_inside_branch_2.sol

[SMTChecker] Fix ICE in branch-inline function call-modify local variable

2019-05-09 09:15:11 +02:00

function_call_inside_branch_3.sol

[SMTChecker] Fix ICE in branch-inline function call-modify local variable

2019-05-09 09:15:11 +02:00

function_call_inside_branch_4.sol

[SMTChecker] Fix ICE in branch-inline function call-modify local variable

2019-05-09 09:15:11 +02:00

function_call_inside_branch.sol

[SMTChecker] Fix ICE in branch-inline function call-modify local variable

2019-05-09 09:15:11 +02:00

function_call_inside_else_branch.sol

[SMTChecker] Fix ICE in branch-inline function call-modify local variable

2019-05-09 09:15:11 +02:00

function_call_inside_modifier_branch.sol

[SMTChecker] Fix ICE in branch-inline function call-modify local variable

2019-05-09 09:15:11 +02:00

function_call_inside_placeholder_inside_modifier_branch.sol

[SMTChecker] Fix ICE in branch-inline function call-modify local variable

2019-05-09 09:15:11 +02:00

short_circuit_and_fail.sol

Make sure all errors/warnings terminate with ".", "?" or "!"

2020-01-08 16:26:00 +01:00

short_circuit_and_inside_branch.sol

Make sure all errors/warnings terminate with ".", "?" or "!"

2020-01-08 16:26:00 +01:00

short_circuit_and_need_both_fail.sol

Make sure all errors/warnings terminate with ".", "?" or "!"

2020-01-08 16:26:00 +01:00

short_circuit_and_need_both.sol

Make sure all errors/warnings terminate with ".", "?" or "!"

2020-01-08 16:26:00 +01:00

short_circuit_and_touched_function.sol

Fix short circuit with assignments

2019-05-06 11:04:43 +02:00

short_circuit_and_touched.sol

Fix short circuit with assignments

2019-05-06 11:04:43 +02:00

short_circuit_and.sol

Make sure all errors/warnings terminate with ".", "?" or "!"

2020-01-08 16:26:00 +01:00

short_circuit_or_fail.sol

Make sure all errors/warnings terminate with ".", "?" or "!"

2020-01-08 16:26:00 +01:00

short_circuit_or_inside_branch.sol

Make sure all errors/warnings terminate with ".", "?" or "!"

2020-01-08 16:26:00 +01:00

short_circuit_or_need_both_fail.sol

Make sure all errors/warnings terminate with ".", "?" or "!"

2020-01-08 16:26:00 +01:00

short_circuit_or_need_both.sol

Make sure all errors/warnings terminate with ".", "?" or "!"

2020-01-08 16:26:00 +01:00

short_circuit_or_touched_function.sol

Fix short circuit with assignments

2019-05-06 11:04:43 +02:00

short_circuit_or_touched.sol

Fix short circuit with assignments

2019-05-06 11:04:43 +02:00

short_circuit_or.sol

Make sure all errors/warnings terminate with ".", "?" or "!"

2020-01-08 16:26:00 +01:00

ways_to_merge_variables_1.sol

Make sure all errors/warnings terminate with ".", "?" or "!"

2020-01-08 16:26:00 +01:00

ways_to_merge_variables_2.sol

Make sure all errors/warnings terminate with ".", "?" or "!"

2020-01-08 16:26:00 +01:00

ways_to_merge_variables_3.sol

Make sure all errors/warnings terminate with ".", "?" or "!"

2020-01-08 16:26:00 +01:00