Searched refs:proof_templates (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py717 proof_templates = { variable
1183 result = proof_templates[name][0] % substs + '\n'
1188 result += proof_templates[name][1] % substs
1190 if len(proof_templates[name]) > 2:
1191 result += '\n' + '\n'.join(proof_templates[name][2:]) % substs
/seL4-test-master/kernel/libsel4/tools/
H A Dbitfield_gen.py717 proof_templates = { variable
1183 result = proof_templates[name][0] % substs + '\n'
1188 result += proof_templates[name][1] % substs
1190 if len(proof_templates[name]) > 2:
1191 result += '\n' + '\n'.join(proof_templates[name][2:]) % substs
/seL4-test-master/kernel/tools/
H A Dbitfield_gen.py717 proof_templates = { variable
1183 result = proof_templates[name][0] % substs + '\n'
1188 result += proof_templates[name][1] % substs
1190 if len(proof_templates[name]) > 2:
1191 result += '\n' + '\n'.join(proof_templates[name][2:]) % substs

Completed in 36 milliseconds