Skip to content

Why are concrete values used to check inequality? #100

Answered by pschanely
amacfie asked this question in Q&A
Discussion options

You must be logged in to vote

Hi! Agree that only one iteration should be needed. Is this the exact code you're using? When I run it, I only get one iteration:

|  |check() Check  main
|      |analyze_function() Analyzing  f
|       |condition_parser() Using parsers:  (<AnalysisKind.PEP316: 'PEP316'>, <AnalysisKind.icontract: 'icontract'>, <AnalysisKind.asserts: 'asserts'>)
|    |analyze() Analyzing postcondition: " x < __return__ "
|    |analyze() assuming preconditions:  
|     |condition_parser() Using parsers:  (<AnalysisKind.PEP316: 'PEP316'>, <AnalysisKind.icontract: 'icontract'>, <AnalysisKind.asserts: 'asserts'>)
|     |analyze_calltree() Begin analyze calltree  f
|     |analyze_calltree() Iteration  1
|       …

Replies: 1 comment 2 replies

Comment options

You must be logged in to vote
2 replies
@amacfie
Comment options

@pschanely
Comment options

Answer selected by amacfie
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants