Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001648OCaml~DO NOT USE (was: OCaml general)public2003-04-19 14:302003-07-16 19:30
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001648: || should be && in test/
DescriptionIn test/, I think

  let succeeded = ref true in
  for i = 1 to ntests do
    succeeded := !succeeded || (* Look here! *) test_hwb bdd (random_vars n)

should instead read

  let succeeded = ref true in
  for i = 1 to ntests do
    succeeded := !succeeded && test_hwb bdd (random_vars n)

otherwise "test_hwb" never gets called and the script is guaranteed to
print "OK" any time it doesn't fail.

Unfortunately, if I make this change, the script does fail when it
references an array out of bounds.

Tim Freeman
Which is worse: ignorance or apathy? Who knows? Who cares?
GPG public key fingerprint ECDF 46F8 3B80 BB9E 575D 7180 76DF FE00 34B1 5C78

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
administrator (administrator)
2003-07-16 19:30

fixed by DD on 2003-07-16

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker