Hello! This series contains updates for torture-test scripting: 1. Remove obsolete BOOTPARAM_HOTPLUG_CPU0 Kconfig option. 2. Remove formal-verification tests. 3. Add "--no-" as synonym for "--do-no-" in torture.sh. 4. Remove contradictory Kconfig constraint. 5. Allow #CHECK# in --kconfig argument to kvm.sh. 6. Make kvm-recheck.sh report .config errors. 7. Add RCU Tasks individual-flavor build tests. 8. Make kvm-remote print diagnostics on initial ssh failure. 9. Remove obsolete parameter check from mkinitrd.sh. 10. Place --bootargs parameters at end of -append list. 11. Make torture.sh summarize config and build errors. 12. Loosen .config checks for KCSAN kernels. 13. Add srcu_lockdep.sh to torture.sh. 14. Avoid torture-test reboot loops. 15. Add init-program support for loongarch. 16. Switch qemu from -nographic to -display none. 17. Make init program dump command-line arguments. 18. Cause mkinitrd.sh to indicate failure on compile errors. Thanx, Paul ------------------------------------------------------------------------ b/tools/testing/selftests/rcutorture/bin/configcheck.sh | 61 - b/tools/testing/selftests/rcutorture/bin/functions.sh | 2 b/tools/testing/selftests/rcutorture/bin/kvm-recheck.sh | 37 b/tools/testing/selftests/rcutorture/bin/kvm-remote.sh | 12 b/tools/testing/selftests/rcutorture/bin/kvm-test-1-run.sh | 1 b/tools/testing/selftests/rcutorture/bin/kvm.sh | 2 b/tools/testing/selftests/rcutorture/bin/mkinitrd.sh | 1 b/tools/testing/selftests/rcutorture/bin/torture.sh | 44 - b/tools/testing/selftests/rcutorture/configs/lock/ver_functions.sh | 5 b/tools/testing/selftests/rcutorture/configs/rcu/TASKS03 | 1 b/tools/testing/selftests/rcutorture/configs/rcu/TREE01 | 1 b/tools/testing/selftests/rcutorture/configs/rcu/ver_functions.sh | 5 b/tools/testing/selftests/rcutorture/configs/rcuscale/ver_functions.sh | 5 b/tools/testing/selftests/rcutorture/configs/refscale/ver_functions.sh | 5 b/tools/testing/selftests/rcutorture/configs/scf/ver_functions.sh | 5 tools/testing/selftests/rcutorture/bin/kvm-recheck.sh | 7 tools/testing/selftests/rcutorture/bin/kvm-test-1-run.sh | 19 tools/testing/selftests/rcutorture/bin/mkinitrd.sh | 17 tools/testing/selftests/rcutorture/bin/torture.sh | 77 ++ tools/testing/selftests/rcutorture/formal/srcu-cbmc/.gitignore | 2 tools/testing/selftests/rcutorture/formal/srcu-cbmc/Makefile | 17 tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/.gitignore | 2 tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/kconfig.h | 1 tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h | 152 ---- tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk | 376 ---------- tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/assume.h | 17 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/barriers.h | 41 - tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/bug_on.h | 14 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/combined_source.c | 14 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/config.h | 28 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/include_srcu.c | 32 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/int_typedefs.h | 34 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h | 221 ----- tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/misc.c | 12 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/misc.h | 58 - tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h | 93 -- tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c | 79 -- tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.h | 59 - tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/simple_sync_srcu.c | 51 - tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/workqueues.h | 103 -- tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/.gitignore | 2 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/Makefile | 12 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/assert_end.fail | 1 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/force.fail | 1 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/force2.fail | 1 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/force3.fail | 1 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/test.c | 73 - tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/test_script.sh | 103 -- 48 files changed, 218 insertions(+), 1689 deletions(-)
