Reference to address(this)

CVL Support
1

How do I write address(this) in a spec file… referring to the address of the contract itself

1 Like
2

currentContract

example:

invariant totalSupply_LE_balance()
	    totalSupply() <= underlying.balanceOf(currentContract)
1 Like