Skip to content

Commit 60a129c

Browse files
authored
Update ITF1788_test_generation_instructions.md
Add Python dependencies.
1 parent e197643 commit 60a129c

File tree

1 file changed

+8
-2
lines changed

1 file changed

+8
-2
lines changed

test/ITF1788_tests/ITF1788_test_generation_instructions.md

Lines changed: 8 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,14 @@ https://github.com/oheim/ITF1788
77
See `NOTICE` for the copyright notice and `LICENSE` for the license for the `ITF1788` package.
88

99
To generate the tests, clone the ITF1788 package and change to the directory.
10-
Then create the Julia tests with the following command; Python 3 must be installed:
10+
11+
To use the package, Python 3 must be installed, and the following Python packages:
12+
13+
pip install ply
14+
pip install pyyaml
15+
16+
To generate the tests, run
1117

1218
python3 -m itf1788 -c "(julia, *, *)"
1319

14-
The resulting test files are generated in the `output/julia/FactCheck/IntervalArithmetic/` subdirectory.
20+
The resulting test files are generated in the `output/julia/Test/IntervalArithmetic` subdirectory of the ITF1788 directory.

0 commit comments

Comments
 (0)