home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / ASSERT4.REF < prev    next >
Text File  |  1996-06-04  |  693b  |  80 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. X = 3.
  6. --1> 
  7. *** No
  8. > 
  9. *** Yes
  10. X = 1 + 2.
  11. --1> 
  12. *** No
  13. > 
  14. f1 -> 3.
  15.  
  16. f2 -> 1 + 2.
  17.  
  18. *** Yes
  19. > 
  20. *** Yes
  21. X = 14.
  22. --1> 
  23. *** No
  24. > 
  25. *** Yes
  26. X = 5 + 9.
  27. --1> 
  28. *** No
  29. > 
  30. f1 -> 14.
  31. f1 -> 3.
  32.  
  33. f2 -> 5 + 9.
  34. f2 -> 1 + 2.
  35.  
  36. *** Yes
  37. > 
  38. *** Yes
  39. X = (f1 -> 14).
  40. --1> 
  41. *** Yes
  42. X = (f1 -> 3).
  43. --1> 
  44. *** No
  45. > 
  46. *** Yes
  47. X = (f2 -> 5 + 9).
  48. --1> 
  49. *** Yes
  50. X = (f2 -> 1 + 2).
  51. --1> 
  52. *** No
  53. > 
  54. *** Yes
  55. Y = 5 + 9, Z = Y.
  56. --1> 
  57. *** Yes
  58. Y = 1 + 2, Z = Y.
  59. --1> 
  60. *** No
  61. > 
  62. *** Yes
  63. --1> 
  64. *** Yes
  65. > 
  66. *** Yes
  67. X = (f2 -> 5 + 9).
  68. --1> 
  69. *** Yes
  70. X = (f2 -> 1 + 2).
  71. --1> 
  72. *** No
  73. > 
  74. % 'f1' is a user-defined function with an empty definition.
  75.  
  76. % 'f2' is a user-defined function with an empty definition.
  77.  
  78. *** Yes
  79. > 
  80.