Boost logo

Boost-Commit :

Date view Thread view Subject view Author view

Subject: [Boost-commit] svn:boost r58815 - in sandbox/itl/libs/validate: example test
From: afojgo_at_[hidden]
Date: 2010-01-08 13:06:54

Author: jofaber
Date: 2010-01-08 13:06:53 EST (Fri, 08 Jan 2010)
New Revision: 58815
URL: http://svn.boost.org/trac/boost/changeset/58815

Log:
Checked Jamfiles and sln-files for completeness. Added some tests.
Text files modified:
   sandbox/itl/libs/validate/example/Jamfile.v2 | 178 ++++++++++++++++++++++++++++++---------
   sandbox/itl/libs/validate/example/vc9_validate_examples.sln | 18 ++++
   sandbox/itl/libs/validate/test/Jamfile.v2 | 140 +++++++++++++++---------------
   3 files changed, 225 insertions(+), 111 deletions(-)

Modified: sandbox/itl/libs/validate/example/Jamfile.v2
==============================================================================
--- sandbox/itl/libs/validate/example/Jamfile.v2 (original)
+++ sandbox/itl/libs/validate/example/Jamfile.v2 2010-01-08 13:06:53 EST (Fri, 08 Jan 2010)
@@ -2,134 +2,230 @@
 # Distributed under the Boost Software License, Version 1.0.
 # (See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
 
+project
+ : requirements
+ <toolset>msvc:<warnings>all # == /W4
+ <toolset>msvc:<define>_SCL_SECURE_NO_WARNINGS
+ <toolset>msvc:<define>_SCL_SECURE_NO_DEPRECATE
+ <toolset>msvc:<define>_CRT_SECURE_NO_WARNINGS
+ <toolset>msvc:<define>_CRT_SECURE_NO_DEPRECATE
+
+ #-------------------------------------------------------------------------
+ # LaBatea generates large obj files for some test programs e.g.
+ # test_map_order: For that we need flag /bigobj
+ #-------------------------------------------------------------------------
+ <toolset>msvc:<cxxflags>/bigobj # Via metaprogramming LaBatea generates bigobjs.
+ ;
+
 obj gentorprofile.obj : ../src/gentor/gentorprofile.cpp ;
 
-exe labat_single
+# 1.1 Small documented law test
+exe de_morgan
     :
- labat_single_/labat_single.cpp
- gentorprofile.obj
- /boost/date_time//boost_date_time
+ de_morgan_/de_morgan.cpp
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
     :
         <include>../../..
         <include>$(BOOST_ROOT)
     ;
    
-# msvc9 compilation time: 0:38
+# 2.19 msvc9 compilation time: 0:38
 exe labat_val_relations
     :
         labat_val_relations_/labat_val_relations.cpp
- gentorprofile.obj
- /boost/date_time//boost_date_time
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
     :
         <include>../../..
         <include>$(BOOST_ROOT)
     ;
 
-# msvc9 compilation time: 1:01
+# 3.7 msvc9 compilation time: 1:01
 exe labat_set_copy_conformity
     :
- set_copy_conformity_/labat_set_copy_conformity.cpp
- gentorprofile.obj
- /boost/date_time//boost_date_time
+ labat_set_copy_conformity_/labat_set_copy_conformity.cpp
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
     :
         <include>../../..
         <include>$(BOOST_ROOT)
     ;
 
-# msvc9 compilation time: 1:03
+# 4.6 msvc9 compilation time: 1:03
 exe labat_map_copy_conformity
     :
- map_copy_conformity_/labat_map_copy_conformity.cpp
- gentorprofile.obj
- /boost/date_time//boost_date_time
+ labat_map_copy_conformity_/labat_map_copy_conformity.cpp
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
     :
         <include>../../..
         <include>$(BOOST_ROOT)
     ;
 
-# msvc9 compilation time: 1:05
+# 5.5 msvc9 compilation time: 1:05
 exe labat_itv_bitset
     :
         labat_itv_bitset_/labat_itv_bitset.cpp
- gentorprofile.obj
- /boost/date_time//boost_date_time
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
     :
         <include>../../..
         <include>$(BOOST_ROOT)
     ;
 
-# msvc9 compilation time: 1:28
+# 6.4 msvc9 compilation time: 1:28
 exe labat_itl_set
     :
         labat_itl_set_/labat_itl_set.cpp
- gentorprofile.obj
- /boost/date_time//boost_date_time
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
     :
         <include>../../..
         <include>$(BOOST_ROOT)
     ;
    
