FilesExpand file tree

develop

/

samples

/

Copy path

Directory actions

More options

More options

Directory actions

More options

More options

Latest commit

 

History

History

History

 

 

develop

/

samples

/

Copy path

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
SimpleStorage.sol		SimpleStorage.sol
SimpleStorage.vm.json		SimpleStorage.vm.json
addressCase.instrumented.sol		addressCase.instrumented.sol
addressCase.sol		addressCase.sol
annotation_multiline2_syntax_error.invalid.sol		annotation_multiline2_syntax_error.invalid.sol
annotation_multiline_syntax_error.invalid.sol		annotation_multiline_syntax_error.invalid.sol
annotation_sem_error.sol		annotation_sem_error.sol
annotation_syntax_error.invalid.sol		annotation_syntax_error.invalid.sol
annotation_type_error.sol		annotation_type_error.sol
calldata_parameters.instrumented.positive.vm.json		calldata_parameters.instrumented.positive.vm.json
calldata_parameters.positive.vm.json		calldata_parameters.positive.vm.json
calldata_parameters.pre_0.6.9.instrumented.sol		calldata_parameters.pre_0.6.9.instrumented.sol
calldata_parameters.pre_0.6.9.sol		calldata_parameters.pre_0.6.9.sol
calldata_paramteres.instrumented.sol		calldata_paramteres.instrumented.sol
calldata_paramteres.sol		calldata_paramteres.sol
cha.sol		cha.sol
contract_decorated_ext_call.instrumented.sol		contract_decorated_ext_call.instrumented.sol
contract_decorated_ext_call.sol		contract_decorated_ext_call.sol
contract_decorated_ext_callv05.instrumented.sol		contract_decorated_ext_callv05.instrumented.sol
contract_decorated_ext_callv05.sol		contract_decorated_ext_callv05.sol
contract_pos.instrumented.negative.vm.json		contract_pos.instrumented.negative.vm.json
contract_pos.instrumented.positive.vm.json		contract_pos.instrumented.positive.vm.json
contract_pos.instrumented.sol		contract_pos.instrumented.sol
contract_pos.negative.vm.json		contract_pos.negative.vm.json
contract_pos.positive.vm.json		contract_pos.positive.vm.json
contract_pos.sol		contract_pos.sol
contract_pos_constructor_fail.instrumented.negative.vm.json		contract_pos_constructor_fail.instrumented.negative.vm.json
contract_pos_constructor_fail.instrumented.sol		contract_pos_constructor_fail.instrumented.sol
contract_pos_constructor_fail.negative.vm.json		contract_pos_constructor_fail.negative.vm.json
contract_pos_constructor_fail.sol		contract_pos_constructor_fail.sol
contract_pos_ext_call_fail.instrumented.negative.vm.json		contract_pos_ext_call_fail.instrumented.negative.vm.json
contract_pos_ext_call_fail.instrumented.sol		contract_pos_ext_call_fail.instrumented.sol
contract_pos_ext_call_fail.negative.vm.json		contract_pos_ext_call_fail.negative.vm.json
contract_pos_ext_call_fail.sol		contract_pos_ext_call_fail.sol
contract_pos_library_interface.instrumented.negative.vm.json		contract_pos_library_interface.instrumented.negative.vm.json
contract_pos_library_interface.instrumented.positive.vm.json.disabled		contract_pos_library_interface.instrumented.positive.vm.json.disabled
contract_pos_library_interface.instrumented.sol		contract_pos_library_interface.instrumented.sol
contract_pos_library_interface.negative.vm.json		contract_pos_library_interface.negative.vm.json
contract_pos_library_interface.positive.vm.json		contract_pos_library_interface.positive.vm.json
contract_pos_library_interface.sol		contract_pos_library_interface.sol
crashingAnnotation.instrumented.sol		crashingAnnotation.instrumented.sol
crashingAnnotation.sol		crashingAnnotation.sol
example_valentin.instrumented.sol		example_valentin.instrumented.sol
example_valentin.sol		example_valentin.sol
example_valentin.vm.json		example_valentin.vm.json
file_level_fn_and_var.instrumented.sol		file_level_fn_and_var.instrumented.sol
file_level_fn_and_var.sol		file_level_fn_and_var.sol
filtering.sol		filtering.sol
if_succeeds_on_contract.invalid.sol		if_succeeds_on_contract.invalid.sol
if_succeeds_on_free_function.invalid.sol		if_succeeds_on_free_function.invalid.sol
increment.instrumented.positive.vm.json		increment.instrumented.positive.vm.json
increment.instrumented.sol		increment.instrumented.sol
increment.positive.vm.json		increment.positive.vm.json
increment.sol		increment.sol
increment_inherited.instrumented.positive.vm.json		increment_inherited.instrumented.positive.vm.json
increment_inherited.instrumented.sol		increment_inherited.instrumented.sol
increment_inherited.positive.vm.json		increment_inherited.positive.vm.json
increment_inherited.sol		increment_inherited.sol
increment_inherited2.instrumented.negative.vm.json		increment_inherited2.instrumented.negative.vm.json
increment_inherited2.instrumented.positive.vm.json		increment_inherited2.instrumented.positive.vm.json
increment_inherited2.instrumented.sol		increment_inherited2.instrumented.sol
increment_inherited2.negative.vm.json		increment_inherited2.negative.vm.json
increment_inherited2.positive.vm.json		increment_inherited2.positive.vm.json
increment_inherited2.sol		increment_inherited2.sol
increment_inherited3.instrumented.negative.vm.json		increment_inherited3.instrumented.negative.vm.json
increment_inherited3.instrumented.positive.vm.json		increment_inherited3.instrumented.positive.vm.json
increment_inherited3.instrumented.sol		increment_inherited3.instrumented.sol
increment_inherited3.negative.vm.json		increment_inherited3.negative.vm.json
increment_inherited3.positive.vm.json		increment_inherited3.positive.vm.json
increment_inherited3.sol		increment_inherited3.sol
increment_inherited3_v06.instrumented.negative.vm.json		increment_inherited3_v06.instrumented.negative.vm.json
increment_inherited3_v06.instrumented.positive.vm.json		increment_inherited3_v06.instrumented.positive.vm.json
increment_inherited3_v06.instrumented.sol		increment_inherited3_v06.instrumented.sol
increment_inherited3_v06.negative.vm.json		increment_inherited3_v06.negative.vm.json
increment_inherited3_v06.positive.vm.json		increment_inherited3_v06.positive.vm.json
increment_inherited3_v06.sol		increment_inherited3_v06.sol
increment_inherited4.instrumented.negative.vm.json		increment_inherited4.instrumented.negative.vm.json
increment_inherited4.instrumented.sol		increment_inherited4.instrumented.sol
increment_inherited4.negative.vm.json		increment_inherited4.negative.vm.json
increment_inherited4.sol		increment_inherited4.sol
increment_inherited_collision.instrumented.positive.vm.json		increment_inherited_collision.instrumented.positive.vm.json
increment_inherited_collision.instrumented.sol		increment_inherited_collision.instrumented.sol
increment_inherited_collision.positive.vm.json		increment_inherited_collision.positive.vm.json
increment_inherited_collision.sol		increment_inherited_collision.sol
increment_inheritedv6.instrumented.positive.vm.json		increment_inheritedv6.instrumented.positive.vm.json
increment_inheritedv6.instrumented.sol		increment_inheritedv6.instrumented.sol
increment_inheritedv6.positive.vm.json		increment_inheritedv6.positive.vm.json
increment_inheritedv6.sol		increment_inheritedv6.sol
increment_multiline.instrumented.sol		increment_multiline.instrumented.sol
increment_multiline.sol		increment_multiline.sol
invariant_on_function.invalid.sol		invariant_on_function.invalid.sol
mapIdx.instrumented.sol		mapIdx.instrumented.sol
mapIdx.sol		mapIdx.sol
memoryCast.instrumented.sol		memoryCast.instrumented.sol
memoryCast.sol		memoryCast.sol
missing_terminator_semicolon.invalid.sol		missing_terminator_semicolon.invalid.sol
mutability1.instrumented.sol		mutability1.instrumented.sol
mutability1.sol		mutability1.sol
mutability2.instrumented.sol		mutability2.instrumented.sol
mutability2.sol		mutability2.sol
View all files