Skip to main content

test

Standalone Functions

setup

setup();

Takes no parameters.

mock_value_change_read

mock_value_change_read(state_var, TEST_INITIAL_DELAY, &mut PublicContext>, pre, post, block_of_change);

Parameters

NameType
state_varSharedMutable<Field
TEST_INITIAL_DELAY
&mut PublicContext>
preField
postField
block_of_changeField

mock_delay_change_read

mock_delay_change_read(state_var, TEST_INITIAL_DELAY, &mut PublicContext>, pre, post, block_of_change);

Parameters

NameType
state_varSharedMutable<Field
TEST_INITIAL_DELAY
&mut PublicContext>
preField
postField
block_of_changeField

mock_delay_change_read_uninitialized

mock_delay_change_read_uninitialized(state_var, TEST_INITIAL_DELAY, &mut PublicContext>);

Parameters

NameType
state_varSharedMutable<Field
TEST_INITIAL_DELAY
&mut PublicContext>

mock_value_and_delay_read

mock_value_and_delay_read(state_var, TEST_INITIAL_DELAY, &mut PublicContext>, value_block_of_change, delay_block_of_change);

block of change.

Parameters

NameType
state_varSharedMutable<Field
TEST_INITIAL_DELAY
&mut PublicContext>
value_block_of_changeField
delay_block_of_changeField

mock_value_change_write

mock_value_change_write();

Takes no parameters.

mock_delay_change_write

mock_delay_change_write();

Takes no parameters.

assert_value_change_write

assert_value_change_write(state_var, TEST_INITIAL_DELAY, &mut PublicContext>, mock, pre, post, block_of_change);

Parameters

NameType
state_varSharedMutable<Field
TEST_INITIAL_DELAY
&mut PublicContext>
mockOracleMock
preField
postField
block_of_changeField

assert_delay_change_write

assert_delay_change_write(state_var, TEST_INITIAL_DELAY, &mut PublicContext>, mock, pre, post, block_of_change);

Parameters

NameType
state_varSharedMutable<Field
TEST_INITIAL_DELAY
&mut PublicContext>
mockOracleMock
preField
postField
block_of_changeField

test_get_current_value_in_public

test_get_current_value_in_public();

Takes no parameters.

test_get_scheduled_value_in_public

test_get_scheduled_value_in_public();

Takes no parameters.

test_get_current_delay_in_public

test_get_current_delay_in_public();

Takes no parameters.

test_get_scheduled_delay_in_public_before_change

test_get_scheduled_delay_in_public_before_change();

Takes no parameters.

test_schedule_value_change_no_delay

test_schedule_value_change_no_delay();

Takes no parameters.

test_schedule_value_change_before_change_no_scheduled_delay

test_schedule_value_change_before_change_no_scheduled_delay();

Takes no parameters.

test_schedule_value_change_before_change_scheduled_delay

test_schedule_value_change_before_change_scheduled_delay();

Takes no parameters.

test_schedule_value_change_after_change_no_scheduled_delay

test_schedule_value_change_after_change_no_scheduled_delay();

Takes no parameters.

test_schedule_value_change_after_change_scheduled_delay

test_schedule_value_change_after_change_scheduled_delay();

Takes no parameters.

test_schedule_delay_increase_before_change

test_schedule_delay_increase_before_change();

Takes no parameters.

test_schedule_delay_reduction_before_change

test_schedule_delay_reduction_before_change();

Takes no parameters.

test_schedule_delay_increase_after_change

test_schedule_delay_increase_after_change();

Takes no parameters.

test_schedule_delay_reduction_after_change

test_schedule_delay_reduction_after_change();

Takes no parameters.

test_get_current_value_in_private_before_change

test_get_current_value_in_private_before_change();

Takes no parameters.