File tree 10 files changed +34
-2
lines changed
10 files changed +34
-2
lines changed Original file line number Diff line number Diff line change
1
+ #! /bin/sh
2
+
3
+ egison -t ${1} > test/answer/${1}
Original file line number Diff line number Diff line change
1
+ #! /bin/sh
2
+
3
+ find ./sample | grep " .egi$" | xargs -t -I{} sh -c ' egison -t {} > test/answer/{}'
Original file line number Diff line number Diff line change @@ -2,6 +2,7 @@ module Main where
2
2
3
3
import Control.Applicative
4
4
import Control.Monad
5
+ import Control.Monad.IO.Class
5
6
import Data.IORef
6
7
import Data.List
7
8
@@ -19,8 +20,10 @@ import Language.Egison
19
20
import UnitTest
20
21
21
22
main = do
22
- unitTestCases <- glob " test/[^answer]**/*.egi"
23
- sampleTestCases <- glob " test/answer/**/*.egi"
23
+ -- unitTestCases <- glob "test/[^answer]**/*.egi"
24
+ unitTestCases <- return []
25
+ -- sampleTestCases <- glob "test/answer/**/*.egi"
26
+ sampleTestCases <- glob " test/answer/sample/math/geometry/*.egi"
24
27
defaultMain $ hUnitTestToTests $ test $ map runUnitTestCase unitTestCases ++ map runSampleTestCase sampleTestCases
25
28
26
29
runSampleTestCase :: FilePath -> Test
Original file line number Diff line number Diff line change
1
+ [| [| (* r (cos θ) (cos φ)) (* r (cos θ) (sin φ)) (* -1 r (sin θ)) |] [| (* -1 r (sin θ) (sin φ)) (* r (sin θ) (cos φ)) 0 |] |]_i_j
2
+ [| [| r^2 0 |] [| 0 (* r^2 (sin θ)^2) |] |]_#_#
3
+ [| [| (/ 1 r^2) 0 |] [| 0 (/ 1 (* r^2 (sin θ)^2)) |] |]~#~#
4
+ (tensor {2 2 2} {0 0 0 (* -1 r^2 (sin θ) (cos θ)) 0 (* r^2 (sin θ) (cos θ)) (* r^2 (sin θ) (cos θ)) 0} )_#_#_#
5
+ [| [| 0 0 |] [| 0 (* -1 r^2 (sin θ) (cos θ)) |] |]_#_#
6
+ [| [| 0 (* r^2 (sin θ) (cos θ)) |] [| (* r^2 (sin θ) (cos θ)) 0 |] |]_#_#
7
+ (tensor {2 2 2} {0 0 0 (* -1 (sin θ) (cos θ)) 0 (/ (cos θ) (sin θ)) (/ (cos θ) (sin θ)) 0} )~#_#_#
8
+ [| [| 0 0 |] [| 0 (* -1 (sin θ) (cos θ)) |] |]_#_#
9
+ [| [| 0 (/ (cos θ) (sin θ)) |] [| (/ (cos θ) (sin θ)) 0 |] |]_#_#
10
+ (tensor {2 2 2} {0 0 0 0 0 0 0 0} )_#_#_#
11
+ (tensor {2 2 2 2} {0 0 0 0 0 (sin θ)^2 (* -1 (sin θ)^2) 0 0 -1 1 0 0 0 0 0} )~#_#_#_#
12
+ [| [| 0 0 |] [| 0 0 |] |]~#_#
13
+ [| [| 0 (sin θ)^2 |] [| -1 0 |] |]~#_#
14
+ [| [| 0 (* -1 (sin θ)^2) |] [| 1 0 |] |]~#_#
15
+ [| [| 0 0 |] [| 0 0 |] |]~#_#
16
+ (tensor {2 2 2 2} {0 0 0 0 0 (* r^2 (sin θ)^2) (* -1 r^2 (sin θ)^2) 0 0 (* -1 r^2 (sin θ)^2) (* r^2 (sin θ)^2) 0 0 0 0 0} )_#_#_#_#
17
+ [| [| 0 0 |] [| 0 0 |] |]_#_#
18
+ [| [| 0 (* r^2 (sin θ)^2) |] [| (* -1 r^2 (sin θ)^2) 0 |] |]_#_#
19
+ [| [| 0 (* -1 r^2 (sin θ)^2) |] [| (* r^2 (sin θ)^2) 0 |] |]_#_#
20
+ [| [| 0 0 |] [| 0 0 |] |]_#_#
21
+ [| [| 1 0 |] [| 0 (sin θ)^2 |] |]_#_#
22
+ (/ 2 r^2)
23
+ (tensor {2 2 2 2 2} {0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0} )_#_#_#_#_#
You can’t perform that action at this time.
0 commit comments