Author: niels
Date: Wed Oct 15 19:55:51 2008
New Revision: 3446
URL: http://svn.gna.org/viewcvs/service-tech?rev=3446&view=rev
Log:
* test cases for BDDs -- "make check" now runs smoothly on Windows and Mac OS
* Note: "make distcheck" does not succeed, because the test scripts seem not to
be allowed to created files. @Berlin: could somebody please fix this. Please.
:-)
Added:
trunk/fiona/tests/bdd_ref/myCoffee.owfn
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.OG.BDD_ANN.cudd
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.OG.BDD_ANN.out
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.OG.BDD_MP.cudd
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.OG.BDD_MP.out
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_ANN.png (with
props)
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.BDD_MP.png (with
props)
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.out
trunk/fiona/tests/bdd_ref/myCoffee_reference.owfn.og.png (with props)
trunk/fiona/tests/bdd_ref/myCoffee_reference_assignments.txt
trunk/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.OG.BDD_ANN.cudd_alt
trunk/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.OG.BDD_MP.cudd_alt
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.OG.BDD_ANN.cudd_alt
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.OG.BDD_ANN.out
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.OG.BDD_MP.cudd_alt
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.OG.BDD_MP.out
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.og
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_ANN.png (with
props)
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.og.BDD_MP.png (with
props)
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.og.out
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.og.png (with props)
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn_alt
trunk/fiona/tests/bdd_ref/sequence3_reference_assignments.txt
Modified:
trunk/fiona/Makefile.am
trunk/fiona/src/BddRepresentation.cc
trunk/fiona/src/BddRepresentation.h
trunk/fiona/tests/Makefile.am
trunk/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.OG.BDD_ANN.cudd
trunk/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.OG.BDD_MP.cudd
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.OG.BDD_ANN.cudd
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.OG.BDD_MP.cudd
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.OG.png
trunk/fiona/tests/bddtest.sh
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to [EMAIL
PROTECTED] If you want to unsubscribe or make any changes to your subscription,
please go to
https://mail.gna.org/listinfo/service-tech-commits.
