Update Contributing to Gryphon authored by Allen, Bruce (CIV)'s avatar Allen, Bruce (CIV)
...@@ -36,15 +36,18 @@ The CSV log is a comma separated value output file that can be imported into a s ...@@ -36,15 +36,18 @@ The CSV log is a comma separated value output file that can be imported into a s
* Filename * Filename
* Schema name * Schema name
* File hashcode
* Scope * Scope
* Run time, in seconds * Run time, in seconds
* Number of traces generated * Number of traces generated
* For traces, the number of marked traces, number of nodes, number of edges, and the sum of the probabilities. * For traces, the number of marked traces, number of nodes, number of edges, and the sum of the probabilities.
* For generated diagrams, the number of diagrams generated for each of the seven diagram types. * For generated diagrams, the number of diagrams generated for each of the seven diagram types.
Here is an example spreadsheet view: Here is an example spreadsheet view. Because it is wide, it is shown in two pages:
![test_log](uploads/30da856aab4e14259cf0578eff282061/test_log.png) ![test_sheet1](uploads/0be849d277fb1a373c909308570c00d4/test_sheet1.png)
![test_sheet2](uploads/f71c33e6a4a77f315a165cfbf8e7960c/test_sheet2.png)
CSV logs are created in the directory that `test.py` is run from. The filename includes the time the test was started and is of the form `_test_log_<timestamp>.csv`. CSV logs are created in the directory that `test.py` is run from. The filename includes the time the test was started and is of the form `_test_log_<timestamp>.csv`.
... ...
......