Karl Zhang | 3de5ab1 | 2021-05-31 11:45:48 +0800 | [diff] [blame] | 1 | ###################### |
| 2 | 'demo'-directory guide |
| 3 | ###################### |
| 4 | |
| 5 | ************ |
| 6 | Introduction |
| 7 | ************ |
| 8 | |
| 9 | This directory contains some example usages of TF-Fuzz, in a form that makes it |
| 10 | easy to run each case and quickly see the results. |
| 11 | |
| 12 | An example way to use this directory: |
| 13 | |
| 14 | - Add ``./`` to your ``$PATH`` variable, for convenience (see below). |
| 15 | - Using any text editor that provides for tabbed editing (e.g., Nedit) pop |
| 16 | up all files in this directory, each in a separate tab. |
| 17 | - In a shell window, run each demo test, and view a file called |
| 18 | ``tossThis2`` (that name to suggest we delete that file after we're done) |
| 19 | to view the generated C code. |
| 20 | |
| 21 | The ``purpose`` line in each test describes what each demo illustrates. |
| 22 | |
| 23 | Bear in mind that these are not intended as practical use cases, but just for |
| 24 | illustration. In the first few cases, the TF-Fuzz tool is not very "smart"; |
| 25 | that is, TF-Fuzz only provides a very-compact test-specification format. As |
| 26 | the test number increases, the TF-Fuzz tool infers for you more about test. |
| 27 | |
Nik Dewally | bc9e194 | 2024-07-02 17:00:15 +0100 | [diff] [blame] | 28 | *********************************** |
| 29 | ``tf_fuzz/demo`` directory contents |
| 30 | *********************************** |
Karl Zhang | 3de5ab1 | 2021-05-31 11:45:48 +0800 | [diff] [blame] | 31 | .. code-block:: bash |
| 32 | |
| 33 | 1 10 11 12 13 14 15 16 17 18 19 2 3 4 5 6 7 8 9 r |
| 34 | |
| 35 | The numbered files are test-template files -- input to TF-Fuzz -- for |
| 36 | demonstrating what it can do. |
| 37 | |
| 38 | The ``r`` shell script is designed to make it quick and easy to run the demo |
| 39 | tests one by one: just type ``r 5`` for example. The very short script name |
| 40 | ``r`` and the very-short, numbered demo-test file names were chosen to make it |
| 41 | easy to quickly see example usages. To see sequentially more-involved usages |
| 42 | of the tool, go through these demos in order. |
| 43 | |
| 44 | -------------- |
| 45 | |
| 46 | *Copyright (c) 2020, Arm Limited. All rights reserved.* |