| summaryrefslogtreecommitdiff | 
diff options
Diffstat (limited to 'data/unit-testing/cond.fate')
| -rw-r--r-- | data/unit-testing/cond.fate | 74 | 
1 files changed, 37 insertions, 37 deletions
| diff --git a/data/unit-testing/cond.fate b/data/unit-testing/cond.fate index 0eae815..1e73c8f 100644 --- a/data/unit-testing/cond.fate +++ b/data/unit-testing/cond.fate @@ -2,7 +2,7 @@  (global string test_name) -(set test_name ( COND )) +(set! test_name ( COND ))  (global bool test) @@ -11,138 +11,138 @@  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;  (cond     ((false) -      (assert (false) [FAILED] (var test_name) Reached dead code 0.) +      (assert! (false) [FAILED] (var test_name) Reached dead code 0.)     )  )  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(set test (false)) +(set! test (false))  (cond     ((true) -      (set test (true)) +      (set! test (true))     )  ) -(assert test [FAILED] (var test_name) Ignored correct branch 0.) +(assert! test [FAILED] (var test_name) Ignored correct branch 0.)  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(set test (false)) +(set! test (false))  (cond     ((false) -      (assert (false) [FAILED] (var test_name) Reached dead code 1.) +      (assert! (false) [FAILED] (var test_name) Reached dead code 1.)     )     ((false) -      (assert (false) [FAILED] (var test_name) Reached dead code 2.) +      (assert! (false) [FAILED] (var test_name) Reached dead code 2.)     )     ((true) -      (set test (true)) +      (set! test (true))     )     ((false) -      (assert (false) [FAILED] (var test_name) Reached dead code 3.) +      (assert! (false) [FAILED] (var test_name) Reached dead code 3.)     )  ) -(assert test [FAILED] (var test_name) Ignored correct branch 1.) +(assert! test [FAILED] (var test_name) Ignored correct branch 1.)  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(set test (false)) +(set! test (false))  (cond     ((false) -      (assert (false) [FAILED] (var test_name) Reached dead code 4.) +      (assert! (false) [FAILED] (var test_name) Reached dead code 4.)     )     ((false) -      (assert (false) [FAILED] (var test_name) Reached dead code 5.) +      (assert! (false) [FAILED] (var test_name) Reached dead code 5.)     )     ((true) -      (set test (true)) +      (set! test (true))     )     ((true) -      (assert (false) [FAILED] (var test_name) Reached dead code 6.) +      (assert! (false) [FAILED] (var test_name) Reached dead code 6.)     )     ((false) -      (assert (false) [FAILED] (var test_name) Reached dead code 7.) +      (assert! (false) [FAILED] (var test_name) Reached dead code 7.)     )  ) -(assert test [FAILED] (var test_name) Ignored correct branch 2.) +(assert! test [FAILED] (var test_name) Ignored correct branch 2.)  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(set test (false)) +(set! test (false))  (cond     ((false) -      (assert (false) [FAILED] (var test_name) Reached dead code 8.) +      (assert! (false) [FAILED] (var test_name) Reached dead code 8.)     )     ((false) -      (assert (false) [FAILED] (var test_name) Reached dead code 9.) +      (assert! (false) [FAILED] (var test_name) Reached dead code 9.)     )     ((true) -      (set test (true)) +      (set! test (true))     )     ((true) -      (assert (false) [FAILED] (var test_name) Reached dead code 10.) +      (assert! (false) [FAILED] (var test_name) Reached dead code 10.)     )  ) -(assert test [FAILED] (var test_name) Ignored correct branch 3.) +(assert! test [FAILED] (var test_name) Ignored correct branch 3.)  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(set test (false)) +(set! test (false))  (cond     ((false)        (cond           ((true) -            (assert (false) [FAILED] (var test_name) Reached dead code 11.) +            (assert! (false) [FAILED] (var test_name) Reached dead code 11.)           )        )     )     ((false)        (cond           ((true) -            (assert (false) [FAILED] (var test_name) Reached dead code 12.) +            (assert! (false) [FAILED] (var test_name) Reached dead code 12.)           )        )     )     ((true)        (cond           ((true) -            (set test (true)) +            (set! test (true))           )           ((false) -            (assert (false) [FAILED] (var test_name) Reached dead code 13.) +            (assert! (false) [FAILED] (var test_name) Reached dead code 13.)           )        )     )     ((true)        (cond           ((true) -            (assert (false) [FAILED] (var test_name) Reached dead code 14.) +            (assert! (false) [FAILED] (var test_name) Reached dead code 14.)           )        )     )  ) -(assert test [FAILED] (var test_name) Ignored correct branch 4.) +(assert! test [FAILED] (var test_name) Ignored correct branch 4.)  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;  ;;;; COMPUTATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(assert +(assert!     (cond ((false) (true)))     [FAILED] (var test_name) Questionable default value.  ) -(assert +(assert!     (cond ((true) (true)))     [FAILED] (var test_name) Simple computation test 0.  ) -(assert +(assert!     (cond        ((false) (true))        ((true) (true)) @@ -150,7 +150,7 @@     [FAILED] (var test_name) Simple computation test 1.  ) -(assert +(assert!     (cond        ((true) (true))        ((false) (true)) @@ -158,7 +158,7 @@     [FAILED] (var test_name) Simple computation test 2.  ) -(assert +(assert!     (cond        (           (cond @@ -176,4 +176,4 @@  [COMPLETED] (var test_name) -(end) +(end!) | 


