From d88939b25c2b937b0b30112b5209030e503724c6 Mon Sep 17 00:00:00 2001 From: ayushkumarshah <ayush.kumar.shah@gmail.com> Date: Sun, 6 Feb 2022 19:24:50 -0500 Subject: [PATCH] Add test scripts and files --- bin/tests/.gitignore | 1 + .../test-2-add-inside-relationship-mapping | 9 +++ tests/sqrt_lg/ISICal19_1201_em_754.lg | 9 +++ tests/sqrt_lg/UN19_1002_em_21.lg | 15 +++++ tests/sqrt_lg/UN19wb_1121_em_1189.lg | 55 +++++++++++++++++++ 5 files changed, 89 insertions(+) create mode 100644 bin/tests/.gitignore create mode 100755 bin/tests/test-2-add-inside-relationship-mapping create mode 100755 tests/sqrt_lg/ISICal19_1201_em_754.lg create mode 100755 tests/sqrt_lg/UN19_1002_em_21.lg create mode 100755 tests/sqrt_lg/UN19wb_1121_em_1189.lg diff --git a/bin/tests/.gitignore b/bin/tests/.gitignore new file mode 100644 index 0000000..1e4bcac --- /dev/null +++ b/bin/tests/.gitignore @@ -0,0 +1 @@ +*.mml diff --git a/bin/tests/test-2-add-inside-relationship-mapping b/bin/tests/test-2-add-inside-relationship-mapping new file mode 100755 index 0000000..4df8319 --- /dev/null +++ b/bin/tests/test-2-add-inside-relationship-mapping @@ -0,0 +1,9 @@ +#!/bin/bash + +TEST_FILES=`ls ../../tests/sqrt_lg/*.lg` +for file in $TEST_FILES +do + ../lg2mml ../../tests/sqrt_lg/$file + filename=`basename $file .lg` + echo "MathML generated: "$filename".mml" +done diff --git a/tests/sqrt_lg/ISICal19_1201_em_754.lg b/tests/sqrt_lg/ISICal19_1201_em_754.lg new file mode 100755 index 0000000..c9b9531 --- /dev/null +++ b/tests/sqrt_lg/ISICal19_1201_em_754.lg @@ -0,0 +1,9 @@ +# IUD, CROHME19_754 +# Objects(3): +O, 2_1, 2, 1.0, 2 +O, _1, \sqrt, 1.0, 0 +O, x_1, x, 1.0, 1 + +# Relations from SRT: +R, _1, x_1, Inside, 1.0 +R, x_1, 2_1, Sup, 1.0 diff --git a/tests/sqrt_lg/UN19_1002_em_21.lg b/tests/sqrt_lg/UN19_1002_em_21.lg new file mode 100755 index 0000000..8726f4d --- /dev/null +++ b/tests/sqrt_lg/UN19_1002_em_21.lg @@ -0,0 +1,15 @@ +# IUD, CROHME19_21 +# Objects(6): +O, _1, -, 1.0, 4 +O, c_1, c, 1.0, 6 +O, _2, \sqrt, 1.0, 5 +O, M_1, M, 1.0, 0 +O, rarr_1, \rightarrow, 1.0, 1, 2 +O, M_2, M, 1.0, 3 + +# Relations from SRT: +R, M_1, rarr_1, Right, 1.0 +R, _1, M_2, Above, 1.0 +R, _1, _2, Below, 1.0 +R, _2, c_1, Inside, 1.0 +R, rarr_1, _1, Right, 1.0 diff --git a/tests/sqrt_lg/UN19wb_1121_em_1189.lg b/tests/sqrt_lg/UN19wb_1121_em_1189.lg new file mode 100755 index 0000000..6180c4f --- /dev/null +++ b/tests/sqrt_lg/UN19wb_1121_em_1189.lg @@ -0,0 +1,55 @@ +# IUD, CROHME19_1189 +# Objects(25): +O, -_1, -, 1.0, 0 +O, 4_3, 4, 1.0, 18, 19 +O, 4_2, 4, 1.0, 10, 11 +O, (_1, (, 1.0, 3 +O, gamma_1, \gamma, 1.0, 4 +O, +_1, +, 1.0, 5, 6 +O, b_1, b, 1.0, 15 +O, log_1, \log, 1.0, 7, 8, 9 +O, 4_1, 4, 1.0, 1, 2 +O, _1, -, 1.0, 31 +O, _2, \sqrt, 1.0, 26, 25 +O, 1_1, 1, 1.0, 27 +O, 1_2, 1, 1.0, 34 +O, 3_1, 3, 1.0, 37 +O, -_2, -, 1.0, 28 +O, +_3, +, 1.0, 16, 17 +O, )_1, ), 1.0, 12 +O, _3, \sqrt, 1.0, 32, 33 +O, +_2, +, 1.0, 13, 14 +O, B_1, B, 1.0, 20 +O, x_2, x, 1.0, 38, 39 +O, pi_1, \pi, 1.0, 21, 23, 22 +O, 2_1, 2, 1.0, 24 +O, +_4, +, 1.0, 35, 36 +O, x_1, x, 1.0, 29, 30 + +# Relations from SRT: +R, (_1, gamma_1, Right, 1.0 +R, )_1, +_2, Right, 1.0 +R, +_1, log_1, Right, 1.0 +R, +_2, b_1, Right, 1.0 +R, +_3, _1, Right, 1.0 +R, +_4, 3_1, Right, 1.0 +R, -_1, 4_1, Right, 1.0 +R, -_2, x_1, Right, 1.0 +R, 1_1, -_2, Right, 1.0 +R, 1_2, +_4, Right, 1.0 +R, 3_1, x_2, Right, 1.0 +R, 4_1, (_1, Right, 1.0 +R, 4_2, )_1, Right, 1.0 +R, 4_3, B_1, Right, 1.0 +R, B_1, pi_1, Right, 1.0 +R, _1, 4_3, Above, 1.0 +R, _1, _3, Below, 1.0 +R, _2, -_2, Inside, 1.0 +R, _2, 1_1, Inside, 1.0 +R, _3, +_4, Inside, 1.0 +R, _3, 1_2, Inside, 1.0 +R, b_1, +_3, Right, 1.0 +R, gamma_1, +_1, Right, 1.0 +R, log_1, 4_2, Right, 1.0 +R, pi_1, 2_1, Sup, 1.0 +R, pi_1, _2, Right, 1.0 -- GitLab