debug test

runtimeverification · Jan 14, 2022 · d812132 · d812132
1 parent edc98ec
commit d812132
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 3 deletions.
diff --git a/libsolidity/ast/Types.cpp b/libsolidity/ast/Types.cpp
@@ -267,6 +267,10 @@ MemberList const& Type::members(ASTNode const* _currentScope) const
 			members += boundFunctions(*this, *_currentScope);
 		m_members[_currentScope] = make_unique<MemberList>(move(members));
 	}
+if (const auto *Contract = dynamic_cast<const ContractDefinition *>(_currentScope)) {
+for (auto m : *m_members[_currentScope])
+std::cerr << "AAAAAAAAAAAAAA " << Contract->name() << " : " << m.name << "\n";
+}
 	return *m_members[_currentScope];
 }
 

diff --git a/test/failing-tests b/test/failing-tests
@@ -2,6 +2,7 @@ test/compilationTests/milestonetracker
 test/compilationTests/MultiSigWallet
 test/compilationTests/stringutils
 test/compilationTests/gnosis
+test_3da9d1a170d98fce459fc6643dcfdd13b9a2bdc191a0a7f0a2f8c5f585fa4c80_v1_call_to_v2_library_bound_function_returning_struct_sol.sol
 test_006f41af6a558eeee1e5ba55196da1aea6507b78937b6f3cbcaa849307abf3d3_conditional_return_uninitialized_sol.sol
 test_007047dc117d779f926575529169ed8796204783031f42ed271f9511ea58deb7_scoping_activation_old_sol.sol
 test_007047dc117d779f926575529169ed8796204783031f42ed271f9511ea58deb7_scoping_activation_sol.sol

diff --git a/...solidity/syntaxTests/abiEncoder/v1_call_to_v2_library_bound_function_returning_struct.sol b/...solidity/syntaxTests/abiEncoder/v1_call_to_v2_library_bound_function_returning_struct.sol
@@ -12,12 +12,12 @@ library L {
 pragma abicoder v1;
 import "A";
 
-contract D {
+contract Dadada {
     using L for uint;
 
     function test() public {
         uint(1).f();
     }
 }
 // ----
-// TypeError 2428: (B:106-117): The type of return parameter 1, struct L.Item, is only supported in ABI coder v2. Use "pragma abicoder v2;" to enable the feature.
+// TypeError 2428: (B:111-122): The type of return parameter 1, struct L.Item, is only supported in ABI coder v2. Use "pragma abicoder v2;" to enable the feature.
diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/254_using_for_function_on_int.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/254_using_for_function_on_int.sol
@@ -1,5 +1,5 @@
 library D { function double(uint self) public returns (uint) { return 2*self; } }
-contract C {
+contract Cacaca {
     using D for uint;
     function f(uint a) public returns (uint) {
         return a.double();