While working on PR #1384, we found that the test passed
-AuseConservativeDefaultsForUncheckedCode=btyecode
instead of
-AuseConservativeDefaultsForUncheckedCode=bytecode
The invalid value was silently accepted, causing the option to be ignored and the test to not exercise the intended behavior.
The Checker Framework should validate arguments supplied to compiler options and report an error when an invalid value is provided.
While working on PR #1384, we found that the test passed
instead of
The invalid value was silently accepted, causing the option to be ignored and the test to not exercise the intended behavior.
The Checker Framework should validate arguments supplied to compiler options and report an error when an invalid value is provided.