A utility plugin for KernelHaven.
Utilities for for replacing non-boolean conditions in source code files.
Place NonBooleanUtils.jar in the plugins folder of KernelHaven.
To use this preparation, set preparation.class.0 to net.ssehub.kernel_haven.non_boolean.NonBooleanPreperation in the KernelHaven properties.
In addition to KernelHaven, this plugin has the following dependencies:
This plugin is licensed under the Apache License 2.0.