utils

Documentation

Index

• func BinTestByType(contract *compilationTypes.CompiledContract, ...) (assertionTests, propertyTests, optimizationTests []abi.Method)
• func IsOptimizationTest(method abi.Method, prefixes []string) bool
• func IsPropertyTest(method abi.Method, prefixes []string) bool

Functions

func BinTestByType

func BinTestByType(contract *compilationTypes.CompiledContract, propertyTestPrefixes, optimizationTestPrefixes []string, testViewMethods bool) (assertionTests, propertyTests, optimizationTests []abi.Method)

BinTestByType sorts a contract's methods by whether they are assertion, property, or optimization tests.

func IsOptimizationTest

func IsOptimizationTest(method abi.Method, prefixes []string) bool

IsOptimizationTest checks whether the method is an optimization test given potential naming prefixes it must conform to and its underlying input/output arguments.

func IsPropertyTest

func IsPropertyTest(method abi.Method, prefixes []string) bool

IsPropertyTest checks whether the method is a property test given potential naming prefixes it must conform to and its underlying input/output arguments.