Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001648OCamlOCaml generalpublic2003-04-19 14:302003-07-16 19:30
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001648: || should be && in test/bdd.ml
DescriptionIn test/bdd.ml, I think

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

should instead read

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

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 tim@fungible.com
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
(0001285)
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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker