def _analyze_case(model_dir, bench_dir, config):
bundle = livvkit.verification_model_module<EOL>model_out = functions.find_file(model_dir, "<STR_LIT:*>"+config["<STR_LIT>"])<EOL>bench_out = functions.find_file(bench_dir, "<STR_LIT:*>"+config["<STR_LIT>"])<EOL>model_config = functions.find_file(model_dir, "<STR_LIT:*>"+config["<STR_LIT>"])<EOL>bench_config = functions.find_file(bench_dir, "<STR_LIT:*>"+config["<STR_LIT>"])<EOL>model_log = functions.find_file(model_dir, "<STR_LIT:*>"+config["<STR_LIT>"])<EOL>el = [<EOL>bit_for_bit(model_out, bench_out, config),<EOL>diff_configurations(model_config, bench_config, bundle, bundle),<EOL>bundle.parse_log(model_log)<EOL>]<EOL>return el<EOL>
Runs all of the verification checks on a particular case