-# msvc9 compilation time: 1:35
+# 7.2 msvc9 compilation time: 1:35
 exe labat_collector
     :
         labat_collector_/labat_collector.cpp
- gentorprofile.obj
- /boost/date_time//boost_date_time
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
     :
         <include>../../..
         <include>$(BOOST_ROOT)
     ;
    
-# msvc9 compilation time: 1:42
+# 8.19 msvc9 compilation time: 1:42
 exe labat_unsigned_quantifier
     :
         labat_unsigned_quantifier_/labat_unsigned_quantifier.cpp
- gentorprofile.obj
- /boost/date_time//boost_date_time
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
     :
         <include>../../..
         <include>$(BOOST_ROOT)
     ;
    
-# msvc9 compilation time: 1:56
+# 9.2 msvc9 compilation time: 1:56
 exe labat_bit_collector
     :
         labat_bit_collector_/labat_bit_collector.cpp
- gentorprofile.obj
- /boost/date_time//boost_date_time
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
+ :
+ <include>../../..
+ <include>$(BOOST_ROOT)
+ ;
+
+# 10.9
+exe labat_set_order
+ :
+ labat_set_order_/labat_set_order.cpp
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
+ :
+ <include>../../..
+ <include>$(BOOST_ROOT)
+ ;
+
+# 11.7
+exe labat_map_order
+ :
+ labat_map_order_/labat_map_order.cpp
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
     :
         <include>../../..
         <include>$(BOOST_ROOT)
     ;
    
-# msvc9 compilation time: 2:17
+# 12.3
 exe labat_itl_morphic
     :
         labat_itl_morphic_/labat_itl_morphic.cpp
- gentorprofile.obj
- /boost/date_time//boost_date_time
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
     :
         <include>../../..
         <include>$(BOOST_ROOT)
     ;
    
-# msvc9 compilation time: 2:36
+# 13.10 msvc9 compilation time: 2:36
 exe labat_signed_quantifier
     :
         labat_signed_quantifier_/labat_signed_quantifier.cpp
- gentorprofile.obj
- /boost/date_time//boost_date_time
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
+ :
+ <include>../../..
+ <include>$(BOOST_ROOT)
+ ;
+
+# 14.12
+exe labat_sorted_assoc_set
+ :
+ labat_sorted_assoc_set_/labat_sorted_assoc_set.cpp
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
     :
         <include>../../..
         <include>$(BOOST_ROOT)
     ;
    
-# msvc9 compilation time: 3:43
-exe labat_itl_order
+
+# 15.13
+exe labat_sorted_assoc_set_back
+ :
+ labat_sorted_assoc_set_back_/labat_sorted_assoc_set_back.cpp
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
+ :
+ <include>../../..
+ <include>$(BOOST_ROOT)
+ ;
+
+# 16.14
+exe labat_sorted_assoc_map
+ :
+ labat_sorted_assoc_map_/labat_sorted_assoc_map.cpp
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
+ :
+ <include>../../..
+ <include>$(BOOST_ROOT)
+ ;
+
+
+# 17.15
+exe labat_sorted_assoc_map_back
+ :
+ labat_sorted_assoc_map_back_/labat_sorted_assoc_map_back.cpp
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
+ :
+ <include>../../..
+ <include>$(BOOST_ROOT)
+ ;
+
+# 18.16
+exe labat_sorted_assoc_bitset
+ :
+ labat_sorted_assoc_bitset_/labat_sorted_assoc_bitset.cpp
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
+ :
+ <include>../../..
+ <include>$(BOOST_ROOT)
+ ;
+
+
+# 19.17
+exe labat_sorted_assoc_bitset_back
     :
- labat_itl_order_/labat_itl_order.cpp
- gentorprofile.obj
- /boost/date_time//boost_date_time
+ labat_sorted_assoc_bitset_back_/labat_sorted_assoc_bitset_back.cpp
+ gentorprofile.obj
+ /boost/date_time//boost_date_time
     :
         <include>../../..
         <include>$(BOOST_ROOT)

Modified: sandbox/itl/libs/validate/example/vc9_validate_examples.sln
==============================================================================
--- sandbox/itl/libs/validate/example/vc9_validate_examples.sln (original)
+++ sandbox/itl/libs/validate/example/vc9_validate_examples.sln 2010-01-08 13:06:53 EST (Fri, 08 Jan 2010)
@@ -33,6 +33,12 @@
 EndProject
 Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "vc9_labat_signed_quantifier", "labat_signed_quantifier_\vc9_labat_signed_quantifier.vcproj", "{BF42574F-66E2-42DD-90D9-3A8FCE6F4721}"
 EndProject
+Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "vc9_labat_set_copy_conformity", "labat_set_copy_conformity_\vc9_labat_set_copy_conformity.vcproj", "{BF42574F-66E2-42DD-90D9-3A8FCE6F473F}"
+EndProject
+Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "vc9_labat_map_copy_conformity", "labat_map_copy_conformity_\vc9_labat_map_copy_conformity.vcproj", "{BF42574F-66E2-42DD-90D9-3A8FCE6F472F}"
+EndProject
+Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "vc9_labat_set_order", "labat_set_order_\vc9_labat_set_order.vcproj", "{BF42574F-66E2-42DD-90D9-3A8FCE6F4728}"
+EndProject
 Global
         GlobalSection(SolutionConfigurationPlatforms) = preSolution
                 Debug|Win32 = Debug|Win32
@@ -103,6 +109,18 @@
                 {BF42574F-66E2-42DD-90D9-3A8FCE6F4721}.Debug|Win32.Build.0 = Debug|Win32
                 {BF42574F-66E2-42DD-90D9-3A8FCE6F4721}.Release|Win32.ActiveCfg = Release|Win32
                 {BF42574F-66E2-42DD-90D9-3A8FCE6F4721}.Release|Win32.Build.0 = Release|Win32
+ {BF42574F-66E2-42DD-90D9-3A8FCE6F473F}.Debug|Win32.ActiveCfg = Debug|Win32
+ {BF42574F-66E2-42DD-90D9-3A8FCE6F473F}.Debug|Win32.Build.0 = Debug|Win32
+ {BF42574F-66E2-42DD-90D9-3A8FCE6F473F}.Release|Win32.ActiveCfg = Release|Win32
+ {BF42574F-66E2-42DD-90D9-3A8FCE6F473F}.Release|Win32.Build.0 = Release|Win32
+ {BF42574F-66E2-42DD-90D9-3A8FCE6F472F}.Debug|Win32.ActiveCfg = Debug|Win32
+ {BF42574F-66E2-42DD-90D9-3A8FCE6F472F}.Debug|Win32.Build.0 = Debug|Win32
+ {BF42574F-66E2-42DD-90D9-3A8FCE6F472F}.Release|Win32.ActiveCfg = Release|Win32
+ {BF42574F-66E2-42DD-90D9-3A8FCE6F472F}.Release|Win32.Build.0 = Release|Win32
+ {BF42574F-66E2-42DD-90D9-3A8FCE6F4728}.Debug|Win32.ActiveCfg = Debug|Win32
+ {BF42574F-66E2-42DD-90D9-3A8FCE6F4728}.Debug|Win32.Build.0 = Debug|Win32
+ {BF42574F-66E2-42DD-90D9-3A8FCE6F4728}.Release|Win32.ActiveCfg = Release|Win32
+ {BF42574F-66E2-42DD-90D9-3A8FCE6F4728}.Release|Win32.Build.0 = Release|Win32
         EndGlobalSection
         GlobalSection(SolutionProperties) = preSolution
                 HideSolutionNode = FALSE

Modified: sandbox/itl/libs/validate/test/Jamfile.v2
==============================================================================
--- sandbox/itl/libs/validate/test/Jamfile.v2 (original)
+++ sandbox/itl/libs/validate/test/Jamfile.v2 2010-01-08 13:06:53 EST (Fri, 08 Jan 2010)
@@ -8,79 +8,79 @@
 
 project
     : requirements
- <toolset>msvc:<warnings>all # == /W4
- <toolset>msvc:<define>_SCL_SECURE_NO_WARNINGS
- <toolset>msvc:<define>_SCL_SECURE_NO_DEPRECATE
- <toolset>msvc:<define>_CRT_SECURE_NO_WARNINGS
- <toolset>msvc:<define>_CRT_SECURE_NO_DEPRECATE
+ <toolset>msvc:<warnings>all # == /W4
+ <toolset>msvc:<define>_SCL_SECURE_NO_WARNINGS
+ <toolset>msvc:<define>_SCL_SECURE_NO_DEPRECATE
+ <toolset>msvc:<define>_CRT_SECURE_NO_WARNINGS
+ <toolset>msvc:<define>_CRT_SECURE_NO_DEPRECATE
 
- #-------------------------------------------------------------------------
- # LaBatea generates large obj files for some test programs e.g.
- # test_map_order: For that we need flag /bigobj
- #-------------------------------------------------------------------------
- <toolset>msvc:<cxxflags>/bigobj # Via metaprogramming LaBatea generates bigobjs.
+ #-------------------------------------------------------------------------
+ # LaBatea generates large obj files for some test programs e.g.
+ # test_map_order: For that we need flag /bigobj
+ #-------------------------------------------------------------------------
+ <toolset>msvc:<cxxflags>/bigobj # Via metaprogramming LaBatea generates bigobjs.
 
