Module Expr Str Import alias Import alias identifier Import alias Import alias identifier ClassDef bases AttributeLoad AttributeLoad AttributeLoad NameLoad attr attr attr body Expr Str Assign NameStore ListLoad Str Str Str Str FunctionDef arguments args NameParam defaults body Return Call AttributeLoad NameLoad attr Str decorator_list FunctionDef arguments args NameParam NameParam defaults body Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Return Dict Str Dict Str Str decorator_list FunctionDef arguments args NameParam NameParam defaults body Return Call AttributeLoad NameLoad attr NameLoad Str decorator_list FunctionDef arguments args NameParam defaults body Return Str decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam NameParam defaults body Assert CompareEq Call NameLoad NameLoad Num Str Assign NameStore SubscriptLoad NameLoad Index Num Return BinOpAdd BinOpAdd BinOpAdd ListLoad NameLoad ListLoad Str NameLoad NameLoad ListLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam defaults body Assign NameStore Call AttributeLoad Str attr NameLoad Assign NameStore AttributeLoad NameLoad attr If Call AttributeLoad NameLoad attr ListLoad Str NameLoad body Assign NameStore AttributeLoad NameLoad attr orelse If Call AttributeLoad NameLoad attr ListLoad Str NameLoad body Assign NameStore AttributeLoad NameLoad attr orelse If Call AttributeLoad NameLoad attr ListLoad Str NameLoad body Assign NameStore AttributeLoad NameLoad attr orelse If Call AttributeLoad NameLoad attr ListLoad Str NameLoad body Assign NameStore AttributeLoad NameLoad attr orelse If Call AttributeLoad NameLoad attr ListLoad Str NameLoad body Assign NameStore AttributeLoad NameLoad attr orelse If CompareIn Str NameLoad body Assign NameStore AttributeLoad NameLoad attr If CompareEq NameLoad AttributeLoad NameLoad attr body If NameLoad body Assign NameStore Str orelse If Call AttributeLoad NameLoad attr TupleLoad Str Str body Assign NameStore Str orelse If Call AttributeLoad NameLoad attr TupleLoad Str Str body Assign NameStore Str orelse If CompareIn Str NameLoad body Assign NameStore Str Return NameLoad decorator_list Expr Str FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str Assign NameStore Num For NameStore NameLoad body Assign NameStore Call AttributeLoad SubscriptLoad NameLoad Slice NameLoad attr NameLoad If CompareEq NameLoad Num body Return NameLoad Return NameLoad decorator_list decorator_list
N/A N/A 
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.

Copyright (C) 2007-2015  Dirk Beyer
All rights reserved.

Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
 N/A os N/A benchexec.util util N/A benchexec.tools.template N/A benchexec.result result Tool N/A N/A N/A N/A benchexec tools template BaseTool N/A N/A 
    This class serves as tool adaptor for ESBMC (http://www.esbmc.org/)
     N/A REQUIRED_PATHS N/A cpachecker esbmc esbmc.sh tokenizer executable N/A N/A self N/A N/A N/A N/A N/A util find_executable esbmc.sh N/A working_directory N/A N/A self executable N/A N/A N/A executableDir N/A N/A N/A os path dirname executable N/A executableDir N/A environment N/A N/A self executable N/A N/A N/A N/A additionalEnv N/A PATH :. N/A version N/A N/A self executable N/A N/A N/A N/A N/A self _version_from_tool executable -v N/A name N/A N/A self N/A N/A N/A ESBMC N/A cmdline N/A N/A self executable options tasks propertyfile rlimits N/A N/A N/A N/A N/A len tasks 1 only one inputfile supported N/A inputfile N/A tasks N/A 0 N/A N/A N/A N/A N/A executable N/A -c propertyfile options N/A inputfile N/A determine_result N/A N/A self returncode returnsignal output isTimeout N/A N/A N/A output N/A N/A join output N/A status N/A result RESULT_UNKNOWN N/A N/A N/A self allInText N/A FALSE_DEREF output N/A N/A status N/A result RESULT_FALSE_DEREF N/A N/A N/A N/A self allInText N/A FALSE_FREE output N/A N/A status N/A result RESULT_FALSE_FREE N/A N/A N/A N/A self allInText N/A FALSE_MEMTRACK output N/A N/A status N/A result RESULT_FALSE_MEMTRACK N/A N/A N/A N/A self allInText N/A FALSE_OVERFLOW output N/A N/A status N/A result RESULT_FALSE_OVERFLOW N/A N/A N/A N/A self allInText N/A FALSE output N/A N/A status N/A result RESULT_FALSE_REACH N/A N/A N/A TRUE output N/A N/A status N/A result RESULT_TRUE_PROP N/A N/A status N/A result RESULT_UNKNOWN N/A N/A isTimeout N/A N/A status TIMEOUT N/A N/A N/A N/A output endswith N/A Z3 Error 9 Z3 Error 9
 N/A N/A status ERROR (Z3 Error 9) N/A N/A N/A N/A output endswith N/A error error
 N/A N/A status ERROR N/A N/A N/A Encountered Z3 conversion error: output N/A N/A status ERROR (Z3 conversion error) N/A status N/A N/A  helper method  allInText N/A N/A self words text N/A N/A N/A 
        This function checks, if all the words appear in the given order in the text.
         N/A index 0 N/A word words N/A N/A index N/A N/A N/A text N/A index find word N/A N/A index -1 N/A N/A False N/A True N/A N/A