diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-06-23 01:48:48 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-07-04 12:16:59 +0200 |
| commit | 709595b2979d7fcbc94b57236a8dca1a5d2dd4cb (patch) | |
| tree | 509a1818670e56f6d755bb969727311c09f11349 | |
| parent | 79a6ae8316377e6b2c043c4d37ed704d86770c3c (diff) | |
| download | sparse-709595b2979d7fcbc94b57236a8dca1a5d2dd4cb.tar.gz | |
testsuite: add new flag '-p' to subcommand 'format'
This flag facilitates the creation of testcases for preprocessing.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
| -rwxr-xr-x | validation/test-suite | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/validation/test-suite b/validation/test-suite index d351ebf3..f7d992dc 100755 --- a/validation/test-suite +++ b/validation/test-suite @@ -458,6 +458,7 @@ echo "options:" echo " -a append the created test to the input file" echo " -f write a test known to fail" echo " -l write a test for linearized code" +echo " -p write a test for pre-processing" echo echo "argument(s):" echo " file file containing the test case(s)" @@ -483,6 +484,9 @@ do_format() -l) def_cmd='test-linearize -Wno-decl $file' linear=1 ;; + -p) + def_cmd='sparse -E $file' ;; + help|-*) do_format_help return 0 |