trackler 2.2.1.62 → 2.2.1.63
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/lib/trackler/version.rb +1 -1
- data/problem-specifications/exercises/all-your-base/canonical-data.json +20 -29
- data/problem-specifications/exercises/forth/canonical-data.json +52 -5
- data/problem-specifications/exercises/isbn-verifier/canonical-data.json +15 -15
- data/problem-specifications/exercises/protein-translation/canonical-data.json +153 -0
- data/problem-specifications/exercises/reverse-string/canonical-data.json +39 -0
- data/problem-specifications/exercises/reverse-string/description.md +5 -0
- data/problem-specifications/exercises/reverse-string/metadata.yml +5 -0
- data/tracks/c/config.json +42 -41
- data/tracks/csharp/config.json +13 -0
- data/tracks/csharp/exercises/Exercises.sln +6 -0
- data/tracks/csharp/exercises/isbn-verifier/Example.cs +27 -0
- data/tracks/csharp/exercises/isbn-verifier/IsbnVerifier.cs +9 -0
- data/tracks/csharp/exercises/isbn-verifier/IsbnVerifier.csproj +19 -0
- data/tracks/csharp/exercises/isbn-verifier/IsbnVerifierTest.cs +84 -0
- data/tracks/csharp/exercises/isbn-verifier/README.md +40 -0
- data/tracks/csharp/generators/Exercises/IsbnVerifier.cs +15 -0
- data/tracks/delphi/config.json +28 -28
- data/tracks/erlang/config.json +10 -0
- data/tracks/erlang/exercises/accumulate/rebar.config +1 -1
- data/tracks/erlang/exercises/accumulate/test/accumulate_tests.erl +9 -7
- data/tracks/erlang/exercises/all-your-base/rebar.config +1 -1
- data/tracks/erlang/exercises/all-your-base/test/all_your_base_tests.erl +26 -24
- data/tracks/erlang/exercises/allergies/rebar.config +1 -1
- data/tracks/erlang/exercises/allergies/test/allergies_tests.erl +19 -17
- data/tracks/erlang/exercises/anagram/rebar.config +1 -3
- data/tracks/erlang/exercises/anagram/test/anagram_tests.erl +14 -12
- data/tracks/erlang/exercises/atbash-cipher/rebar.config +1 -1
- data/tracks/erlang/exercises/atbash-cipher/test/atbash_cipher_tests.erl +7 -5
- data/tracks/erlang/exercises/bank-account/rebar.config +1 -1
- data/tracks/erlang/exercises/bank-account/test/bank_account_tests.erl +52 -51
- data/tracks/erlang/exercises/beer-song/rebar.config +30 -0
- data/tracks/erlang/exercises/beer-song/test/beer_song_tests.erl +11 -10
- data/tracks/erlang/exercises/bob/rebar.config +1 -1
- data/tracks/erlang/exercises/bob/test/bob_tests.erl +33 -35
- data/tracks/erlang/exercises/circular-buffer/rebar.config +1 -1
- data/tracks/erlang/exercises/circular-buffer/test/circular_buffer_tests.erl +33 -32
- data/tracks/erlang/exercises/clock/rebar.config +1 -1
- data/tracks/erlang/exercises/clock/test/clock_tests.erl +57 -50
- data/tracks/erlang/exercises/collatz-conjecture/rebar.config +1 -1
- data/tracks/erlang/exercises/collatz-conjecture/test/collatz_conjecture_tests.erl +11 -9
- data/tracks/erlang/exercises/complex-numbers/rebar.config +1 -1
- data/tracks/erlang/exercises/complex-numbers/test/complex_numbers_tests.erl +102 -76
- data/tracks/erlang/exercises/custom-set/rebar.config +1 -1
- data/tracks/erlang/exercises/custom-set/test/custom_set_tests.erl +100 -109
- data/tracks/erlang/exercises/difference-of-squares/rebar.config +1 -1
- data/tracks/erlang/exercises/difference-of-squares/test/difference_of_squares_tests.erl +8 -7
- data/tracks/erlang/exercises/etl/rebar.config +1 -1
- data/tracks/erlang/exercises/etl/test/etl_tests.erl +6 -5
- data/tracks/erlang/exercises/gigasecond/rebar.config +1 -1
- data/tracks/erlang/exercises/gigasecond/test/gigasecond_tests.erl +9 -8
- data/tracks/erlang/exercises/grade-school/rebar.config +1 -1
- data/tracks/erlang/exercises/grade-school/test/grade_school_tests.erl +27 -23
- data/tracks/erlang/exercises/grains/rebar.config +1 -1
- data/tracks/erlang/exercises/grains/test/grains_tests.erl +7 -6
- data/tracks/erlang/exercises/hamming/rebar.config +1 -1
- data/tracks/erlang/exercises/hamming/test/hamming_tests.erl +20 -23
- data/tracks/erlang/exercises/hello-world/rebar.config +1 -1
- data/tracks/erlang/exercises/hello-world/test/hello_world_tests.erl +6 -4
- data/tracks/erlang/exercises/isogram/rebar.config +1 -1
- data/tracks/erlang/exercises/isogram/test/isogram_tests.erl +14 -12
- data/tracks/erlang/exercises/largest-series-product/rebar.config +1 -1
- data/tracks/erlang/exercises/largest-series-product/test/largest_series_product_tests.erl +22 -21
- data/tracks/erlang/exercises/leap/rebar.config +1 -1
- data/tracks/erlang/exercises/leap/test/leap_tests.erl +8 -7
- data/tracks/erlang/exercises/luhn/rebar.config +1 -1
- data/tracks/erlang/exercises/luhn/test/luhn_tests.erl +18 -16
- data/tracks/erlang/exercises/meetup/rebar.config +1 -1
- data/tracks/erlang/exercises/meetup/test/meetup_tests.erl +96 -95
- data/tracks/erlang/exercises/nucleotide-count/rebar.config +1 -1
- data/tracks/erlang/exercises/nucleotide-count/test/nucleotide_count_tests.erl +12 -11
- data/tracks/erlang/exercises/pangram/README.md +60 -0
- data/tracks/erlang/exercises/{accumulate → pangram}/include/exercism.hrl +0 -0
- data/tracks/erlang/exercises/{beer-song/rebar.conf → pangram/rebar.config} +0 -0
- data/tracks/erlang/exercises/pangram/src/example.erl +11 -0
- data/tracks/erlang/exercises/pangram/src/pangram.app.src +9 -0
- data/tracks/erlang/exercises/pangram/src/pangram.erl +8 -0
- data/tracks/erlang/exercises/pangram/test/pangram_tests.erl +38 -0
- data/tracks/erlang/exercises/parallel-letter-frequency/rebar.config +1 -1
- data/tracks/erlang/exercises/parallel-letter-frequency/test/parallel_letter_frequency_tests.erl +7 -6
- data/tracks/erlang/exercises/phone-number/rebar.config +1 -1
- data/tracks/erlang/exercises/phone-number/test/phone_number_tests.erl +13 -12
- data/tracks/erlang/exercises/rna-transcription/rebar.config +1 -1
- data/tracks/erlang/exercises/rna-transcription/test/rna_transcription_tests.erl +13 -11
- data/tracks/erlang/exercises/robot-simulator/rebar.config +1 -1
- data/tracks/erlang/exercises/robot-simulator/test/robot_simulator_tests.erl +70 -69
- data/tracks/erlang/exercises/roman-numerals/rebar.config +1 -1
- data/tracks/erlang/exercises/roman-numerals/test/roman_numerals_tests.erl +6 -5
- data/tracks/erlang/exercises/rotational-cipher/rebar.config +1 -8
- data/tracks/erlang/exercises/rotational-cipher/test/rotational_cipher_tests.erl +29 -27
- data/tracks/erlang/exercises/scrabble-score/rebar.config +1 -1
- data/tracks/erlang/exercises/scrabble-score/test/scrabble_score_tests.erl +6 -5
- data/tracks/erlang/exercises/series/rebar.config +1 -1
- data/tracks/erlang/exercises/series/test/series_tests.erl +6 -5
- data/tracks/erlang/exercises/sieve/rebar.config +1 -1
- data/tracks/erlang/exercises/sieve/test/sieve_tests.erl +10 -8
- data/tracks/erlang/exercises/space-age/rebar.config +1 -1
- data/tracks/erlang/exercises/space-age/test/space_age_tests.erl +20 -19
- data/tracks/erlang/exercises/spiral-matrix/rebar.config +1 -1
- data/tracks/erlang/exercises/spiral-matrix/test/spiral_matrix_tests.erl +12 -10
- data/tracks/erlang/exercises/strain/rebar.config +1 -1
- data/tracks/erlang/exercises/strain/test/strain_tests.erl +17 -16
- data/tracks/erlang/exercises/sum-of-multiples/rebar.config +1 -1
- data/tracks/erlang/exercises/sum-of-multiples/test/sum_of_multiples_tests.erl +16 -15
- data/tracks/erlang/exercises/triangle/rebar.config +1 -1
- data/tracks/erlang/exercises/triangle/test/triangle_tests.erl +20 -19
- data/tracks/erlang/exercises/two-fer/rebar.config +1 -1
- data/tracks/erlang/exercises/two-fer/test/two_fer_tests.erl +8 -7
- data/tracks/erlang/exercises/word-count/rebar.config +1 -1
- data/tracks/erlang/exercises/word-count/test/word_count_tests.erl +6 -5
- data/tracks/erlang/exercises/zipper/rebar.config +1 -1
- data/tracks/erlang/exercises/zipper/test/zipper_tests.erl +47 -46
- data/tracks/erlang/testgen/src/tgen.erl +8 -6
- data/tracks/erlang/testgen/src/tgen_bob.erl +1 -1
- data/tracks/erlang/testgen/src/tgen_collatz-conjecture.erl +2 -2
- data/tracks/erlang/testgen/src/tgen_complex-numbers.erl +11 -11
- data/tracks/erlang/testgen/src/tgen_custom-set.erl +14 -14
- data/tracks/erlang/testgen/src/tgen_hamming.erl +2 -2
- data/tracks/erlang/testgen/src/tgen_hello-world.erl +1 -1
- data/tracks/erlang/testgen/src/tgen_leap.erl +1 -1
- data/tracks/erlang/testgen/src/tgen_rna-transcription.erl +2 -2
- data/tracks/erlang/testgen/src/tgs.erl +6 -0
- data/tracks/fsharp/exercises/beer-song/BeerSong.fs +1 -5
- data/tracks/fsharp/exercises/beer-song/BeerSongTest.fs +342 -20
- data/tracks/fsharp/exercises/beer-song/Example.fs +16 -10
- data/tracks/fsharp/exercises/food-chain/Example.fs +1 -1
- data/tracks/fsharp/exercises/food-chain/FoodChain.fs +1 -3
- data/tracks/fsharp/exercises/food-chain/FoodChainTest.fs +11 -11
- data/tracks/fsharp/exercises/house/Example.fs +1 -1
- data/tracks/fsharp/exercises/house/House.fs +1 -3
- data/tracks/fsharp/exercises/house/HouseTest.fs +202 -202
- data/tracks/fsharp/exercises/proverb/Example.fs +9 -9
- data/tracks/fsharp/exercises/proverb/Proverb.fs +1 -3
- data/tracks/fsharp/exercises/proverb/ProverbTest.fs +50 -21
- data/tracks/fsharp/exercises/twelve-days/Example.fs +4 -4
- data/tracks/fsharp/exercises/twelve-days/TwelveDays.fs +2 -6
- data/tracks/fsharp/exercises/twelve-days/TwelveDaysTest.fs +81 -57
- data/tracks/fsharp/generators/Generators.fs +39 -15
- data/tracks/go/bin/run-generators +5 -1
- data/tracks/go/config.json +14 -2
- data/tracks/go/exercises/accumulate/example.go +2 -1
- data/tracks/go/exercises/zebra-puzzle/.meta/hints.md +24 -0
- data/tracks/go/exercises/zebra-puzzle/README.md +76 -0
- data/tracks/go/exercises/zebra-puzzle/example.go +256 -0
- data/tracks/go/exercises/zebra-puzzle/zebra_puzzle_test.go +18 -0
- data/tracks/haskell/exercises/forth/package.yaml +1 -1
- data/tracks/haskell/exercises/forth/test/Tests.hs +1 -4
- data/tracks/haskell/exercises/pascals-triangle/package.yaml +1 -1
- data/tracks/haskell/exercises/pascals-triangle/test/Tests.hs +22 -1
- data/tracks/java/POLICIES.md +3 -3
- data/tracks/java/config.json +21 -2
- data/tracks/java/exercises/atbash-cipher/.meta/src/reference/java/Atbash.java +12 -12
- data/tracks/java/exercises/protein-translation/.meta/src/reference/java/ProteinTranslator.java +47 -0
- data/tracks/java/exercises/protein-translation/.meta/version +1 -0
- data/tracks/java/exercises/protein-translation/README.md +58 -0
- data/tracks/java/exercises/protein-translation/build.gradle +18 -0
- data/tracks/java/exercises/protein-translation/src/main/java/ProteinTranslator.java +8 -0
- data/tracks/java/exercises/protein-translation/src/test/java/ProteinTranslatorTest.java +179 -0
- data/tracks/java/exercises/settings.gradle +1 -0
- data/tracks/javascript/.eslintignore +2 -2
- data/tracks/javascript/exercises/accumulate/example.js +1 -2
- data/tracks/javascript/exercises/grains/example.js +6 -3
- data/tracks/kotlin/exercises/beer-song/.meta/src/reference/kotlin/BeerSong.kt +3 -3
- data/tracks/kotlin/exercises/beer-song/.meta/version +1 -1
- data/tracks/kotlin/exercises/beer-song/README.md +1 -1
- data/tracks/kotlin/exercises/beer-song/src/test/kotlin/BeerSongTest.kt +6 -6
- data/tracks/kotlin/exercises/forth/.meta/version +1 -1
- data/tracks/kotlin/exercises/forth/src/test/kotlin/ForthEvaluatorTest.kt +0 -7
- data/tracks/kotlin/exercises/meetup/README.md +16 -12
- data/tracks/kotlin/exercises/nth-prime/.meta/src/reference/kotlin/Prime.kt +7 -2
- data/tracks/kotlin/exercises/nth-prime/.meta/version +1 -1
- data/tracks/kotlin/exercises/nth-prime/src/test/kotlin/PrimeTest.kt +10 -1
- data/tracks/kotlin/exercises/nucleotide-count/README.md +2 -2
- data/tracks/kotlin/exercises/pascals-triangle/.meta/src/reference/kotlin/PascalsTriangle.kt +1 -1
- data/tracks/kotlin/exercises/pascals-triangle/.meta/version +1 -1
- data/tracks/kotlin/exercises/pascals-triangle/src/test/kotlin/PascalsTriangleTest.kt +58 -1
- data/tracks/kotlin/exercises/sum-of-multiples/README.md +3 -3
- data/tracks/ocaml/exercises/forth/test.ml +1 -3
- data/tracks/ocaml/exercises/rectangles/example.ml +11 -11
- data/tracks/php/exercises/bob/example.php +2 -2
- data/tracks/purescript/config.json +3 -3
- data/tracks/python/config.json +34 -22
- data/tracks/python/exercises/alphametics/example.py +90 -34
- data/tracks/python/exercises/ocr-numbers/example.py +18 -21
- data/tracks/python/exercises/ocr-numbers/ocr_numbers.py +1 -5
- data/tracks/python/exercises/ocr-numbers/ocr_numbers_test.py +124 -106
- data/tracks/python/exercises/simple-linked-list/README.md +49 -0
- data/tracks/python/exercises/simple-linked-list/example.py +67 -0
- data/tracks/python/exercises/simple-linked-list/hints.md +10 -0
- data/tracks/python/exercises/simple-linked-list/simple_linked_list.py +33 -0
- data/tracks/python/exercises/simple-linked-list/simple_linked_list_test.py +112 -0
- data/tracks/rust/README.md +2 -0
- data/tracks/rust/bin/init_exercise.py +586 -0
- data/tracks/rust/config.json +20 -10
- data/tracks/rust/exercises/book-store/.gitignore +3 -0
- data/tracks/rust/exercises/book-store/Cargo-example.toml +7 -0
- data/tracks/rust/exercises/book-store/Cargo.toml +6 -0
- data/tracks/rust/exercises/book-store/README.md +107 -0
- data/tracks/rust/exercises/book-store/example.rs +187 -0
- data/tracks/rust/exercises/book-store/src/lib.rs +3 -0
- data/tracks/rust/exercises/book-store/tests/book-store.rs +130 -0
- data/tracks/sml/config.json +8 -8
- data/tracks/typescript/config.json +6 -6
- metadata +43 -46
- data/tracks/erlang/exercises/all-your-base/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/allergies/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/anagram/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/atbash-cipher/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/bank-account/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/beer-song/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/bob/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/circular-buffer/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/clock/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/collatz-conjecture/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/complex-numbers/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/custom-set/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/difference-of-squares/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/etl/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/gigasecond/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/grade-school/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/grains/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/hamming/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/hello-world/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/isogram/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/largest-series-product/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/leap/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/luhn/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/meetup/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/nucleotide-count/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/parallel-letter-frequency/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/phone-number/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/rna-transcription/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/robot-simulator/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/roman-numerals/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/rotational-cipher/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/scrabble-score/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/series/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/sieve/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/space-age/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/spiral-matrix/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/strain/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/sum-of-multiples/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/triangle/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/two-fer/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/word-count/include/exercism.hrl +0 -11
- data/tracks/erlang/exercises/zipper/include/exercism.hrl +0 -11
@@ -1,47 +1,45 @@
|
|
1
1
|
-module(space_age_tests).
|
2
2
|
|
3
|
-
-
|
4
|
-
-
|
5
|
-
-include("exercism.hrl").
|
6
|
-
|
3
|
+
-include_lib("erl_exercism/include/exercism.hrl").
|
4
|
+
-include_lib("eunit/include/eunit.hrl").
|
7
5
|
|
8
6
|
age_in_earth_years_test() ->
|
9
|
-
equalFloat(
|
7
|
+
equalFloat(space_age:ageOn(earth, 1000000000), 31.69).
|
10
8
|
|
11
9
|
age_in_mercury_years_test() ->
|
12
10
|
Seconds = 2134835688,
|
13
|
-
equalFloat(
|
14
|
-
equalFloat(
|
11
|
+
equalFloat(space_age:ageOn(earth, Seconds), 67.65),
|
12
|
+
equalFloat(space_age:ageOn(mercury, Seconds), 280.88).
|
15
13
|
|
16
14
|
age_in_venus_years_test() ->
|
17
15
|
Seconds = 189839836,
|
18
|
-
equalFloat(
|
19
|
-
equalFloat(
|
16
|
+
equalFloat(space_age:ageOn(earth, Seconds), 6.02),
|
17
|
+
equalFloat(space_age:ageOn(venus, Seconds), 9.78).
|
20
18
|
|
21
19
|
age_in_mars_years_test() ->
|
22
20
|
Seconds = 2329871239,
|
23
|
-
equalFloat(
|
24
|
-
equalFloat(
|
21
|
+
equalFloat(space_age:ageOn(earth, Seconds), 73.83),
|
22
|
+
equalFloat(space_age:ageOn(mars, Seconds), 39.25).
|
25
23
|
|
26
24
|
age_in_jupiter_years_test() ->
|
27
25
|
Seconds = 901876382,
|
28
|
-
equalFloat(
|
29
|
-
equalFloat(
|
26
|
+
equalFloat(space_age:ageOn(earth, Seconds), 28.58),
|
27
|
+
equalFloat(space_age:ageOn(jupiter, Seconds), 2.41).
|
30
28
|
|
31
29
|
age_in_saturn_years_test() ->
|
32
30
|
Seconds = 3000000000,
|
33
|
-
equalFloat(
|
34
|
-
equalFloat(
|
31
|
+
equalFloat(space_age:ageOn(earth, Seconds), 95.06),
|
32
|
+
equalFloat(space_age:ageOn(saturn, Seconds), 3.23).
|
35
33
|
|
36
34
|
age_in_uranus_years_test() ->
|
37
35
|
Seconds = 3210123456,
|
38
|
-
equalFloat(
|
39
|
-
equalFloat(
|
36
|
+
equalFloat(space_age:ageOn(earth, Seconds), 101.72),
|
37
|
+
equalFloat(space_age:ageOn(uranus, Seconds), 1.21).
|
40
38
|
|
41
39
|
age_in_neptune_years_test() ->
|
42
40
|
Seconds = 8210123456,
|
43
|
-
equalFloat(
|
44
|
-
equalFloat(
|
41
|
+
equalFloat(space_age:ageOn(earth, Seconds), 260.16),
|
42
|
+
equalFloat(space_age:ageOn(neptune, Seconds), 1.58).
|
45
43
|
|
46
44
|
equalFloat(A, B) ->
|
47
45
|
?assertEqual(B, round(A,2)).
|
@@ -49,3 +47,6 @@ equalFloat(A, B) ->
|
|
49
47
|
round(Number, Precision) ->
|
50
48
|
P = math:pow(10, Precision),
|
51
49
|
round(Number * P) / P.
|
50
|
+
|
51
|
+
version_test() ->
|
52
|
+
?assertMatch(1, space_age:test_version()).
|
@@ -1,8 +1,7 @@
|
|
1
1
|
-module(spiral_matrix_tests).
|
2
2
|
|
3
|
-
-
|
4
|
-
-
|
5
|
-
-include("exercism.hrl").
|
3
|
+
-include_lib("erl_exercism/include/exercism.hrl").
|
4
|
+
-include_lib("eunit/include/eunit.hrl").
|
6
5
|
|
7
6
|
-define(spiral1, [[1]]).
|
8
7
|
-define(spiral2, [[1,2],
|
@@ -22,22 +21,25 @@
|
|
22
21
|
-define(get(X,Y,L), lists:nth(X,lists:nth(Y,L))).
|
23
22
|
|
24
23
|
empty_spiral_test() ->
|
25
|
-
?assertEqual([],
|
24
|
+
?assertEqual([], spiral_matrix:make(0)).
|
26
25
|
trivial_spiral_test() ->
|
27
|
-
?assertEqual(?spiral1,
|
26
|
+
?assertEqual(?spiral1, spiral_matrix:make(1)).
|
28
27
|
spiral_of_size_2_test() ->
|
29
|
-
?assertEqual(?spiral2,
|
28
|
+
?assertEqual(?spiral2, spiral_matrix:make(2)).
|
30
29
|
spiral_of_size_3_test() ->
|
31
|
-
?assertEqual(?spiral3,
|
30
|
+
?assertEqual(?spiral3, spiral_matrix:make(3)).
|
32
31
|
spiral_of_size_4_test() ->
|
33
|
-
?assertEqual(?spiral4,
|
32
|
+
?assertEqual(?spiral4, spiral_matrix:make(4)).
|
34
33
|
spiral_of_size_5_test() ->
|
35
|
-
?assertEqual(?spiral5,
|
34
|
+
?assertEqual(?spiral5, spiral_matrix:make(5)).
|
36
35
|
spiral_of_size_500_test() ->
|
37
|
-
M =
|
36
|
+
M = spiral_matrix:make(500),
|
38
37
|
?assertEqual(1, ?get(1,1,M)),
|
39
38
|
?assertEqual(1997, ?get(2,2,M)),
|
40
39
|
?assertEqual(38894, ?get(480,55,M)),
|
41
40
|
?assertEqual(121053, ?get(430,364,M)),
|
42
41
|
?assertEqual(158597, ?get(99,299,M)),
|
43
42
|
?assertEqual(250000, ?get(250,251,M)).
|
43
|
+
|
44
|
+
version_test() ->
|
45
|
+
?assertMatch(1, spiral_matrix:test_version()).
|
@@ -1,51 +1,52 @@
|
|
1
1
|
-module(strain_tests).
|
2
2
|
|
3
|
-
-
|
4
|
-
-
|
5
|
-
-include("exercism.hrl").
|
6
|
-
|
3
|
+
-include_lib("erl_exercism/include/exercism.hrl").
|
4
|
+
-include_lib("eunit/include/eunit.hrl").
|
7
5
|
|
8
6
|
empty_keep_test() ->
|
9
|
-
?assertEqual([],
|
7
|
+
?assertEqual([], strain:keep(fun(X) -> X < 10 end, [])).
|
10
8
|
|
11
9
|
keep_everything_test() ->
|
12
|
-
?assertEqual([1, 2, 3],
|
10
|
+
?assertEqual([1, 2, 3], strain:keep(fun(X) -> X < 10 end, [1,2,3])).
|
13
11
|
|
14
12
|
keep_first_last_test() ->
|
15
|
-
?assertEqual([1, 3],
|
13
|
+
?assertEqual([1, 3], strain:keep(fun(X) -> odd(X) end, [1,2,3])).
|
16
14
|
|
17
15
|
keep_nothin_test() ->
|
18
|
-
?assertEqual([],
|
16
|
+
?assertEqual([], strain:keep(fun(X) -> even(X) end, [1,3,5,7])).
|
19
17
|
|
20
18
|
keep_neither_first_nor_last_test() ->
|
21
|
-
?assertEqual([2],
|
19
|
+
?assertEqual([2], strain:keep(fun(X) -> even(X) end, [1,2,3])).
|
22
20
|
|
23
21
|
keep_strings_test() ->
|
24
22
|
Str = ["apple", "zebra", "banana", "zombies", "cherimoya", "zealot"],
|
25
23
|
?assertEqual(
|
26
24
|
["zebra", "zombies", "zealot"],
|
27
|
-
|
25
|
+
strain:keep(fun(S) -> string:sub_string(S, 1,1) =:= "z" end, Str)).
|
28
26
|
|
29
27
|
empty_discard_test() ->
|
30
|
-
?assertEqual([],
|
28
|
+
?assertEqual([], strain:discard(fun(X) -> X < 10 end, [])).
|
31
29
|
|
32
30
|
discard_everything_test() ->
|
33
|
-
?assertEqual([],
|
31
|
+
?assertEqual([], strain:discard(fun(X) -> X < 10 end, [1,2,3])).
|
34
32
|
|
35
33
|
discard_first_and_last_test() ->
|
36
|
-
?assertEqual([2],
|
34
|
+
?assertEqual([2], strain:discard(fun(X) -> odd(X) end, [1,2,3])).
|
37
35
|
|
38
36
|
discard_nothing_test() ->
|
39
|
-
?assertEqual([1, 3, 5, 7],
|
37
|
+
?assertEqual([1, 3, 5, 7], strain:discard(fun(X) -> even(X) end, [1,3,5,7])).
|
40
38
|
|
41
39
|
discard_neither_first_nor_last_test() ->
|
42
|
-
?assertEqual([1, 3],
|
40
|
+
?assertEqual([1, 3], strain:discard(fun(X) -> even(X) end, [1,2,3])).
|
43
41
|
|
44
42
|
discard_strings_test() ->
|
45
43
|
Str = ["apple", "zebra", "banana", "zombies", "cherimoya", "zealot"],
|
46
44
|
?assertEqual(
|
47
45
|
["apple", "banana", "cherimoya"],
|
48
|
-
|
46
|
+
strain:discard(fun(S) -> string:sub_string(S, 1,1) =:= "z" end, Str)).
|
47
|
+
|
48
|
+
version_test() ->
|
49
|
+
?assertMatch(1, strain:test_version()).
|
49
50
|
|
50
51
|
odd(N) -> N rem 2 > 0.
|
51
52
|
|
@@ -1,39 +1,40 @@
|
|
1
1
|
-module(sum_of_multiples_tests).
|
2
2
|
|
3
|
-
-
|
4
|
-
-
|
5
|
-
-include("exercism.hrl").
|
6
|
-
|
3
|
+
-include_lib("erl_exercism/include/exercism.hrl").
|
4
|
+
-include_lib("eunit/include/eunit.hrl").
|
7
5
|
|
8
6
|
sum_with_3_5_to_1_test() ->
|
9
|
-
?assertEqual(0,
|
7
|
+
?assertEqual(0, sum_of_multiples:sumOfMultiples([3, 5], 1)).
|
10
8
|
|
11
9
|
sum_with_3_5_to_3_test() ->
|
12
|
-
?assertEqual(3,
|
10
|
+
?assertEqual(3, sum_of_multiples:sumOfMultiples([3, 5], 4)).
|
13
11
|
|
14
12
|
sum_with_3_5_to_10_test() ->
|
15
|
-
?assertEqual(23,
|
13
|
+
?assertEqual(23, sum_of_multiples:sumOfMultiples([3, 5], 10)).
|
16
14
|
|
17
15
|
sum_with_3_5_to_100_test() ->
|
18
|
-
?assertEqual(2318,
|
16
|
+
?assertEqual(2318, sum_of_multiples:sumOfMultiples([3, 5], 100)).
|
19
17
|
|
20
18
|
sum_with_3_5_to_1000_test() ->
|
21
|
-
?assertEqual(233168,
|
19
|
+
?assertEqual(233168, sum_of_multiples:sumOfMultiples([3, 5], 1000)).
|
22
20
|
|
23
21
|
sum_with_7_13_17_to_20_test() ->
|
24
|
-
?assertEqual(51,
|
22
|
+
?assertEqual(51, sum_of_multiples:sumOfMultiples([7,13,17], 20)).
|
25
23
|
|
26
24
|
sum_with_4_6_to_15_test() ->
|
27
|
-
?assertEqual(30,
|
25
|
+
?assertEqual(30, sum_of_multiples:sumOfMultiples([4,6], 15)).
|
28
26
|
|
29
27
|
sum_with_5_6_8_to_150_test() ->
|
30
|
-
?assertEqual(4419,
|
28
|
+
?assertEqual(4419, sum_of_multiples:sumOfMultiples([5, 6, 8], 150)).
|
31
29
|
|
32
30
|
sum_with_43_47_to_10000_test() ->
|
33
|
-
?assertEqual(2203160,
|
31
|
+
?assertEqual(2203160, sum_of_multiples:sumOfMultiples([43,47], 10000)).
|
34
32
|
|
35
33
|
sum_with_1_to_100_test() ->
|
36
|
-
?assertEqual(4950,
|
34
|
+
?assertEqual(4950, sum_of_multiples:sumOfMultiples([1], 100)).
|
37
35
|
|
38
36
|
sum_with_empty_to_10000_test() ->
|
39
|
-
?assertEqual(0,
|
37
|
+
?assertEqual(0, sum_of_multiples:sumOfMultiples([], 10000)).
|
38
|
+
|
39
|
+
version_test() ->
|
40
|
+
?assertMatch(1, sum_of_multiples:test_version()).
|
@@ -1,56 +1,57 @@
|
|
1
1
|
-module(triangle_tests).
|
2
2
|
|
3
|
-
-
|
4
|
-
-
|
5
|
-
-include("exercism.hrl").
|
6
|
-
|
3
|
+
-include_lib("erl_exercism/include/exercism.hrl").
|
4
|
+
-include_lib("eunit/include/eunit.hrl").
|
7
5
|
|
8
6
|
equilateral_triangles_have_equal_sides_test() ->
|
9
|
-
?assertMatch(equilateral,
|
7
|
+
?assertMatch(equilateral, triangle:kind(2,2,2)).
|
10
8
|
|
11
9
|
larger_equilateral_triangles_also_have_equal_sides_test() ->
|
12
|
-
?assertMatch(equilateral,
|
10
|
+
?assertMatch(equilateral, triangle:kind(10, 10, 10)).
|
13
11
|
|
14
12
|
isosceles_triangles_have_at_least_two_sides_equal_test() ->
|
15
|
-
?assertMatch(isosceles,
|
13
|
+
?assertMatch(isosceles, triangle:kind(3, 4, 4)).
|
16
14
|
|
17
15
|
isosceles_triangles_have_first_and_last_sides_equal_test() ->
|
18
|
-
?assertMatch(isosceles,
|
16
|
+
?assertMatch(isosceles, triangle:kind(4, 3, 4)).
|
19
17
|
|
20
18
|
isosceles_triangles_have_two_first_sides_equal_test() ->
|
21
|
-
?assertMatch(isosceles,
|
19
|
+
?assertMatch(isosceles, triangle:kind(4, 4, 3)).
|
22
20
|
|
23
21
|
isosceles_triangles_have_in_fact_exactly_two_sides_equal_test() ->
|
24
|
-
?assertMatch(isosceles,
|
22
|
+
?assertMatch(isosceles, triangle:kind(10, 10, 2)).
|
25
23
|
|
26
24
|
scalene_triangles_have_no_equal_sides_test() ->
|
27
|
-
?assertMatch(scalene,
|
25
|
+
?assertMatch(scalene, triangle:kind(3, 4, 5)).
|
28
26
|
|
29
27
|
scalene_triangles_have_no_equal_sides_at_a_larger_scale_too_test() ->
|
30
|
-
?assertMatch(scalene,
|
28
|
+
?assertMatch(scalene, triangle:kind(10, 11, 12)).
|
31
29
|
|
32
30
|
scalene_triangles_have_no_equal_sides_in_descending_order_either_test() ->
|
33
|
-
?assertMatch(scalene,
|
31
|
+
?assertMatch(scalene, triangle:kind(5, 4, 2)).
|
34
32
|
|
35
33
|
very_small_triangles_are_legal_test() ->
|
36
|
-
?assertMatch(scalene,
|
34
|
+
?assertMatch(scalene, triangle:kind(0.4, 0.6, 0.3)).
|
37
35
|
|
38
36
|
triangles_with_no_size_are_illegal_test() ->
|
39
37
|
?assertMatch({error, "all side lengths must be positive"},
|
40
|
-
|
38
|
+
triangle:kind(0, 0, 0)).
|
41
39
|
|
42
40
|
triangles_with_negative_sides_are_illegal_test() ->
|
43
41
|
?assertMatch({error, "all side lengths must be positive"},
|
44
|
-
|
42
|
+
triangle:kind(3, 4, -5)).
|
45
43
|
|
46
44
|
triangles_violating_triangle_inequality_are_illegal_test() ->
|
47
45
|
?assertMatch({error, "side lengths violate triangle inequality"},
|
48
|
-
|
46
|
+
triangle:kind(1, 1, 3)).
|
49
47
|
|
50
48
|
triangles_violating_triangle_inequality_are_illegal_2_test() ->
|
51
49
|
?assertMatch({error, "side lengths violate triangle inequality"},
|
52
|
-
|
50
|
+
triangle:kind(2, 4, 2)).
|
53
51
|
|
54
52
|
triangles_violating_triangle_inequality_are_illegal_3_test() ->
|
55
53
|
?assertMatch({error, "side lengths violate triangle inequality"},
|
56
|
-
|
54
|
+
triangle:kind(7, 3, 2)).
|
55
|
+
|
56
|
+
version_test() ->
|
57
|
+
?assertMatch(1, triangle:test_version()).
|
@@ -1,15 +1,16 @@
|
|
1
1
|
-module(two_fer_tests).
|
2
2
|
|
3
|
-
-
|
4
|
-
-
|
5
|
-
-include("exercism.hrl").
|
6
|
-
|
3
|
+
-include_lib("erl_exercism/include/exercism.hrl").
|
4
|
+
-include_lib("eunit/include/eunit.hrl").
|
7
5
|
|
8
6
|
say_you_test() ->
|
9
|
-
?assertEqual("One for you, one for me.",
|
7
|
+
?assertEqual("One for you, one for me.", two_fer:two_fer()).
|
10
8
|
|
11
9
|
say_alice_test() ->
|
12
|
-
?assertEqual("One for Alice, one for me.",
|
10
|
+
?assertEqual("One for Alice, one for me.", two_fer:two_fer("Alice")).
|
13
11
|
|
14
12
|
say_bob_test() ->
|
15
|
-
?assertEqual("One for Bob, one for me.",
|
13
|
+
?assertEqual("One for Bob, one for me.", two_fer:two_fer("Bob")).
|
14
|
+
|
15
|
+
version_test() ->
|
16
|
+
?assertMatch(1, two_fer:test_version()).
|
@@ -1,9 +1,7 @@
|
|
1
1
|
-module(word_count_tests).
|
2
2
|
|
3
|
-
-
|
4
|
-
-
|
5
|
-
-include("exercism.hrl").
|
6
|
-
|
3
|
+
-include_lib("erl_exercism/include/exercism.hrl").
|
4
|
+
-include_lib("eunit/include/eunit.hrl").
|
7
5
|
|
8
6
|
count_one_word_test() ->
|
9
7
|
assert_count(
|
@@ -64,4 +62,7 @@ symbols_are_separators_test() ->
|
|
64
62
|
{"broken", 1}]).
|
65
63
|
|
66
64
|
assert_count(S, Expect) ->
|
67
|
-
?assertEqual(orddict:from_list(Expect), orddict:from_list(dict:to_list(
|
65
|
+
?assertEqual(orddict:from_list(Expect), orddict:from_list(dict:to_list(word_count:count(S)))).
|
66
|
+
|
67
|
+
version_test() ->
|
68
|
+
?assertMatch(1, word_count:test_version()).
|
@@ -1,15 +1,13 @@
|
|
1
1
|
-module(zipper_tests).
|
2
2
|
|
3
|
-
-
|
4
|
-
-
|
5
|
-
-include("exercism.hrl").
|
6
|
-
|
3
|
+
-include_lib("erl_exercism/include/exercism.hrl").
|
4
|
+
-include_lib("eunit/include/eunit.hrl").
|
7
5
|
|
8
6
|
%% Fixtures and helpers
|
9
7
|
|
10
|
-
bt(V, L, R) ->
|
8
|
+
bt(V, L, R) -> zipper:new_tree(V, L, R).
|
11
9
|
empty() -> nil.
|
12
|
-
leaf(V) ->
|
10
|
+
leaf(V) -> zipper:new_tree(V, empty(), empty()).
|
13
11
|
|
14
12
|
|
15
13
|
t1() -> bt(1, bt(2, empty(), leaf(3)), leaf(4)).
|
@@ -21,80 +19,83 @@ t6() -> bt(1, bt(2, empty(), leaf(5)), leaf(4)).
|
|
21
19
|
|
22
20
|
data_is_retained_test() ->
|
23
21
|
Exp = t1(),
|
24
|
-
?assertMatch(Exp,
|
22
|
+
?assertMatch(Exp, zipper:to_tree(zipper:from_tree(t1()))).
|
25
23
|
|
26
24
|
left_right_and_value_test() ->
|
27
|
-
?assertMatch(3,
|
25
|
+
?assertMatch(3, zipper:value(zipper:right(zipper:left(zipper:from_tree(t1()))))).
|
28
26
|
|
29
27
|
dead_end_test() ->
|
30
28
|
Exp = empty(),
|
31
|
-
?assertMatch(Exp,
|
29
|
+
?assertMatch(Exp, zipper:left(zipper:left(zipper:from_tree(t1())))).
|
32
30
|
|
33
31
|
tree_from_deep_focus_test() ->
|
34
32
|
Exp = t1(),
|
35
|
-
Zipper =
|
36
|
-
?assertMatch(Exp,
|
33
|
+
Zipper = zipper:right(zipper:left(zipper:from_tree(t1()))),
|
34
|
+
?assertMatch(Exp, zipper:to_tree(Zipper)).
|
37
35
|
|
38
36
|
traversing_up_from_top_test() ->
|
39
37
|
Exp = empty(),
|
40
|
-
?assertMatch(Exp,
|
38
|
+
?assertMatch(Exp, zipper:up(zipper:from_tree(t1()))).
|
41
39
|
|
42
40
|
left_right_and_up_test() ->
|
43
|
-
Act0 =
|
44
|
-
Act1 =
|
45
|
-
Act2 =
|
46
|
-
Act3 =
|
47
|
-
Act4 =
|
48
|
-
Act5 =
|
49
|
-
Act6 =
|
50
|
-
?assertMatch(3,
|
41
|
+
Act0 = zipper:from_tree(t1()),
|
42
|
+
Act1 = zipper:left(Act0),
|
43
|
+
Act2 = zipper:up(Act1),
|
44
|
+
Act3 = zipper:right(Act2),
|
45
|
+
Act4 = zipper:up(Act3),
|
46
|
+
Act5 = zipper:left(Act4),
|
47
|
+
Act6 = zipper:right(Act5),
|
48
|
+
?assertMatch(3, zipper:value(Act6)).
|
51
49
|
|
52
50
|
set_value_test() ->
|
53
51
|
Exp = t2(),
|
54
|
-
Act0 =
|
55
|
-
Act1 =
|
56
|
-
Act2 =
|
57
|
-
Act3 =
|
52
|
+
Act0 = zipper:from_tree(t1()),
|
53
|
+
Act1 = zipper:left(Act0),
|
54
|
+
Act2 = zipper:set_value(Act1, 5),
|
55
|
+
Act3 = zipper:to_tree(Act2),
|
58
56
|
?assertMatch(Exp, Act3).
|
59
57
|
|
60
58
|
set_value_after_traversiing_up_test() ->
|
61
59
|
Exp = t2(),
|
62
|
-
Act0 =
|
63
|
-
Act1 =
|
64
|
-
Act2 =
|
65
|
-
Act3 =
|
66
|
-
Act4 =
|
67
|
-
Act5 =
|
60
|
+
Act0 = zipper:from_tree(t1()),
|
61
|
+
Act1 = zipper:left(Act0),
|
62
|
+
Act2 = zipper:right(Act1),
|
63
|
+
Act3 = zipper:up(Act2),
|
64
|
+
Act4 = zipper:set_value(Act3, 5),
|
65
|
+
Act5 = zipper:to_tree(Act4),
|
68
66
|
?assertMatch(Exp, Act5).
|
69
67
|
|
70
68
|
set_left_with_leaf_test() ->
|
71
69
|
Exp = t3(),
|
72
|
-
Act0 =
|
73
|
-
Act1 =
|
74
|
-
Act2 =
|
75
|
-
Act3 =
|
70
|
+
Act0 = zipper:from_tree(t1()),
|
71
|
+
Act1 = zipper:left(Act0),
|
72
|
+
Act2 = zipper:set_left(Act1, leaf(5)),
|
73
|
+
Act3 = zipper:to_tree(Act2),
|
76
74
|
?assertMatch(Exp, Act3).
|
77
75
|
|
78
76
|
set_right_with_empty_test() ->
|
79
77
|
Exp = t4(),
|
80
|
-
Act0 =
|
81
|
-
Act1 =
|
82
|
-
Act2 =
|
83
|
-
Act3 =
|
78
|
+
Act0 = zipper:from_tree(t1()),
|
79
|
+
Act1 = zipper:left(Act0),
|
80
|
+
Act2 = zipper:set_right(Act1, empty()),
|
81
|
+
Act3 = zipper:to_tree(Act2),
|
84
82
|
?assertMatch(Exp, Act3).
|
85
83
|
|
86
84
|
set_right_with_subtree_test() ->
|
87
85
|
Exp = t5(),
|
88
|
-
Act0 =
|
89
|
-
Act1 =
|
90
|
-
Act2 =
|
86
|
+
Act0 = zipper:from_tree(t1()),
|
87
|
+
Act1 = zipper:set_right(Act0, bt(6, leaf(7), leaf(8))),
|
88
|
+
Act2 = zipper:to_tree(Act1),
|
91
89
|
?assertMatch(Exp, Act2).
|
92
90
|
|
93
91
|
set_value_from_deep_focus_test() ->
|
94
92
|
Exp = t6(),
|
95
|
-
Act0 =
|
96
|
-
Act1 =
|
97
|
-
Act2 =
|
98
|
-
Act3 =
|
99
|
-
Act4 =
|
93
|
+
Act0 = zipper:from_tree(t1()),
|
94
|
+
Act1 = zipper:left(Act0),
|
95
|
+
Act2 = zipper:right(Act1),
|
96
|
+
Act3 = zipper:set_value(Act2, 5),
|
97
|
+
Act4 = zipper:to_tree(Act3),
|
100
98
|
?assertMatch(Exp, Act4).
|
99
|
+
|
100
|
+
version_test() ->
|
101
|
+
?assertMatch(1, zipper:test_version()).
|
@@ -131,13 +131,15 @@ generate_test_module(ModuleName, Tests, Version) ->
|
|
131
131
|
tgs:module(SluggedModName ++ "_tests"),
|
132
132
|
nl,
|
133
133
|
erl_syntax:comment([" This file is automatically generated from the exercises canonical data."]),
|
134
|
-
tgs:
|
135
|
-
|
136
|
-
tgs:call_fun("sut", [tgs:atom(SluggedModName)]))),
|
137
|
-
tgs:define("TEST_VERSION", tgs:value(Version)),
|
138
|
-
tgs:include("exercism.hrl"),
|
134
|
+
tgs:include_lib("erl_exercism/include/exercism.hrl"),
|
135
|
+
tgs:include_lib("eunit/include/eunit.hrl"),
|
139
136
|
nl,
|
140
|
-
nl] ++ inter(nl, lists:flatten(Tests))
|
137
|
+
nl] ++ inter(nl, lists:flatten(Tests)) ++ [
|
138
|
+
nl,
|
139
|
+
tgs:simple_fun("version_test", [
|
140
|
+
tgs:call_macro("assertMatch", [
|
141
|
+
tgs:value(Version),
|
142
|
+
tgs:call_fun(SluggedModName ++ ":test_version", [])])])],
|
141
143
|
|
142
144
|
{SluggedModName ++ "_tests", lists:flatten(
|
143
145
|
lists:map(
|
@@ -23,7 +23,7 @@ generate_test(F = #{description := Desc, expected := Exp, property := Prop, inpu
|
|
23
23
|
Fn = tgs:simple_fun(TestName, [
|
24
24
|
tgs:call_macro("assertMatch", [
|
25
25
|
tgs:value(Expected),
|
26
|
-
tgs:
|
26
|
+
tgs:call_fun("bob:" ++ Property, [
|
27
27
|
tgs:value(Sentence)])])]),
|
28
28
|
|
29
29
|
{ok, Fn, [{Property, ["String"]}]}.
|
@@ -21,7 +21,7 @@ generate_test(#{description := Desc, expected := #{error := Message}, property :
|
|
21
21
|
Fn = tgs:simple_fun(TestName, [
|
22
22
|
tgs:call_macro("assertMatch", [
|
23
23
|
tgs:value({error, binary_to_list(Message)}),
|
24
|
-
tgs:
|
24
|
+
tgs:call_fun("collatz_conjecture:" ++ Property, [
|
25
25
|
tgs:value(Num)])])]),
|
26
26
|
|
27
27
|
{ok, Fn, [{Prop, ["N"]}]};
|
@@ -32,7 +32,7 @@ generate_test(#{description := Desc, expected := Exp, property := Prop, number :
|
|
32
32
|
Fn = tgs:simple_fun(TestName, [
|
33
33
|
tgs:call_macro("assertMatch", [
|
34
34
|
tgs:value(Exp),
|
35
|
-
tgs:
|
35
|
+
tgs:call_fun("collatz_conjecture:" ++ Property, [
|
36
36
|
tgs:value(Num)])])]),
|
37
37
|
|
38
38
|
{ok, Fn, [{Prop, ["N"]}]}.
|