From f9f5199fb819ca7897ef895f9a4a86aecb147446 Mon Sep 17 00:00:00 2001 From: kevinrs Date: Fri, 23 Dec 2005 21:09:32 +0000 Subject: 2005-12-23 Kevin Stafford SCRIPTS: run.sh - This is the driver for automated testing. To run: ./run.sh stpdirectory c_binaries_directory Result: log/timestamp.log discerpancy report ctostp.sh - This script generates corresponding stp probe script files for every C file found in the input directory. To Run: ctostp.sh input output where input is the directory containing the C files to convert. Output is the directory to store the corresponding stp files. build.sh - This script expedites the process of compiling all of the c files. When the "compile" flag is given it creates a directory called bin, which stores the compiled C programs. ./build.sh clean removes the binaries, and ./build.sh run attempts to execute all of the programs in cfiles/bin. --- tapset/test/README | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 tapset/test/README (limited to 'tapset/test/README') diff --git a/tapset/test/README b/tapset/test/README new file mode 100644 index 00000000..4b615721 --- /dev/null +++ b/tapset/test/README @@ -0,0 +1,27 @@ +To Run: + cd tapset/test + ./gencfiles.sh + ./ctostp.sh cfiles stpdir + cd cfiles + ./build compile + cd .. + ./run.sh + +SCRIPTS: + run.sh - This is the driver for automated testing. + To run: ./run.sh stpdirectory c_binaries_directory + Result: log/timestamp.log discerpancy report + + ctostp.sh - This script generates corresponding stp probe script + files for every C file found in the input directory. + To Run: ctostp.sh input output where input is the + directory containing the C files to convert. Output + is the directory to store the corresponding stp + files. + + build.sh - This script expedites the process of compiling all + of the c files. When the "compile" flag is given + it creates a directory called bin, which stores the + compiled C programs. ./build.sh clean removes the + binaries, and ./build.sh run attempts to execute all + of the programs in cfiles/bin. -- cgit