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