home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / PROVE.REF < prev    next >
Text File  |  1996-06-04  |  351b  |  37 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. X = @~.
  6. --1> 
  7. *** Yes
  8. X = !.
  9. ----2> 
  10. *** No
  11. X = @~.
  12. --1> 12
  13. *** Yes
  14. X = (write(1), !, write(2)).
  15. ----2> 
  16. *** No
  17. X = @~.
  18. --1> 123
  19. *** No
  20. X = @~.
  21. --1> @
  22. *** No
  23. X = @~.
  24. --1> 
  25. *** Yes
  26. A = @, X = @~, Y = (A = 1, write(A), fail).
  27. ----2> 1
  28. *** No
  29. A = @, X = @~, Y = (A = 1, write(A), fail).
  30. ----2> > 
  31. *** Yes
  32. > 
  33. *** Yes
  34. > 
  35. *** Yes
  36. > > 
  37.