Skip to content

Commit c55108b

Browse files
matheusaaguiarmatheusaaguiar
committed
fixup! Update tests
1 parent 7e86c8e commit c55108b

File tree

49 files changed

+72
-72
lines changed
  • test/cmdlineTests
    • model_checker_targets_all_all_engines
    • model_checker_targets_all_bmc
    • model_checker_targets_all_chc
    • model_checker_targets_assert_bmc
    • model_checker_targets_assert_chc
    • model_checker_targets_balance_bmc
    • model_checker_targets_balance_chc
    • model_checker_targets_constant_condition_bmc
    • model_checker_targets_constant_condition_chc
    • model_checker_targets_default_all_engines
    • model_checker_targets_default_bmc
    • model_checker_targets_default_chc
    • model_checker_targets_div_by_zero_bmc
    • model_checker_targets_div_by_zero_chc
    • model_checker_targets_out_of_bounds_bmc
    • model_checker_targets_out_of_bounds_chc
    • model_checker_targets_overflow_bmc
    • model_checker_targets_overflow_chc
    • model_checker_targets_pop_empty_bmc
    • model_checker_targets_pop_empty_chc
    • model_checker_targets_underflow_bmc
    • model_checker_targets_underflow_chc
    • model_checker_targets_underflow_overflow_assert_bmc
    • model_checker_targets_underflow_overflow_assert_chc
    • model_checker_targets_underflow_overflow_bmc
    • model_checker_targets_underflow_overflow_chc
    • standard_model_checker_targets_assert_bmc
    • standard_model_checker_targets_assert_chc
    • standard_model_checker_targets_balance_bmc
    • standard_model_checker_targets_balance_chc
    • standard_model_checker_targets_constantCondition_bmc
    • standard_model_checker_targets_constantCondition_chc
    • standard_model_checker_targets_default_all_engines
    • standard_model_checker_targets_default_bmc
    • standard_model_checker_targets_default_chc
    • standard_model_checker_targets_div_by_zero_bmc
    • standard_model_checker_targets_div_by_zero_chc
    • standard_model_checker_targets_out_of_bounds_bmc
    • standard_model_checker_targets_out_of_bounds_chc
    • standard_model_checker_targets_overflow_bmc
    • standard_model_checker_targets_overflow_chc
    • standard_model_checker_targets_pop_empty_bmc
    • standard_model_checker_targets_pop_empty_chc
    • standard_model_checker_targets_underflow_bmc
    • standard_model_checker_targets_underflow_chc
    • standard_model_checker_targets_underflow_overflow_assert_bmc
    • standard_model_checker_targets_underflow_overflow_assert_chc
    • standard_model_checker_targets_underflow_overflow_bmc
    • standard_model_checker_targets_underflow_overflow_chc

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

49 files changed

+72
-72
lines changed

‎test/cmdlineTests/model_checker_targets_all_all_engines/err‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}()' instead.
1+
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
22
--> input.sol:10:3:
33
|
44
10 | a.transfer(x);

‎test/cmdlineTests/model_checker_targets_all_bmc/err‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}()' instead.
1+
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
22
--> input.sol:10:3:
33
|
44
10 | a.transfer(x);

‎test/cmdlineTests/model_checker_targets_all_chc/err‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}()' instead.
1+
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
22
--> input.sol:10:3:
33
|
44
10 | a.transfer(x);

‎test/cmdlineTests/model_checker_targets_assert_bmc/err‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}()' instead.
1+
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
22
--> input.sol:10:3:
33
|
44
10 | a.transfer(x);

‎test/cmdlineTests/model_checker_targets_assert_chc/err‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}()' instead.
1+
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
22
--> input.sol:10:3:
33
|
44
10 | a.transfer(x);

‎test/cmdlineTests/model_checker_targets_balance_bmc/err‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}()' instead.
1+
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
22
--> input.sol:10:3:
33
|
44
10 | a.transfer(x);

‎test/cmdlineTests/model_checker_targets_balance_chc/err‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}()' instead.
1+
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
22
--> input.sol:11:3:
33
|
44
11 | a.transfer(x);

‎test/cmdlineTests/model_checker_targets_constant_condition_bmc/err‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}()' instead.
1+
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
22
--> input.sol:10:3:
33
|
44
10 | a.transfer(x);

‎test/cmdlineTests/model_checker_targets_constant_condition_chc/err‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}()' instead.
1+
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
22
--> input.sol:11:3:
33
|
44
11 | a.transfer(x);

‎test/cmdlineTests/model_checker_targets_default_all_engines/err‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}()' instead.
1+
Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
22
--> input.sol:10:3:
33
|
44
10 | a.transfer(x);

0 commit comments

Comments
 (0)