3aa8327334
One line per flag for the major calls. This simplifies a bit the automated patching for parallel testing that comes next. |
||
---|---|---|
.. | ||
.gitignore | ||
basic_args.c | ||
cleanup.sh | ||
hello-aarch64.sh | ||
hello-amd64.sh | ||
hello-armv7l.sh | ||
hello-knight-posix.sh | ||
hello-x86.sh | ||
proof-aarch64.answer | ||
proof-amd64.answer | ||
proof-armv7l.answer | ||
proof-knight-posix.answer | ||
proof-x86.answer |