Unit Test Path Fixes (#136)

unpackdev · Nov 14, 2023 · 5914c2e · 5914c2e
1 parent f254b1b
commit 5914c2e
Show file tree

Hide file tree

Showing 171 changed files with 464 additions and 464 deletions.
diff --git a/ast/sources_test.go b/ast/sources_test.go
diff --git a/data/solc/releases/releases.json b/data/solc/releases/releases.json
diff --git a/data/tests/audits/ERC20.slither.raw.json b/data/tests/audits/ERC20.slither.raw.json
diff --git a/data/tests/audits/Lottery.slither.raw.json b/data/tests/audits/Lottery.slither.raw.json
diff --git a/data/tests/audits/SimpleStorage.slither.raw.json b/data/tests/audits/SimpleStorage.slither.raw.json
diff --git a/data/tests/audits/TokenSale.slither.raw.json b/data/tests/audits/TokenSale.slither.raw.json
diff --git a/data/tests/audits/TransparentUpgradeableProxy.slither.raw.json b/data/tests/audits/TransparentUpgradeableProxy.slither.raw.json
diff --git a/data/tests/audits/VulnerableBank.slither.raw.json b/data/tests/audits/VulnerableBank.slither.raw.json
diff --git a/...ests/contracts/0x7C3a812bBfC759bf85097211253e63f9e5F49439/ItemsMarketplace.solgo.ast.json b/...ests/contracts/0x7C3a812bBfC759bf85097211253e63f9e5F49439/ItemsMarketplace.solgo.ast.json
@@ -12061,10 +12061,10 @@
 												},
 												"member_name": "get",
 												"argument_types": [],
-												"referenced_declaration": 526,
+												"referenced_declaration": 755,
 												"type_description": {
-													"type_identifier": "t_contract$_IterableMapping_$1132",
-													"type_string": "contract IterableMapping"
+													"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$",
+													"type_string": "function(struct IterableMapping.Map,uint128)"
 												}
 											},
 											"type_description": {
@@ -12707,7 +12707,7 @@
 												},
 												"member_name": "get",
 												"argument_types": [],
-												"referenced_declaration": 1171,
+												"referenced_declaration": 526,
 												"type_description": {
 													"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$",
 													"type_string": "function(struct IterableMapping.Map,uint128)"
@@ -16139,8 +16139,8 @@
 												"argument_types": [],
 												"referenced_declaration": 526,
 												"type_description": {
-													"type_identifier": "t_contract$_IterableMapping_$1132",
-													"type_string": "contract IterableMapping"
+													"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$",
+													"type_string": "function(struct IterableMapping.Map,uint128)"
 												}
 											},
 											"type_description": {
@@ -16852,10 +16852,10 @@
 											},
 											"member_name": "set",
 											"argument_types": [],
-											"referenced_declaration": 739,
+											"referenced_declaration": 1223,
 											"type_description": {
-												"type_identifier": "t_contract$_IterableMapping_$1132",
-												"type_string": "contract IterableMapping"
+												"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$_t_struct$_IterableMapping_Order_$1141$",
+												"type_string": "function(struct IterableMapping.Map,uint128,struct IterableMapping.Order)"
 											}
 										},
 										"type_description": {
@@ -17196,10 +17196,10 @@
 												},
 												"member_name": "get",
 												"argument_types": [],
-												"referenced_declaration": 526,
+												"referenced_declaration": 1056,
 												"type_description": {
-													"type_identifier": "t_contract$_IterableMapping_$1132",
-													"type_string": "contract IterableMapping"
+													"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$",
+													"type_string": "function(struct IterableMapping.Map,uint128)"
 												}
 											},
 											"type_description": {
@@ -17490,7 +17490,7 @@
 											},
 											"member_name": "remove",
 											"argument_types": [],
-											"referenced_declaration": 767,
+											"referenced_declaration": 680,
 											"type_description": {
 												"type_identifier": "t_contract$_IterableMapping_$1132",
 												"type_string": "contract IterableMapping"
@@ -17710,7 +17710,7 @@
 											},
 											"member_name": "remove",
 											"argument_types": [],
-											"referenced_declaration": 767,
+											"referenced_declaration": 680,
 											"type_description": {
 												"type_identifier": "t_contract$_IterableMapping_$1132",
 												"type_string": "contract IterableMapping"
@@ -17996,8 +17996,8 @@
 												"argument_types": [],
 												"referenced_declaration": 886,
 												"type_description": {
-													"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$",
-													"type_string": "function(struct IterableMapping.Map)"
+													"type_identifier": "t_contract$_IterableMapping_$1132",
+													"type_string": "contract IterableMapping"
 												}
 											},
 											"type_description": {
@@ -18361,10 +18361,10 @@
 															},
 															"member_name": "getKeyAtIndex",
 															"argument_types": [],
-															"referenced_declaration": 811,
+															"referenced_declaration": 916,
 															"type_description": {
-																"type_identifier": "t_contract$_IterableMapping_$1132",
-																"type_string": "contract IterableMapping"
+																"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint32$",
+																"type_string": "function(struct IterableMapping.Map,uint32)"
 															}
 														},
 														"type_description": {
@@ -18539,10 +18539,10 @@
 															},
 															"member_name": "get",
 															"argument_types": [],
-															"referenced_declaration": 526,
+															"referenced_declaration": 755,
 															"type_description": {
-																"type_identifier": "t_contract$_IterableMapping_$1132",
-																"type_string": "contract IterableMapping"
+																"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$",
+																"type_string": "function(struct IterableMapping.Map,uint128)"
 															}
 														},
 														"type_description": {
@@ -18857,7 +18857,7 @@
 																	},
 																	"member_name": "remove",
 																	"argument_types": [],
