Skip to content

First draft of runtime error property

Malte Mues requested to merge mmuesly/sv-benchmarks:runtime-errors into main

We discuss for some times, whether runtime error (IndexOutOfBoundsException, ArithmeticException, etc.) reachability may be a new category in the Java track. This PR is a proposal for a first draft of this property and some of the expected verdicts. I am sure about false verdicts, but not about the true ones.

The property describes the following: During the execution of the program, no RuntimeException must be reachable.

Edited by Malte Mues

Merge request reports