mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 18:03:36 +00:00
6ffec8a4af
library/array.m:
library/version_array.m:
Add the above predicates.
NEWS:
Announce the new predicates.
tests/hard_coded/Mmakefile:
tests/hard_coded/array_all_tf.{m,exp}:
Test the new predicates.
tests/hard_coded/version_array_test.{m,exp}:
Extend this test case to cover the new predicates.
7 lines
305 B
Plaintext
7 lines
305 B
Plaintext
TEST: all_true(even, array([2, 4, 6, 8, 10])): PASSED
|
|
TEST: all_false(odd, array([2, 4, 6, 8, 10])): PASSED
|
|
TEST: all_true(even, array([])): PASSED
|
|
TEST: all_false(even, array([])): PASSED
|
|
TEST: not all_true(odd, array([2, 4, 6, 8, 10])): PASSED
|
|
TEST: not all_false(even, array([2, 4, 6, 8, 10])): PASSED
|