#NEWLINE# def cmdline( self , executable , options , tasks , propertyfile = None , rlimits = { #NEWLINE# #INDENT# #NEWLINE# #UNINDENT# } ) : #NEWLINE# #INDENT# '\n        Allows us to define special actions to be taken or command line argument\n        modifications to make just before calling SMACK.\n        ' #NEWLINE# assert ( len ( tasks ) == 1 ) #NEWLINE# assert ( propertyfile is not None ) #NEWLINE# prop = [ '--svcomp-property' , propertyfile ] #NEWLINE# return ( ( ( [ executable ] + options ) + prop ) + tasks )