Error: Atom's argument type is not a subtype of its declared type in file locked-ether.dl at line 15
contractCompliance(contract, matchComment) :-
-----------------------^---------------------------
The argument's declared type is Contract in file abstract-contract-pattern.dl at line 26
.decl contractCompliance(contract: Contract, comment: MatchComment)
------------------------------------^---------------------------------
Warning: Variable argInContext only occurs once in file pass.dl at line 27
ctxProvider.elementInContext(argInContext, argument, context),
-------------------------------------^----------------------------------
Error: Atom's argument type is not a subtype of its declared type in file timestamp.dl at line 53
existsBlockTimestamp(timestampSSA, blockTimestampLine):-
---------------------------------------^----------------------
The argument's declared type is Element in file timestamp.dl at line 52
.decl existsBlockTimestamp(blockTimestamp: Element, blockTimestampLine: Element)
----------------------------------------------------------------------------^---------
Error: Atom's argument type is not a subtype of its declared type in file tx-origin.dl at line 37
callInfo(call, matchInfo, matchComment) :-
-------------^----------------------------------
The argument's declared type is Transfer in file tx-origin.dl at line 36
.decl callInfo(call: Transfer, matchInfo: symbol, matchComment: symbol)
-------------------------^---------------------------------------------------
Warning: Variable valueCtx only occurs once in file unrestricted-ether-flow.dl at line 38
ctxProvider.elementInContext(valueCtx, value, context),
-------------------------------------^---------------------------
Warning: Variable thisBlock only occurs once in file unused-return.dl at line 11
externalJump(thisBlock, otherBlock, returnBlock),
---------------------^-------------------------------------
Warning: Deprecated type declaration used in file util-sets.dl at line 5
.symbol_type Set
-^-----------------
Warning: Variable _c marked as singleton but occurs more than once in file semantics.dl at line 23
criticalUsageAt(val, call) :- externalCall(c), callValue(c, v), SAME_CTX(val, call, v, c).
Warning: Variable _c marked as singleton but occurs more than once in file semantics.dl at line 24
criticalUsageAt(gas, call) :- externalCall(c), callGas(c, g), SAME_CTX(gas, call, g, c).
Warning: Variable _c marked as singleton but occurs more than once in file semantics.dl at line 27
SAME_CTX(arg, call, a, c).
Warning: Variable _c marked as singleton but occurs more than once in file semantics.dl at line 31
SAME_CTX(arg, ret, a, r).
Warning: Variable _c marked as singleton but occurs more than once in file semantics.dl at line 33
criticalUsageAt(value, store) :- storageMutation(s, v), SAME_CTX(value, store, v, s).
Error: Atom's argument type is not a subtype of its declared type in file trusted-variable.dl at line 29
trustedPredecessors(node, SET_ADD(set, [pred])) :-
-------------------------------^------------------------
The argument's declared type is Set in file trusted-variable.dl at line 12
.decl trustedPredecessors(node: data.Node, preds: Set)
------------------------------------------------------^-----
Error: Ambiguous record in file trusted-variable.dl at line 29
trustedPredecessors(node, SET_ADD(set, [pred])) :-
---------------------------------------------^----------
Warning: No rules/facts defined for relation warnings in file util-debug.dl at line 5
.decl warnings(error: symbol)
------^------------------------
5 errors generated, evaluation aborted
Error: Atom's argument type is not a subtype of its declared type in file locked-ether.dl at line 15 contractCompliance(contract, matchComment) :- -----------------------^--------------------------- The argument's declared type is Contract in file abstract-contract-pattern.dl at line 26 .decl contractCompliance(contract: Contract, comment: MatchComment) ------------------------------------^--------------------------------- Warning: Variable argInContext only occurs once in file pass.dl at line 27 ctxProvider.elementInContext(argInContext, argument, context), -------------------------------------^---------------------------------- Error: Atom's argument type is not a subtype of its declared type in file timestamp.dl at line 53 existsBlockTimestamp(timestampSSA, blockTimestampLine):- ---------------------------------------^---------------------- The argument's declared type is Element in file timestamp.dl at line 52 .decl existsBlockTimestamp(blockTimestamp: Element, blockTimestampLine: Element) ----------------------------------------------------------------------------^--------- Error: Atom's argument type is not a subtype of its declared type in file tx-origin.dl at line 37 callInfo(call, matchInfo, matchComment) :- -------------^---------------------------------- The argument's declared type is Transfer in file tx-origin.dl at line 36 .decl callInfo(call: Transfer, matchInfo: symbol, matchComment: symbol) -------------------------^--------------------------------------------------- Warning: Variable valueCtx only occurs once in file unrestricted-ether-flow.dl at line 38 ctxProvider.elementInContext(valueCtx, value, context), -------------------------------------^--------------------------- Warning: Variable thisBlock only occurs once in file unused-return.dl at line 11 externalJump(thisBlock, otherBlock, returnBlock), ---------------------^------------------------------------- Warning: Deprecated type declaration used in file util-sets.dl at line 5 .symbol_type Set -^----------------- Warning: Variable _c marked as singleton but occurs more than once in file semantics.dl at line 23 criticalUsageAt(val, call) :- externalCall(c), callValue(c, v), SAME_CTX(val, call, v, c).
Warning: Variable _c marked as singleton but occurs more than once in file semantics.dl at line 24 criticalUsageAt(gas, call) :- externalCall(c), callGas(c, g), SAME_CTX(gas, call, g, c).
Warning: Variable _c marked as singleton but occurs more than once in file semantics.dl at line 27 SAME_CTX(arg, call, a, c).
Warning: Variable _c marked as singleton but occurs more than once in file semantics.dl at line 31 SAME_CTX(arg, ret, a, r).
Warning: Variable _c marked as singleton but occurs more than once in file semantics.dl at line 33 criticalUsageAt(value, store) :- storageMutation(s, v), SAME_CTX(value, store, v, s).
Error: Atom's argument type is not a subtype of its declared type in file trusted-variable.dl at line 29 trustedPredecessors(node, SET_ADD(set, [pred])) :- -------------------------------^------------------------ The argument's declared type is Set in file trusted-variable.dl at line 12 .decl trustedPredecessors(node: data.Node, preds: Set) ------------------------------------------------------^----- Error: Ambiguous record in file trusted-variable.dl at line 29 trustedPredecessors(node, SET_ADD(set, [pred])) :- ---------------------------------------------^---------- Warning: No rules/facts defined for relation warnings in file util-debug.dl at line 5 .decl warnings(error: symbol) ------^------------------------ 5 errors generated, evaluation aborted