-																	"referenced_declaration": 680,
+																	"referenced_declaration": 868,
 																	"type_description": {
 																		"type_identifier": "t_contract$_IterableMapping_$1132",
 																		"type_string": "contract IterableMapping"
@@ -19104,8 +19104,8 @@
 												"argument_types": [],
 												"referenced_declaration": 794,
 												"type_description": {
-													"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$",
-													"type_string": "function(struct IterableMapping.Map)"
+													"type_identifier": "t_contract$_IterableMapping_$1132",
+													"type_string": "contract IterableMapping"
 												}
 											},
 											"type_description": {
@@ -19471,8 +19471,8 @@
 															"argument_types": [],
 															"referenced_declaration": 811,
 															"type_description": {
-																"type_identifier": "t_contract$_IterableMapping_$1132",
-																"type_string": "contract IterableMapping"
+																"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint32$",
+																"type_string": "function(struct IterableMapping.Map,uint32)"
 															}
 														},
 														"type_description": {
@@ -19808,10 +19808,10 @@
 												},
 												"member_name": "size",
 												"argument_types": [],
-												"referenced_declaration": 1206,
+												"referenced_declaration": 794,
 												"type_description": {
-													"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$",
-													"type_string": "function(struct IterableMapping.Map)"
+													"type_identifier": "t_contract$_IterableMapping_$1132",
+													"type_string": "contract IterableMapping"
 												}
 											},
 											"type_description": {
@@ -20428,10 +20428,10 @@
 															},
 															"member_name": "getKeyAtIndex",
 															"argument_types": [],
-															"referenced_declaration": 811,
+															"referenced_declaration": 1189,
 															"type_description": {
-																"type_identifier": "t_contract$_IterableMapping_$1132",
-																"type_string": "contract IterableMapping"
+																"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint32$",
+																"type_string": "function(struct IterableMapping.Map,uint32)"
 															}
 														},
 														"type_description": {
@@ -20608,8 +20608,8 @@
 															"argument_types": [],
 															"referenced_declaration": 526,
 															"type_description": {
-																"type_identifier": "t_contract$_IterableMapping_$1132",
-																"type_string": "contract IterableMapping"
+																"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$",
+																"type_string": "function(struct IterableMapping.Map,uint128)"
 															}
 														},
 														"type_description": {
@@ -20914,15 +20914,18 @@
 																			"is_pure": false
 																		},
 																		"type_descriptions": [
-																			null,
+																			{
+																				"type_identifier": "t_struct$_IterableMapping_Order_$1141",
+																				"type_string": "struct IterableMapping.Order"
+																			},
 																			{
 																				"type_identifier": "t_uint32",
 																				"type_string": "uint32"
 																			}
 																		],
 																		"type_description": {
-																			"type_identifier": "t_[_[$_t_unknown]$_t_uint32]$",
-																			"type_string": "index[unknown:uint32]"
+																			"type_identifier": "t_[_[$_t_struct$_IterableMapping_Order_$1141]$_t_uint32]$",
+																			"type_string": "index[struct IterableMapping.Order:uint32]"
 																		}
 																	},
 																	"right_expression": {
@@ -21436,8 +21439,8 @@
 												"argument_types": [],
 												"referenced_declaration": 794,
 												"type_description": {
-													"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$",
-													"type_string": "function(struct IterableMapping.Map)"
+													"type_identifier": "t_contract$_IterableMapping_$1132",
+													"type_string": "contract IterableMapping"
 												}
 											},
 											"type_description": {
@@ -22056,8 +22059,8 @@
 															"argument_types": [],
 															"referenced_declaration": 811,
 															"type_description": {
-																"type_identifier": "t_contract$_IterableMapping_$1132",
-																"type_string": "contract IterableMapping"
+																"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint32$",
+																"type_string": "function(struct IterableMapping.Map,uint32)"
 															}
 														},
 														"type_description": {
@@ -22234,8 +22237,8 @@
 															"argument_types": [],
 															"referenced_declaration": 526,
 															"type_description": {
-																"type_identifier": "t_contract$_IterableMapping_$1132",
-																"type_string": "contract IterableMapping"
+																"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$",
+																"type_string": "function(struct IterableMapping.Map,uint128)"
 															}
 														},
 														"type_description": {
@@ -22623,18 +22626,15 @@
 																			"is_pure": false
 																		},
 																		"type_descriptions": [
-																			{
-																				"type_identifier": "t_struct$_IterableMapping_Order_$1141",
-																				"type_string": "struct IterableMapping.Order"
-																			},
+																			null,
 																			{
 																				"type_identifier": "t_uint32",
 																				"type_string": "uint32"
 																			}
 																		],
 																		"type_description": {
-																			"type_identifier": "t_[_[$_t_struct$_IterableMapping_Order_$1141]$_t_uint32]$",
-																			"type_string": "index[struct IterableMapping.Order:uint32]"
+																			"type_identifier": "t_[_[$_t_unknown]$_t_uint32]$",
+																			"type_string": "index[unknown:uint32]"
 																		}
 																	},
 																	"right_expression": {
@@ -23187,10 +23187,10 @@
 												},
 												"member_name": "get",
 												"argument_types": [],
-												"referenced_declaration": 526,
+												"referenced_declaration": 1171,
 												"type_description": {
-													"type_identifier": "t_contract$_IterableMapping_$1132",
-													"type_string": "contract IterableMapping"
+													"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$",
+													"type_string": "function(struct IterableMapping.Map,uint128)"
 												}
 											},
 											"type_description": {