| summaryrefslogtreecommitdiff | 
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2020-11-07 23:59:01 +0100 | 
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2020-11-07 23:59:01 +0100 | 
| commit | 1cefec4d67ac4dbf58aab14fac51e3671688a5f6 (patch) | |
| tree | 60a60919d5a77308202e34417e2a7716aaabc416 /data/unit-testing/filter.fate | |
| parent | 0b92419a57fc6a27b2701a688cf7ac3b1707241f (diff) | |
More unit testing...
Diffstat (limited to 'data/unit-testing/filter.fate')
| -rw-r--r-- | data/unit-testing/filter.fate | 292 | 
1 files changed, 292 insertions, 0 deletions
| diff --git a/data/unit-testing/filter.fate b/data/unit-testing/filter.fate new file mode 100644 index 0000000..d71b057 --- /dev/null +++ b/data/unit-testing/filter.fate @@ -0,0 +1,292 @@ +(fate_version 1) + +(global string test_name) + +(set test_name ( FILTER )) + +(global (list int) 0to10) +(global (list int) 0to10odd) +(global (list int) 0to10even) + +(set 0to10 (range 0 10 1)) + +(set 0to10odd +   (filter +      (lambda ((int i) (int two) (int one)) (= (mod i two) (var one))) +      0to10 +      2 +      1 +   ) +) + +(local (lambda bool (int)) filter_fun) + +(set filter_fun (lambda ((int i)) (= (mod i 2) 0))) +(set 0to10even +   (filter filter_fun 0to10) +) + +(assert +   (= 0 (var 0to10even.0)) +   [FAILED] (var test_name) Failed 0to10even.0: (var 0to10even.0). +) + +(assert +   (= 1 (var 0to10odd.0)) +   [FAILED] (var test_name) Failed 0to10odd.0: (var 0to10odd.0). +) + +(assert +   (= 2 (var 0to10even.1)) +   [FAILED] (var test_name) Failed 0to10even.1: (var 0to10even.1). +) + +(assert +   (= 3 (var 0to10odd.1)) +   [FAILED] (var test_name) Failed 0to10odd.1: (var 0to10odd.1). +) + +(assert +   (= 4 (var 0to10even.2)) +   [FAILED] (var test_name) Failed 0to10even.2: (var 0to10even.2). +) + +(assert +   (= 5 (var 0to10odd.2)) +   [FAILED] (var test_name) Failed 0to10odd.2: (var 0to10odd.2). +) + +(assert +   (= 6 (var 0to10even.3)) +   [FAILED] (var test_name) Failed 0to10even.3: (var 0to10even.3). +) + +(assert +   (= 7 (var 0to10odd.3)) +   [FAILED] (var test_name) Failed 0to10odd.3: (var 0to10odd.3). +) + +(assert +   (= 8 (var 0to10even.4)) +   [FAILED] (var test_name) Failed 0to10even.4: (var 0to10even.4). +) + +(assert +   (= 9 (var 0to10odd.4)) +   [FAILED] (var test_name) Failed 0to10odd.4: (var 0to10odd.4). +) + +(assert +   (= 10 (var 0to10even.5)) +   [FAILED] (var test_name) Failed 0to10even.5: (var 0to10even.5). +) + +(global (list int) 0to10odd2) +(global (list int) 0to10even2) + +(set 0to10odd2 (var 0to10)) +(set 0to10even2 (var 0to10)) + +(filter! +   (lambda ((int i) (int two) (int one)) (= (mod i two) (var one))) +   0to10odd2 +   2 +   1 +) + +(filter! filter_fun 0to10even2) + +(assert +   (= 0 (var 0to10even2.0)) +   [FAILED] (var test_name) Failed 0to10even2.0: (var 0to10even2.0). +) + +(assert +   (= 1 (var 0to10odd2.0)) +   [FAILED] (var test_name) Failed 0to10odd2.0: (var 0to10odd2.0). +) + +(assert +   (= 2 (var 0to10even2.1)) +   [FAILED] (var test_name) Failed 0to10even2.1: (var 0to10even2.1). +) + +(assert +   (= 3 (var 0to10odd2.1)) +   [FAILED] (var test_name) Failed 0to10odd2.1: (var 0to10odd2.1). +) + +(assert +   (= 4 (var 0to10even2.2)) +   [FAILED] (var test_name) Failed 0to10even2.2: (var 0to10even2.2). +) + +(assert +   (= 5 (var 0to10odd2.2)) +   [FAILED] (var test_name) Failed 0to10odd2.2: (var 0to10odd2.2). +) + +(assert +   (= 6 (var 0to10even2.3)) +   [FAILED] (var test_name) Failed 0to10even2.3: (var 0to10even2.3). +) + +(assert +   (= 7 (var 0to10odd2.3)) +   [FAILED] (var test_name) Failed 0to10odd2.3: (var 0to10odd2.3). +) + +(assert +   (= 8 (var 0to10even2.4)) +   [FAILED] (var test_name) Failed 0to10even2.4: (var 0to10even2.4). +) + +(assert +   (= 9 (var 0to10odd2.4)) +   [FAILED] (var test_name) Failed 0to10odd2.4: (var 0to10odd2.4). +) + +(assert +   (= 10 (var 0to10even2.5)) +   [FAILED] (var test_name) Failed 0to10even2.5: (var 0to10even2.5). +) + +(set 0to10odd +   (indexed_filter +      (lambda ((int ix) (int i) (int two) (int one)) (= (mod i two) (var one))) +      0to10 +      2 +      1 +   ) +) + +(local (lambda bool (int int)) indexed_filter_fun) + +(set indexed_filter_fun (lambda ((int ix) (int i)) (= (mod i 2) 0))) +(set 0to10even (indexed_filter indexed_filter_fun 0to10)) + +(assert +   (= 0 (var 0to10even.0)) +   [FAILED] (var test_name) Failed indexed 0to10even.0: (var 0to10even.0). +) + +(assert +   (= 1 (var 0to10odd.0)) +   [FAILED] (var test_name) Failed indexed 0to10odd.0: (var 0to10odd.0). +) + +(assert +   (= 2 (var 0to10even.1)) +   [FAILED] (var test_name) Failed indexed 0to10even.1: (var 0to10even.1). +) + +(assert +   (= 3 (var 0to10odd.1)) +   [FAILED] (var test_name) Failed indexed 0to10odd.1: (var 0to10odd.1). +) + +(assert +   (= 4 (var 0to10even.2)) +   [FAILED] (var test_name) Failed indexed 0to10even.2: (var 0to10even.2). +) + +(assert +   (= 5 (var 0to10odd.2)) +   [FAILED] (var test_name) Failed indexed 0to10odd.2: (var 0to10odd.2). +) + +(assert +   (= 6 (var 0to10even.3)) +   [FAILED] (var test_name) Failed indexed 0to10even.3: (var 0to10even.3). +) + +(assert +   (= 7 (var 0to10odd.3)) +   [FAILED] (var test_name) Failed indexed 0to10odd.3: (var 0to10odd.3). +) + +(assert +   (= 8 (var 0to10even.4)) +   [FAILED] (var test_name) Failed indexed 0to10even.4: (var 0to10even.4). +) + +(assert +   (= 9 (var 0to10odd.4)) +   [FAILED] (var test_name) Failed indexed 0to10odd.4: (var 0to10odd.4). +) + +(assert +   (= 10 (var 0to10even.5)) +   [FAILED] (var test_name) Failed indexed 0to10even.5: (var 0to10even.5). +) + +(set 0to10odd2 (var 0to10)) +(set 0to10even2 (var 0to10)) + +(indexed_filter! +   (lambda ((int ix) (int i) (int two) (int one)) (= (mod i two) (var one))) +   0to10odd2 +   2 +   1 +) + +(indexed_filter! indexed_filter_fun 0to10even2) + +(assert +   (= 0 (var 0to10even2.0)) +   [FAILED] (var test_name) Failed indexed 0to10even2.0: (var 0to10even2.0). +) + +(assert +   (= 1 (var 0to10odd2.0)) +   [FAILED] (var test_name) Failed indexed 0to10odd2.0: (var 0to10odd2.0). +) + +(assert +   (= 2 (var 0to10even2.1)) +   [FAILED] (var test_name) Failed indexed 0to10even2.1: (var 0to10even2.1). +) + +(assert +   (= 3 (var 0to10odd2.1)) +   [FAILED] (var test_name) Failed indexed 0to10odd2.1: (var 0to10odd2.1). +) + +(assert +   (= 4 (var 0to10even2.2)) +   [FAILED] (var test_name) Failed indexed 0to10even2.2: (var 0to10even2.2). +) + +(assert +   (= 5 (var 0to10odd2.2)) +   [FAILED] (var test_name) Failed indexed 0to10odd2.2: (var 0to10odd2.2). +) + +(assert +   (= 6 (var 0to10even2.3)) +   [FAILED] (var test_name) Failed indexed 0to10even2.3: (var 0to10even2.3). +) + +(assert +   (= 7 (var 0to10odd2.3)) +   [FAILED] (var test_name) Failed indexed 0to10odd2.3: (var 0to10odd2.3). +) + +(assert +   (= 8 (var 0to10even2.4)) +   [FAILED] (var test_name) Failed indexed 0to10even2.4: (var 0to10even2.4). +) + +(assert +   (= 9 (var 0to10odd2.4)) +   [FAILED] (var test_name) Failed indexed 0to10odd2.4: (var 0to10odd2.4). +) + +(assert +   (= 10 (var 0to10even2.5)) +   [FAILED] (var test_name) Failed indexed 0to10even2.5: (var 0to10even2.5). +) + +[COMPLETED] (var test_name) + +(end) | 


