Searched defs:exec_test_script (Results 1 - 1 of 1) sorted by relevance
/hets/Isabelle/export/ | ||
H A D | test_parser_all.sh | 15 exec_test_script() { function 31 export -f exec_test_script 34 find $1 -name '*.thy' | xargs -n 1 -i bash -c 'exec_test_script "$@"' _ {} \; |
Completed in 215 milliseconds