The disable-runtime-checks flag is still used in java_bytecode without any way of setting it

diffblue / cbmc

C Bounded Model Checker

https://diffblue.github.io/cbmc

Other

848 stars 263 forks source link

Closed cristina-david closed 7 years ago

cristina-david commented 7 years ago

We should either externalise it or remove it.

cristina-david commented 7 years ago

After discussing with @peterschrammel, I will remove the flag completely.