[PATCH rcu 0/18] Torture-test scripting updates for v6.6

[Paul E. McKenney]

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(-)