BeAFix 2.12.1

• Several bug fixes.
• Several improvements in test generation in ARepair compatibility mode (only used for test generation, not for repair).

Added ordering.overrides for models that use Ord module, if you want to use it, you must select the folder where that file is located from BeAFix options.

BeAFix 2.8.7

• Several bug fixes.
• improved test generation in ARepair compatibility mode (only used for test generation, not for repair).

Known issues:

• Sometimes the repair report fails to report variabilization checks (this issue appears when running the repair process several times).
  • This does not mean that variabilization is not working, only the related counts are missing.

ARepair integration update

ARepair integration for test generation has been updated, instance based tests are now supported, quantifier expressions are now supported (only when quantifier variables are included in an instance).

2.3.8

Changes

- Fixed some issues that required destroying singleton classes instances and resetting some static flags.
- Changed wrong exception message in RepairTimeOut
- When running CLI version minisat will be set by default (if it's available)