Searched refs:thydeps_tool (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/l4v/tools/autocorres/tools/ |
| H A D | release.py | 164 thydeps_tool = os.path.join(args.repository, 'misc', 'scripts', 'thydeps') variable
187 [thydeps_tool, '-I', repo_isabelle_dir, '-d', '.', '-d', 'tools/autocorres/tests',
317 if os.path.exists(thydeps_tool):
322 [thydeps_tool, '-I', repo_isabelle_dir, '-b', '.', '-r',
337 print("Warning: cannot check theory dependencies: missing tool %r" % thydeps_tool)
|
Completed in 30 milliseconds