fm_invalid_conf_gen_forcs.jar
Requirements: OpenJDK 21
fm_invalid_conf_gen_forcs.jar
Functionality: loop through allConflictSets.da file and generate inconsistent configurations that either retain the given conflict set. Output: txt files in ./invalid_conf/ folder. If the ./invalid_conf/ folder does not exist, it will be created.
Syntax: java -jar fm_invalid_conf_gen_forcs.jar <path_to_fm_file> <path_to_allConflictSets> <path_to_valid_configurations_file> [num_gen_confs] [max_num_iterations] [debugging_mode]
<num_gen_confs>: number of generated configurations for each CS
<debugging_mode>: (0: disable, 1: enable) - save messages to an output.txt file.
<path_to_consistent_configurations_folder>: the folder containing the already known consistent configurations.
[max_num_iterations]: the maximum number of iterations (default value is 0, which means loop through all consistent configurations).
Ex 1: generate ten configurations for each CS in allConflictSets.da file. The generation relies on already known consistent configurations provided in the folder ./consistent_configurations/. Besides, the program loops through all consistent configurations.
java -jar -Xmx4G fm_conf_gen_v2.jar linux-2.6.33.3.xml allConflictSets.da ./consistent_configurations/ 10
Ex 2: generate ten configurations for each CS in allConflictSets.da file. The generation relies on already known consistent configurations provided in the folder ./consistent_configurations/. The program checks a maximum of 30 consistent configurations (3 iterations).
java -jar -Xmx4G fm_conf_gen_v2.jar linux-2.6.33.3.xml allConflictSets.da ./consistent_configurations/ 10 3
The source code can be found at https://github.com/manleviet/MF4ChocoSolver.