- <library>/boost/test//boost_unit_test_framework
- <library>/boost/date_time//boost_date_time
- <link>static
- <include>../../..
- <include>$(BOOST_ROOT)
+ <library>/boost/test//boost_unit_test_framework
+ <library>/boost/date_time//boost_date_time
+ <link>static
+ <include>../../..
+ <include>$(BOOST_ROOT)
     ;
 
-test-suite "itl"
+test-suite "validate_itl"
     :
- # msvc9 compilation time: 0:38
- [ run test_val_relations_/test_val_relations.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time: 1:01
- [ run test_set_copy_conformity_/test_set_copy_conformity.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time: 1:03
- [ run test_map_copy_conformity_/test_map_copy_conformity.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time: 1:05
- [ run test_interval_bitset_/test_interval_bitset.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time: 1:28
- [ run test_itl_set_/test_itl_set.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time: 1:35
- [ run test_collector_/test_collector.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time:
- [ run test_bit_collector_/test_bit_collector.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time: 1:42
- [ run test_unsigned_quantifier_/test_unsigned_quantifier.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time:
- [ run test_set_order_/test_set_order.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time:
- [ run test_map_order_/test_map_order.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time:
- [ run test_itl_morphic_/test_itl_morphic.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time: 2:36
- # [ run test_signed_quantifier_/test_signed_quantifier.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time:
- [ run test_sorted_assoc_set_/test_sorted_assoc_set.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time:
- [ run test_sorted_assoc_set_back_/test_sorted_assoc_set_back.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time:
- [ run test_sorted_assoc_bitset_/test_sorted_assoc_bitset.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time:
- [ run test_sorted_assoc_bitset_back_/test_sorted_assoc_bitset_back.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time:
- [ run test_sorted_assoc_map_/test_sorted_assoc_map.cpp ../src/gentor/gentorprofile.cpp ]
-
- # msvc9 compilation time:
- [ run test_sorted_assoc_map_back_/test_sorted_assoc_map_back.cpp ../src/gentor/gentorprofile.cpp ]
-
+ # 1.18 msvc9 compilation time: 0:38
+ [ run test_val_relations_/test_val_relations.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 2.9 msvc9 compilation time: 1:01
+ [ run test_set_copy_conformity_/test_set_copy_conformity.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 3.6 msvc9 compilation time: 1:03
+ [ run test_map_copy_conformity_/test_map_copy_conformity.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 4.3 msvc9 compilation time: 1:05
+ [ run test_interval_bitset_/test_interval_bitset.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 5.5 msvc9 compilation time: 1:28
+ [ run test_itl_set_/test_itl_set.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 6.2 msvc9 compilation time: 1:35
+ [ run test_collector_/test_collector.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 7.1 msvc9 compilation time:
+ [ run test_bit_collector_/test_bit_collector.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 8.17 msvc9 compilation time: 1:42
+ [ run test_unsigned_quantifier_/test_unsigned_quantifier.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 9.9 msvc9 compilation time:
+ [ run test_set_order_/test_set_order.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 10.7 msvc9 compilation time:
+ [ run test_map_order_/test_map_order.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 11.4 msvc9 compilation time:
+ [ run test_itl_morphic_/test_itl_morphic.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 12.10 msvc9 compilation time: 2:36
+ # [ run test_signed_quantifier_/test_signed_quantifier.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 13.15 msvc9 compilation time:
+ [ run test_sorted_assoc_set_/test_sorted_assoc_set.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 14.16 msvc9 compilation time:
+ [ run test_sorted_assoc_set_back_/test_sorted_assoc_set_back.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 15.11 msvc9 compilation time:
+ [ run test_sorted_assoc_bitset_/test_sorted_assoc_bitset.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 16.12 msvc9 compilation time:
+ [ run test_sorted_assoc_bitset_back_/test_sorted_assoc_bitset_back.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 17.13 msvc9 compilation time:
+ [ run test_sorted_assoc_map_/test_sorted_assoc_map.cpp ../src/gentor/gentorprofile.cpp ]
+
+ # 18.14 msvc9 compilation time:
+ [ run test_sorted_assoc_map_back_/test_sorted_assoc_map_back.cpp ../src/gentor/gentorprofile.cpp ]
+
     ;

Date view Thread view Subject view Author view

Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk