home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / NONSTRIC.R00 < prev    next >
Text File  |  1996-06-04  |  283b  |  33 lines

  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. A = s(a(X),b(X)), X = 1 + 2.
  6. --1> 
  7. *** No
  8. *** Yes
  9. B = s(b(X),a(X)), X = 1 + 2.
  10. --1> 
  11. *** No
  12. *** Yes
  13. C = s(a(X),b(X)), X = 1 + 2.
  14. --1> 
  15. *** No
  16. *** Yes
  17. D = s(b(X),a(X)), X = 1 + 2.
  18. --1> 
  19. *** No
  20. *** Yes
  21. *** Yes
  22. *** Yes
  23. X = 1 + 2.
  24. --1> 
  25. *** No
  26.