Non-Terminating Recursion (Prover)

rhit-csse-projects / RESOLVE

RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.

https://www.cs.clemson.edu/resolve/

BSD 3-Clause "New" or "Revised" License

0 stars 0 forks source link

Non-Terminating Recursion (Prover) #6

Closed AdityaSenthilvel closed 2 months ago

AdityaSenthilvel commented 2 months ago

Recursion may not terminate... We may have to look at the logs to figure out what is causing it. (The file reference below is outdated)

rhit-fosswe commented 2 months ago

Out of scope for our team (at least for now). Original ticket is from April 11, 2019.