Module Expr Str Import alias Import alias identifier Import alias identifier Import alias Import alias identifier ClassDef bases AttributeLoad AttributeLoad AttributeLoad NameLoad attr attr attr body Expr Str Assign NameStore ListLoad Str FunctionDef arguments args NameParam defaults body Return Call AttributeLoad NameLoad attr Str decorator_list FunctionDef arguments args NameParam NameParam defaults body Return Call AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return Str decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam NameParam defaults body If CompareNotIn Str NameLoad body Assign NameStore BinOpAdd NameLoad ListLoad Str Assign AttributeStore NameLoad attr NameLoad Return BinOpAdd BinOpAdd ListLoad NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam defaults body FunctionDef arguments args NameParam defaults body Return Call AttributeLoad Call AttributeLoad NameLoad attr Str Str attr Str Str decorator_list If BoolOpAnd CompareEq NameLoad Num BoolOpOr CompareEq NameLoad Num CompareEq NameLoad Num body TryExcept body Assign NameStore Call AttributeLoad NameLoad attr Call NameLoad NameLoad NameLoad Assign NameStore Call AttributeLoad NameLoad attr Str If CompareIs NameLoad NameLoad body FunctionDef arguments args NameParam defaults body Return CompareEq Call AttributeLoad NameLoad attr Str NameLoad Str decorator_list Assign NameStore Call NameLoad Call NameLoad NameLoad Call AttributeLoad NameLoad attr Str If NameLoad body Assign NameStore Call AttributeLoad SubscriptLoad NameLoad Index Num attr Str If CompareEq NameLoad Str body Assign NameStore Str orelse If NameLoad body Assign NameStore Call AttributeLoad Str attr NameLoad orelse Assign NameStore Str orelse Assign NameStore Str orelse If CompareEq NameLoad Str body Assert CompareEq NameLoad Num Assign NameStore Call AttributeLoad Call AttributeLoad Call AttributeLoad NameLoad attr Str attr Str attr Str If UnaryOpNot NameLoad body Assign NameStore Call AttributeLoad Call AttributeLoad Call AttributeLoad NameLoad attr Str attr Str attr Str If CompareIn Str NameLoad body Assign NameStore AttributeLoad NameLoad attr orelse Assign NameStore AttributeLoad NameLoad attr orelse If CompareEq NameLoad Str body Assert CompareEq NameLoad Num If CompareIn Str AttributeLoad NameLoad attr body Assign NameStore AttributeLoad NameLoad attr orelse Assign NameStore AttributeLoad NameLoad attr handlers ExceptHandler type NameLoad body If NameLoad body Assign NameStore Str orelse If CompareIn Str NameLoad body Assign NameStore Str orelse Assign NameStore Str Expr Call AttributeLoad NameLoad attr Str NameLoad orelse If BoolOpAnd CompareEq NameLoad Num CompareIn Str NameLoad body Assign NameStore Str orelse Assign NameStore AttributeLoad NameLoad attr 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 logging N/A xml.etree.ElementTree ET 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 
    Tool info for impara (https://github.com/bjowac/impara).
    It always adds --xml-ui to the command-line arguments for easier parsing of the output.
     N/A REQUIRED_PATHS N/A impara executable N/A N/A self N/A N/A N/A N/A N/A util find_executable impara N/A version N/A N/A self executable N/A N/A N/A N/A N/A self _version_from_tool executable N/A name N/A N/A self N/A N/A N/A impara N/A cmdline N/A N/A self executable options tasks propertyfile rlimits N/A N/A N/A N/A --xml-ui options N/A N/A options N/A options N/A --xml-ui N/A N/A self options options N/A N/A N/A N/A executable options tasks N/A determine_result N/A N/A self returncode returnsignal output isTimeout N/A N/A sanitizeXML N/A N/A s N/A N/A N/A N/A N/A N/A N/A s replace <> <emptyTag> replace </> </emptyTag> N/A N/A N/A N/A returnsignal 0 N/A N/A returncode 0 N/A returncode 10 N/A N/A N/A N/A tree N/A N/A ET fromstringlist N/A map sanitizeXML output N/A status N/A N/A tree findtext cprover-status N/A N/A status None N/A isErrorMessage N/A N/A msg N/A N/A N/A N/A N/A N/A msg get type None ERROR N/A N/A messages N/A list N/A filter isErrorMessage N/A N/A tree getiterator message N/A messages N/A N/A msg N/A N/A N/A messages N/A 0 findtext text N/A N/A msg Out of memory N/A N/A status OUT OF MEMORY N/A N/A msg N/A N/A status N/A N/A ERROR ({0}) format msg N/A N/A status ERROR N/A N/A status INVALID OUTPUT N/A N/A N/A status FAILURE N/A N/A N/A returncode 10 N/A reason N/A N/A N/A N/A N/A N/A tree find goto_trace find failure findtext reason N/A N/A reason N/A N/A reason N/A N/A N/A N/A N/A N/A tree find goto_trace find failure get reason N/A N/A unwinding assertion reason N/A N/A status N/A result RESULT_UNKNOWN N/A N/A status N/A result RESULT_FALSE_REACH N/A N/A N/A status SUCCESS N/A N/A N/A returncode 0 N/A N/A --no-unwinding-assertions N/A self options N/A N/A status N/A result RESULT_UNKNOWN N/A N/A status N/A result RESULT_TRUE_PROP N/A N/A N/A Exception N/A N/A isTimeout N/A N/A status TIMEOUT N/A N/A N/A Minisat::OutOfMemoryException output N/A N/A status OUT OF MEMORY N/A N/A status INVALID OUTPUT N/A N/A N/A logging exception Error parsing impara output for returncode %d returncode N/A N/A N/A N/A returncode 64 N/A Usage error! output N/A N/A status INVALID ARGUMENTS N/A N/A status N/A result RESULT_ERROR N/A status N/A N/A