04:26:37.591 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->
04:26:37.594 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- Validates the specification, sets and definitions-->
04:26:37.594 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->

04:26:37.777 [main] INFO  org.jsxm.maven.plugin.facade.ValidateFacade - Validation completed successfully.!
04:26:37.789 [main] INFO  org.jsxm.maven.plugin.facade.InitializeJSXM - Testing directories
04:26:37.789 [main] INFO  org.jsxm.maven.plugin.facade.InitializeJSXM -   ---> Cart
04:26:37.814 [main] INFO  org.jsxm.maven.plugin.facade.InitializeJSXM - Compiling : Cart.xml
04:26:37.815 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->
04:26:37.816 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- Generates the java files from the XML specification Cart-->
04:26:37.816 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->

04:26:37.820 [main] INFO  org.jsxm.maven.plugin.utilities.Functions - 
The XSD file is located in the :/Users/breath/Documents/changeJSXM/Cart/src/spec/org/jsxm/examples/Shopping/Cart/ and the generated files will be placed in the /Users/breath/Documents/changeJSXM/Cart/src/spec/org/jsxm/examples/Shopping/Cart//xjcgen/
04:26:37.820 [main] INFO  org.jsxm.maven.plugin.utilities.Functions - ##############################################################
04:26:37.820 [main] INFO  org.jsxm.maven.plugin.utilities.Functions - #Generating java files from XSD ---> Cart.xsd #
04:26:37.820 [main] INFO  org.jsxm.maven.plugin.utilities.Functions - ##############################################################
04:26:38.185 [main] INFO  org.jsxm.maven.plugin.utilities.Functions - ##############################################################
04:26:38.185 [main] INFO  org.jsxm.maven.plugin.utilities.Functions - ##############################################################
04:26:38.185 [main] INFO  org.jsxm.maven.plugin.utilities.Functions - #Generating java files from XSD ---> OrderDetails.xsd #
04:26:38.185 [main] INFO  org.jsxm.maven.plugin.utilities.Functions - ##############################################################
04:26:38.235 [main] INFO  org.jsxm.maven.plugin.utilities.Functions - ##############################################################
04:26:38.235 [main] INFO  org.jsxm.maven.plugin.utilities.Functions - Compiling generated java files....: 

04:26:38.572 [main] WARN  org.jsxm.maven.plugin.facade.CompileFacade - There are no dependent classes for compilation
04:26:38.572 [main] WARN  org.jsxm.maven.plugin.facade.CompileFacade - The path /Users/breath/Documents/changeJSXM/Cart/src/spec/org/jsxm/examples/Shopping/Cart/specification does not contain any definition.

04:26:38.573 [main] ERROR org.jsxm.jsxmcore.util.XML - IOException : 
04:26:38.582 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - TYPES USED in the specification: 
04:26:38.582 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - Standard types: 
04:26:38.582 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - xs:string 
04:26:38.582 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - xs:int 
04:26:38.582 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - User defined types: 
04:26:38.582 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - OrderDetailsType 
04:26:38.582 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - CartType 
04:26:38.583 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - 

04:26:38.584 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - Generating /Users/breath/Documents/changeJSXM/Cart/target/temp/OrderDetailsTypeAdapter.java

04:26:38.585 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - Generating /Users/breath/Documents/changeJSXM/Cart/target/temp/CartTypeAdapter.java

04:26:38.585 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - Compiling files...

04:26:38.652 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - ...Successfully compiled

04:26:38.652 [main] WARN  org.jsxm.jsxmcore.core.SXMBaseGeneration - 
Warning in the specification:
04:26:38.652 [main] WARN  org.jsxm.jsxmcore.core.SXMBaseGeneration - No <methods> tag.
04:26:38.652 [main] WARN  org.jsxm.jsxmcore.core.SXMBaseGeneration - 

04:26:38.653 [main] WARN  org.jsxm.jsxmcore.core.SXMBaseGeneration - 
Warning in the specification:
04:26:38.653 [main] WARN  org.jsxm.jsxmcore.core.SXMBaseGeneration - No <methods> tag.
04:26:38.653 [main] WARN  org.jsxm.jsxmcore.core.SXMBaseGeneration - 

04:26:38.653 [main] INFO  org.jsxm.jsxmcore.core.SXMBaseGeneration - [checkOut -> checkOutOut # [], removeFromCart -> removeFromCartOut # [], getCart -> getCartOut # [], setCart -> setCartOut # [], addToCart -> addToCartOut # []]
04:26:38.657 [main] INFO  org.jsxm.maven.plugin.facade.CompileFacade - --- Jsxm Specification Cart.xml compiled successfully ---

04:26:38.824 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->
04:26:38.825 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- Generates the XML file for tests-->
04:26:38.825 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->

04:26:38.825 [main] INFO  org.jsxm.maven.plugin.facade.TestGenerationFacade -            -->SXM     Class : CartSXM.java
04:26:38.826 [main] INFO  org.jsxm.maven.plugin.facade.TestGenerationFacade -            -->SXMBase Class : CartSXM_base.java

04:26:38.843 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - STATE COVER : [<>, <checkOutPF>]
04:26:38.843 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - CHARACTERIZATION SET : [<getCartPF>]
04:26:38.843 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - FUNCTION SET : [addToCartPF, removeFromCartPF, getCartPF, setCartPF, checkOutPF]
04:26:38.844 [main] INFO  org.jsxm.jsxmcore.util.Various - ------------------------------------------------------------
04:26:38.844 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Generating test set sequences for the associated automaton.
04:26:38.844 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - S PHI[k+1] W
04:26:38.844 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Resulting sequences: <f1,...,fk,fk+1>, where <f1,...,fk> in Language
04:26:38.844 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - k = 2
04:26:38.844 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - PHI^n, n=0
04:26:38.844 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - PHI^n, n=1
04:26:38.845 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - PHI^n, n=2
04:26:38.845 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - PHI^n, n=3
04:26:38.851 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - 126 test cases
04:26:38.851 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #1: <getCartPF>
04:26:38.851 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #2: <checkOutPF,getCartPF>
04:26:38.851 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #3: <addToCartPF,getCartPF>
04:26:38.851 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #4: <removeFromCartPF,getCartPF>
04:26:38.851 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #5: <getCartPF,getCartPF>
04:26:38.852 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #6: <setCartPF,getCartPF>
04:26:38.852 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #7: <checkOutPF,addToCartPF>
04:26:38.852 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #8: <checkOutPF,removeFromCartPF>
04:26:38.852 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #9: <checkOutPF,setCartPF>
04:26:38.852 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #10: <checkOutPF,checkOutPF>
04:26:38.852 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #11: <addToCartPF,addToCartPF,getCartPF>
04:26:38.852 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #12: <addToCartPF,removeFromCartPF,getCartPF>
04:26:38.852 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #13: <addToCartPF,getCartPF,getCartPF>
04:26:38.852 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #14: <addToCartPF,setCartPF,getCartPF>
04:26:38.853 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #15: <addToCartPF,checkOutPF,getCartPF>
04:26:38.853 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #16: <removeFromCartPF,addToCartPF,getCartPF>
04:26:38.853 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #17: <removeFromCartPF,removeFromCartPF,getCartPF>
04:26:38.853 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #18: <removeFromCartPF,getCartPF,getCartPF>
04:26:38.853 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #19: <removeFromCartPF,setCartPF,getCartPF>
04:26:38.853 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #20: <removeFromCartPF,checkOutPF,getCartPF>
04:26:38.853 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #21: <getCartPF,addToCartPF,getCartPF>
04:26:38.853 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #22: <getCartPF,removeFromCartPF,getCartPF>
04:26:38.853 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #23: <getCartPF,getCartPF,getCartPF>
04:26:38.853 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #24: <getCartPF,setCartPF,getCartPF>
04:26:38.854 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #25: <getCartPF,checkOutPF,getCartPF>
04:26:38.854 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #26: <setCartPF,addToCartPF,getCartPF>
04:26:38.854 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #27: <setCartPF,removeFromCartPF,getCartPF>
04:26:38.854 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #28: <setCartPF,getCartPF,getCartPF>
04:26:38.854 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #29: <setCartPF,setCartPF,getCartPF>
04:26:38.854 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #30: <setCartPF,checkOutPF,getCartPF>
04:26:38.854 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #31: <addToCartPF,checkOutPF,addToCartPF>
04:26:38.854 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #32: <addToCartPF,checkOutPF,removeFromCartPF>
04:26:38.854 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #33: <addToCartPF,checkOutPF,setCartPF>
04:26:38.854 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #34: <addToCartPF,checkOutPF,checkOutPF>
04:26:38.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #35: <removeFromCartPF,checkOutPF,addToCartPF>
04:26:38.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #36: <removeFromCartPF,checkOutPF,removeFromCartPF>
04:26:38.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #37: <removeFromCartPF,checkOutPF,setCartPF>
04:26:38.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #38: <removeFromCartPF,checkOutPF,checkOutPF>
04:26:38.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #39: <getCartPF,checkOutPF,addToCartPF>
04:26:38.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #40: <getCartPF,checkOutPF,removeFromCartPF>
04:26:38.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #41: <getCartPF,checkOutPF,setCartPF>
04:26:38.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #42: <getCartPF,checkOutPF,checkOutPF>
04:26:38.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #43: <setCartPF,checkOutPF,addToCartPF>
04:26:38.855 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #44: <setCartPF,checkOutPF,removeFromCartPF>
04:26:38.856 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #45: <setCartPF,checkOutPF,setCartPF>
04:26:38.856 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #46: <setCartPF,checkOutPF,checkOutPF>
04:26:38.856 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #47: <addToCartPF,addToCartPF,addToCartPF,getCartPF>
04:26:38.856 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #48: <addToCartPF,addToCartPF,removeFromCartPF,getCartPF>
04:26:38.856 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #49: <addToCartPF,addToCartPF,getCartPF,getCartPF>
04:26:38.856 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #50: <addToCartPF,addToCartPF,setCartPF,getCartPF>
04:26:38.856 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #51: <addToCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:38.856 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #52: <addToCartPF,removeFromCartPF,addToCartPF,getCartPF>
04:26:38.856 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #53: <addToCartPF,removeFromCartPF,removeFromCartPF,getCartPF>
04:26:38.856 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #54: <addToCartPF,removeFromCartPF,getCartPF,getCartPF>
04:26:38.857 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #55: <addToCartPF,removeFromCartPF,setCartPF,getCartPF>
04:26:38.857 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #56: <addToCartPF,removeFromCartPF,checkOutPF,getCartPF>
04:26:38.857 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #57: <addToCartPF,getCartPF,addToCartPF,getCartPF>
04:26:38.857 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #58: <addToCartPF,getCartPF,removeFromCartPF,getCartPF>
04:26:38.857 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #59: <addToCartPF,getCartPF,getCartPF,getCartPF>
04:26:38.857 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #60: <addToCartPF,getCartPF,setCartPF,getCartPF>
04:26:38.857 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #61: <addToCartPF,getCartPF,checkOutPF,getCartPF>
04:26:38.857 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #62: <addToCartPF,setCartPF,addToCartPF,getCartPF>
04:26:38.857 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #63: <addToCartPF,setCartPF,removeFromCartPF,getCartPF>
04:26:38.857 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #64: <addToCartPF,setCartPF,getCartPF,getCartPF>
04:26:38.858 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #65: <addToCartPF,setCartPF,setCartPF,getCartPF>
04:26:38.858 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #66: <addToCartPF,setCartPF,checkOutPF,getCartPF>
04:26:38.858 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #67: <removeFromCartPF,addToCartPF,addToCartPF,getCartPF>
04:26:38.858 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #68: <removeFromCartPF,addToCartPF,removeFromCartPF,getCartPF>
04:26:38.858 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #69: <removeFromCartPF,addToCartPF,getCartPF,getCartPF>
04:26:38.858 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #70: <removeFromCartPF,addToCartPF,setCartPF,getCartPF>
04:26:38.858 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #71: <removeFromCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:38.858 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #72: <removeFromCartPF,removeFromCartPF,addToCartPF,getCartPF>
04:26:38.858 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #73: <removeFromCartPF,removeFromCartPF,removeFromCartPF,getCartPF>
04:26:38.858 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #74: <removeFromCartPF,removeFromCartPF,getCartPF,getCartPF>
04:26:38.859 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #75: <removeFromCartPF,removeFromCartPF,setCartPF,getCartPF>
04:26:38.859 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #76: <removeFromCartPF,removeFromCartPF,checkOutPF,getCartPF>
04:26:38.859 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #77: <removeFromCartPF,getCartPF,addToCartPF,getCartPF>
04:26:38.859 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #78: <removeFromCartPF,getCartPF,removeFromCartPF,getCartPF>
04:26:38.859 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #79: <removeFromCartPF,getCartPF,getCartPF,getCartPF>
04:26:38.859 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #80: <removeFromCartPF,getCartPF,setCartPF,getCartPF>
04:26:38.859 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #81: <removeFromCartPF,getCartPF,checkOutPF,getCartPF>
04:26:38.859 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #82: <removeFromCartPF,setCartPF,addToCartPF,getCartPF>
04:26:38.859 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #83: <removeFromCartPF,setCartPF,removeFromCartPF,getCartPF>
04:26:38.859 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #84: <removeFromCartPF,setCartPF,getCartPF,getCartPF>
04:26:38.860 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #85: <removeFromCartPF,setCartPF,setCartPF,getCartPF>
04:26:38.860 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #86: <removeFromCartPF,setCartPF,checkOutPF,getCartPF>
04:26:38.860 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #87: <getCartPF,addToCartPF,addToCartPF,getCartPF>
04:26:38.860 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #88: <getCartPF,addToCartPF,removeFromCartPF,getCartPF>
04:26:38.860 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #89: <getCartPF,addToCartPF,getCartPF,getCartPF>
04:26:38.860 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #90: <getCartPF,addToCartPF,setCartPF,getCartPF>
04:26:38.860 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #91: <getCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:38.860 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #92: <getCartPF,removeFromCartPF,addToCartPF,getCartPF>
04:26:38.860 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #93: <getCartPF,removeFromCartPF,removeFromCartPF,getCartPF>
04:26:38.860 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #94: <getCartPF,removeFromCartPF,getCartPF,getCartPF>
04:26:38.861 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #95: <getCartPF,removeFromCartPF,setCartPF,getCartPF>
04:26:38.861 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #96: <getCartPF,removeFromCartPF,checkOutPF,getCartPF>
04:26:38.861 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #97: <getCartPF,getCartPF,addToCartPF,getCartPF>
04:26:38.861 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #98: <getCartPF,getCartPF,removeFromCartPF,getCartPF>
04:26:38.861 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #99: <getCartPF,getCartPF,getCartPF,getCartPF>
04:26:38.861 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #100: <getCartPF,getCartPF,setCartPF,getCartPF>
04:26:38.861 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #101: <getCartPF,getCartPF,checkOutPF,getCartPF>
04:26:38.861 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #102: <getCartPF,setCartPF,addToCartPF,getCartPF>
04:26:38.861 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #103: <getCartPF,setCartPF,removeFromCartPF,getCartPF>
04:26:38.862 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #104: <getCartPF,setCartPF,getCartPF,getCartPF>
04:26:38.862 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #105: <getCartPF,setCartPF,setCartPF,getCartPF>
04:26:38.862 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #106: <getCartPF,setCartPF,checkOutPF,getCartPF>
04:26:38.862 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #107: <setCartPF,addToCartPF,addToCartPF,getCartPF>
04:26:38.862 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #108: <setCartPF,addToCartPF,removeFromCartPF,getCartPF>
04:26:38.862 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #109: <setCartPF,addToCartPF,getCartPF,getCartPF>
04:26:38.862 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #110: <setCartPF,addToCartPF,setCartPF,getCartPF>
04:26:38.862 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #111: <setCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:38.862 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #112: <setCartPF,removeFromCartPF,addToCartPF,getCartPF>
04:26:38.863 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #113: <setCartPF,removeFromCartPF,removeFromCartPF,getCartPF>
04:26:38.863 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #114: <setCartPF,removeFromCartPF,getCartPF,getCartPF>
04:26:38.863 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #115: <setCartPF,removeFromCartPF,setCartPF,getCartPF>
04:26:38.863 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #116: <setCartPF,removeFromCartPF,checkOutPF,getCartPF>
04:26:38.863 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #117: <setCartPF,getCartPF,addToCartPF,getCartPF>
04:26:38.863 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #118: <setCartPF,getCartPF,removeFromCartPF,getCartPF>
04:26:38.863 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #119: <setCartPF,getCartPF,getCartPF,getCartPF>
04:26:38.863 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #120: <setCartPF,getCartPF,setCartPF,getCartPF>
04:26:38.863 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #121: <setCartPF,getCartPF,checkOutPF,getCartPF>
04:26:38.863 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #122: <setCartPF,setCartPF,addToCartPF,getCartPF>
04:26:38.864 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #123: <setCartPF,setCartPF,removeFromCartPF,getCartPF>
04:26:38.864 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #124: <setCartPF,setCartPF,getCartPF,getCartPF>
04:26:38.864 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #125: <setCartPF,setCartPF,setCartPF,getCartPF>
04:26:38.864 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #126: <setCartPF,setCartPF,checkOutPF,getCartPF>
04:26:38.864 [main] INFO  org.jsxm.jsxmcore.util.Various - ------------------------------------------------------------
04:26:38.864 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Removing sequences which are subsequences
04:26:38.864 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - of other longer sequences in the test set.
04:26:38.866 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - 105 test cases. 21 prefixes removed.
04:26:38.866 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #1: <checkOutPF,getCartPF>
04:26:38.866 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #2: <checkOutPF,addToCartPF>
04:26:38.866 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #3: <checkOutPF,removeFromCartPF>
04:26:38.867 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #4: <checkOutPF,setCartPF>
04:26:38.867 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #5: <checkOutPF,checkOutPF>
04:26:38.867 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #6: <addToCartPF,checkOutPF,getCartPF>
04:26:38.867 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #7: <removeFromCartPF,checkOutPF,getCartPF>
04:26:38.867 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #8: <getCartPF,checkOutPF,getCartPF>
04:26:38.867 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #9: <setCartPF,checkOutPF,getCartPF>
04:26:38.867 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #10: <addToCartPF,checkOutPF,addToCartPF>
04:26:38.867 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #11: <addToCartPF,checkOutPF,removeFromCartPF>
04:26:38.867 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #12: <addToCartPF,checkOutPF,setCartPF>
04:26:38.867 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #13: <addToCartPF,checkOutPF,checkOutPF>
04:26:38.868 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #14: <removeFromCartPF,checkOutPF,addToCartPF>
04:26:38.868 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #15: <removeFromCartPF,checkOutPF,removeFromCartPF>
04:26:38.868 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #16: <removeFromCartPF,checkOutPF,setCartPF>
04:26:38.868 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #17: <removeFromCartPF,checkOutPF,checkOutPF>
04:26:38.868 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #18: <getCartPF,checkOutPF,addToCartPF>
04:26:38.868 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #19: <getCartPF,checkOutPF,removeFromCartPF>
04:26:38.868 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #20: <getCartPF,checkOutPF,setCartPF>
04:26:38.868 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #21: <getCartPF,checkOutPF,checkOutPF>
04:26:38.868 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #22: <setCartPF,checkOutPF,addToCartPF>
04:26:38.868 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #23: <setCartPF,checkOutPF,removeFromCartPF>
04:26:38.869 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #24: <setCartPF,checkOutPF,setCartPF>
04:26:38.869 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #25: <setCartPF,checkOutPF,checkOutPF>
04:26:38.869 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #26: <addToCartPF,addToCartPF,addToCartPF,getCartPF>
04:26:38.869 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #27: <addToCartPF,addToCartPF,removeFromCartPF,getCartPF>
04:26:38.869 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #28: <addToCartPF,addToCartPF,getCartPF,getCartPF>
04:26:38.869 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #29: <addToCartPF,addToCartPF,setCartPF,getCartPF>
04:26:38.869 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #30: <addToCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:38.869 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #31: <addToCartPF,removeFromCartPF,addToCartPF,getCartPF>
04:26:38.869 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #32: <addToCartPF,removeFromCartPF,removeFromCartPF,getCartPF>
04:26:38.870 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #33: <addToCartPF,removeFromCartPF,getCartPF,getCartPF>
04:26:38.870 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #34: <addToCartPF,removeFromCartPF,setCartPF,getCartPF>
04:26:38.870 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #35: <addToCartPF,removeFromCartPF,checkOutPF,getCartPF>
04:26:38.870 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #36: <addToCartPF,getCartPF,addToCartPF,getCartPF>
04:26:38.870 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #37: <addToCartPF,getCartPF,removeFromCartPF,getCartPF>
04:26:38.870 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #38: <addToCartPF,getCartPF,getCartPF,getCartPF>
04:26:38.870 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #39: <addToCartPF,getCartPF,setCartPF,getCartPF>
04:26:38.870 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #40: <addToCartPF,getCartPF,checkOutPF,getCartPF>
04:26:38.870 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #41: <addToCartPF,setCartPF,addToCartPF,getCartPF>
04:26:38.870 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #42: <addToCartPF,setCartPF,removeFromCartPF,getCartPF>
04:26:38.871 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #43: <addToCartPF,setCartPF,getCartPF,getCartPF>
04:26:38.871 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #44: <addToCartPF,setCartPF,setCartPF,getCartPF>
04:26:38.871 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #45: <addToCartPF,setCartPF,checkOutPF,getCartPF>
04:26:38.871 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #46: <removeFromCartPF,addToCartPF,addToCartPF,getCartPF>
04:26:38.871 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #47: <removeFromCartPF,addToCartPF,removeFromCartPF,getCartPF>
04:26:38.871 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #48: <removeFromCartPF,addToCartPF,getCartPF,getCartPF>
04:26:38.871 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #49: <removeFromCartPF,addToCartPF,setCartPF,getCartPF>
04:26:38.871 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #50: <removeFromCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:38.871 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #51: <removeFromCartPF,removeFromCartPF,addToCartPF,getCartPF>
04:26:38.872 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #52: <removeFromCartPF,removeFromCartPF,removeFromCartPF,getCartPF>
04:26:38.872 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #53: <removeFromCartPF,removeFromCartPF,getCartPF,getCartPF>
04:26:38.872 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #54: <removeFromCartPF,removeFromCartPF,setCartPF,getCartPF>
04:26:38.872 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #55: <removeFromCartPF,removeFromCartPF,checkOutPF,getCartPF>
04:26:38.872 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #56: <removeFromCartPF,getCartPF,addToCartPF,getCartPF>
04:26:38.872 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #57: <removeFromCartPF,getCartPF,removeFromCartPF,getCartPF>
04:26:38.872 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #58: <removeFromCartPF,getCartPF,getCartPF,getCartPF>
04:26:38.872 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #59: <removeFromCartPF,getCartPF,setCartPF,getCartPF>
04:26:38.872 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #60: <removeFromCartPF,getCartPF,checkOutPF,getCartPF>
04:26:38.872 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #61: <removeFromCartPF,setCartPF,addToCartPF,getCartPF>
04:26:38.873 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #62: <removeFromCartPF,setCartPF,removeFromCartPF,getCartPF>
04:26:38.873 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #63: <removeFromCartPF,setCartPF,getCartPF,getCartPF>
04:26:38.873 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #64: <removeFromCartPF,setCartPF,setCartPF,getCartPF>
04:26:38.873 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #65: <removeFromCartPF,setCartPF,checkOutPF,getCartPF>
04:26:38.873 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #66: <getCartPF,addToCartPF,addToCartPF,getCartPF>
04:26:38.873 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #67: <getCartPF,addToCartPF,removeFromCartPF,getCartPF>
04:26:38.873 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #68: <getCartPF,addToCartPF,getCartPF,getCartPF>
04:26:38.873 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #69: <getCartPF,addToCartPF,setCartPF,getCartPF>
04:26:38.873 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #70: <getCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:38.873 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #71: <getCartPF,removeFromCartPF,addToCartPF,getCartPF>
04:26:38.874 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #72: <getCartPF,removeFromCartPF,removeFromCartPF,getCartPF>
04:26:38.874 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #73: <getCartPF,removeFromCartPF,getCartPF,getCartPF>
04:26:38.874 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #74: <getCartPF,removeFromCartPF,setCartPF,getCartPF>
04:26:38.874 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #75: <getCartPF,removeFromCartPF,checkOutPF,getCartPF>
04:26:38.874 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #76: <getCartPF,getCartPF,addToCartPF,getCartPF>
04:26:38.874 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #77: <getCartPF,getCartPF,removeFromCartPF,getCartPF>
04:26:38.874 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #78: <getCartPF,getCartPF,getCartPF,getCartPF>
04:26:38.874 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #79: <getCartPF,getCartPF,setCartPF,getCartPF>
04:26:38.874 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #80: <getCartPF,getCartPF,checkOutPF,getCartPF>
04:26:38.875 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #81: <getCartPF,setCartPF,addToCartPF,getCartPF>
04:26:38.875 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #82: <getCartPF,setCartPF,removeFromCartPF,getCartPF>
04:26:38.875 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #83: <getCartPF,setCartPF,getCartPF,getCartPF>
04:26:38.875 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #84: <getCartPF,setCartPF,setCartPF,getCartPF>
04:26:38.875 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #85: <getCartPF,setCartPF,checkOutPF,getCartPF>
04:26:38.875 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #86: <setCartPF,addToCartPF,addToCartPF,getCartPF>
04:26:38.875 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #87: <setCartPF,addToCartPF,removeFromCartPF,getCartPF>
04:26:38.875 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #88: <setCartPF,addToCartPF,getCartPF,getCartPF>
04:26:38.875 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #89: <setCartPF,addToCartPF,setCartPF,getCartPF>
04:26:38.876 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #90: <setCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:38.876 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #91: <setCartPF,removeFromCartPF,addToCartPF,getCartPF>
04:26:38.876 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #92: <setCartPF,removeFromCartPF,removeFromCartPF,getCartPF>
04:26:38.876 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #93: <setCartPF,removeFromCartPF,getCartPF,getCartPF>
04:26:38.876 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #94: <setCartPF,removeFromCartPF,setCartPF,getCartPF>
04:26:38.876 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #95: <setCartPF,removeFromCartPF,checkOutPF,getCartPF>
04:26:38.876 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #96: <setCartPF,getCartPF,addToCartPF,getCartPF>
04:26:38.876 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #97: <setCartPF,getCartPF,removeFromCartPF,getCartPF>
04:26:38.876 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #98: <setCartPF,getCartPF,getCartPF,getCartPF>
04:26:38.877 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #99: <setCartPF,getCartPF,setCartPF,getCartPF>
04:26:38.877 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #100: <setCartPF,getCartPF,checkOutPF,getCartPF>
04:26:38.877 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #101: <setCartPF,setCartPF,addToCartPF,getCartPF>
04:26:38.877 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #102: <setCartPF,setCartPF,removeFromCartPF,getCartPF>
04:26:38.877 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #103: <setCartPF,setCartPF,getCartPF,getCartPF>
04:26:38.877 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #104: <setCartPF,setCartPF,setCartPF,getCartPF>
04:26:38.877 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #105: <setCartPF,setCartPF,checkOutPF,getCartPF>
04:26:38.877 [main] INFO  org.jsxm.jsxmcore.util.Various - ------------------------------------------------------------
04:26:38.877 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Reducing sequences to applicable
04:26:38.879 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function removeFromCartPF:1 not applicable is seq: <checkOutPF,removeFromCartPF>
04:26:38.880 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,checkOutPF,getCartPF>
04:26:38.880 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,checkOutPF,addToCartPF>
04:26:38.880 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,checkOutPF,removeFromCartPF>
04:26:38.881 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,checkOutPF,setCartPF>
04:26:38.881 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,checkOutPF,checkOutPF>
04:26:38.881 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Not admitted function removeFromCartPF:2 not applicable is seq: <getCartPF,checkOutPF,removeFromCartPF>
04:26:38.882 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:2 not applicable is seq: <addToCartPF,removeFromCartPF,removeFromCartPF,getCartPF>
04:26:38.884 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,addToCartPF,addToCartPF,getCartPF>
04:26:38.884 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,addToCartPF,removeFromCartPF,getCartPF>
04:26:38.884 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,addToCartPF,getCartPF,getCartPF>
04:26:38.884 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,addToCartPF,setCartPF,getCartPF>
04:26:38.884 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:38.884 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,removeFromCartPF,addToCartPF,getCartPF>
04:26:38.884 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,removeFromCartPF,removeFromCartPF,getCartPF>
04:26:38.885 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,removeFromCartPF,getCartPF,getCartPF>
04:26:38.885 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,removeFromCartPF,setCartPF,getCartPF>
04:26:38.885 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,removeFromCartPF,checkOutPF,getCartPF>
04:26:38.885 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,getCartPF,addToCartPF,getCartPF>
04:26:38.885 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,getCartPF,removeFromCartPF,getCartPF>
04:26:38.885 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,getCartPF,getCartPF,getCartPF>
04:26:38.885 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,getCartPF,setCartPF,getCartPF>
04:26:38.885 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,getCartPF,checkOutPF,getCartPF>
04:26:38.885 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,setCartPF,addToCartPF,getCartPF>
04:26:38.886 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,setCartPF,removeFromCartPF,getCartPF>
04:26:38.886 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,setCartPF,getCartPF,getCartPF>
04:26:38.886 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,setCartPF,setCartPF,getCartPF>
04:26:38.886 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:0 not applicable is seq: <removeFromCartPF,setCartPF,checkOutPF,getCartPF>
04:26:38.886 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:1 not applicable is seq: <getCartPF,removeFromCartPF,addToCartPF,getCartPF>
04:26:38.886 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:1 not applicable is seq: <getCartPF,removeFromCartPF,removeFromCartPF,getCartPF>
04:26:38.887 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:1 not applicable is seq: <getCartPF,removeFromCartPF,getCartPF,getCartPF>
04:26:38.887 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:1 not applicable is seq: <getCartPF,removeFromCartPF,setCartPF,getCartPF>
04:26:38.887 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:1 not applicable is seq: <getCartPF,removeFromCartPF,checkOutPF,getCartPF>
04:26:38.887 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Admitted function removeFromCartPF:2 not applicable is seq: <getCartPF,getCartPF,removeFromCartPF,getCartPF>
04:26:38.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - 34 sequences shortened.
04:26:38.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - 29 sequences became empty (or were duplicates) and were removed.
04:26:38.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #1: <checkOutPF>
04:26:38.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #2: <getCartPF>
04:26:38.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #3: <checkOutPF,getCartPF>
04:26:38.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #4: <checkOutPF,addToCartPF>
04:26:38.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #5: <checkOutPF,setCartPF>
04:26:38.892 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #6: <checkOutPF,checkOutPF>
04:26:38.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #7: <getCartPF,checkOutPF>
04:26:38.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #8: <addToCartPF,removeFromCartPF>
04:26:38.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #9: <getCartPF,getCartPF>
04:26:38.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #10: <addToCartPF,checkOutPF,getCartPF>
04:26:38.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #11: <getCartPF,checkOutPF,getCartPF>
04:26:38.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #12: <setCartPF,checkOutPF,getCartPF>
04:26:38.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #13: <addToCartPF,checkOutPF,addToCartPF>
04:26:38.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #14: <addToCartPF,checkOutPF,removeFromCartPF>
04:26:38.893 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #15: <addToCartPF,checkOutPF,setCartPF>
04:26:38.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #16: <addToCartPF,checkOutPF,checkOutPF>
04:26:38.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #17: <getCartPF,checkOutPF,addToCartPF>
04:26:38.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #18: <getCartPF,checkOutPF,setCartPF>
04:26:38.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #19: <getCartPF,checkOutPF,checkOutPF>
04:26:38.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #20: <setCartPF,checkOutPF,addToCartPF>
04:26:38.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #21: <setCartPF,checkOutPF,removeFromCartPF>
04:26:38.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #22: <setCartPF,checkOutPF,setCartPF>
04:26:38.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #23: <setCartPF,checkOutPF,checkOutPF>
04:26:38.894 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #24: <addToCartPF,addToCartPF,addToCartPF,getCartPF>
04:26:38.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #25: <addToCartPF,addToCartPF,removeFromCartPF,getCartPF>
04:26:38.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #26: <addToCartPF,addToCartPF,getCartPF,getCartPF>
04:26:38.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #27: <addToCartPF,addToCartPF,setCartPF,getCartPF>
04:26:38.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #28: <addToCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:38.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #29: <addToCartPF,removeFromCartPF,addToCartPF,getCartPF>
04:26:38.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #30: <addToCartPF,removeFromCartPF,getCartPF,getCartPF>
04:26:38.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #31: <addToCartPF,removeFromCartPF,setCartPF,getCartPF>
04:26:38.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #32: <addToCartPF,removeFromCartPF,checkOutPF,getCartPF>
04:26:38.895 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #33: <addToCartPF,getCartPF,addToCartPF,getCartPF>
04:26:38.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #34: <addToCartPF,getCartPF,removeFromCartPF,getCartPF>
04:26:38.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #35: <addToCartPF,getCartPF,getCartPF,getCartPF>
04:26:38.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #36: <addToCartPF,getCartPF,setCartPF,getCartPF>
04:26:38.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #37: <addToCartPF,getCartPF,checkOutPF,getCartPF>
04:26:38.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #38: <addToCartPF,setCartPF,addToCartPF,getCartPF>
04:26:38.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #39: <addToCartPF,setCartPF,removeFromCartPF,getCartPF>
04:26:38.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #40: <addToCartPF,setCartPF,getCartPF,getCartPF>
04:26:38.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #41: <addToCartPF,setCartPF,setCartPF,getCartPF>
04:26:38.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #42: <addToCartPF,setCartPF,checkOutPF,getCartPF>
04:26:38.896 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #43: <getCartPF,addToCartPF,addToCartPF,getCartPF>
04:26:38.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #44: <getCartPF,addToCartPF,removeFromCartPF,getCartPF>
04:26:38.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #45: <getCartPF,addToCartPF,getCartPF,getCartPF>
04:26:38.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #46: <getCartPF,addToCartPF,setCartPF,getCartPF>
04:26:38.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #47: <getCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:38.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #48: <getCartPF,getCartPF,addToCartPF,getCartPF>
04:26:38.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #49: <getCartPF,getCartPF,getCartPF,getCartPF>
04:26:38.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #50: <getCartPF,getCartPF,setCartPF,getCartPF>
04:26:38.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #51: <getCartPF,getCartPF,checkOutPF,getCartPF>
04:26:38.897 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #52: <getCartPF,setCartPF,addToCartPF,getCartPF>
04:26:38.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #53: <getCartPF,setCartPF,removeFromCartPF,getCartPF>
04:26:38.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #54: <getCartPF,setCartPF,getCartPF,getCartPF>
04:26:38.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #55: <getCartPF,setCartPF,setCartPF,getCartPF>
04:26:38.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #56: <getCartPF,setCartPF,checkOutPF,getCartPF>
04:26:38.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #57: <setCartPF,addToCartPF,addToCartPF,getCartPF>
04:26:38.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #58: <setCartPF,addToCartPF,removeFromCartPF,getCartPF>
04:26:38.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #59: <setCartPF,addToCartPF,getCartPF,getCartPF>
04:26:38.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #60: <setCartPF,addToCartPF,setCartPF,getCartPF>
04:26:38.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #61: <setCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:38.898 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #62: <setCartPF,removeFromCartPF,addToCartPF,getCartPF>
04:26:38.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #63: <setCartPF,removeFromCartPF,removeFromCartPF,getCartPF>
04:26:38.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #64: <setCartPF,removeFromCartPF,getCartPF,getCartPF>
04:26:38.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #65: <setCartPF,removeFromCartPF,setCartPF,getCartPF>
04:26:38.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #66: <setCartPF,removeFromCartPF,checkOutPF,getCartPF>
04:26:38.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #67: <setCartPF,getCartPF,addToCartPF,getCartPF>
04:26:38.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #68: <setCartPF,getCartPF,removeFromCartPF,getCartPF>
04:26:38.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #69: <setCartPF,getCartPF,getCartPF,getCartPF>
04:26:38.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #70: <setCartPF,getCartPF,setCartPF,getCartPF>
04:26:38.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #71: <setCartPF,getCartPF,checkOutPF,getCartPF>
04:26:38.899 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #72: <setCartPF,setCartPF,addToCartPF,getCartPF>
04:26:38.900 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #73: <setCartPF,setCartPF,removeFromCartPF,getCartPF>
04:26:38.900 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #74: <setCartPF,setCartPF,getCartPF,getCartPF>
04:26:38.900 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #75: <setCartPF,setCartPF,setCartPF,getCartPF>
04:26:38.900 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #76: <setCartPF,setCartPF,checkOutPF,getCartPF>
04:26:38.900 [main] INFO  org.jsxm.jsxmcore.util.Various - ------------------------------------------------------------
04:26:38.900 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Removing sequences which are subsequences
04:26:38.900 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - of other longer sequences in the test set.
04:26:38.901 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - 71 test cases. 5 prefixes removed.
04:26:38.901 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #1: <checkOutPF,getCartPF>
04:26:38.901 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #2: <checkOutPF,addToCartPF>
04:26:38.901 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #3: <checkOutPF,setCartPF>
04:26:38.901 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #4: <checkOutPF,checkOutPF>
04:26:38.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #5: <addToCartPF,checkOutPF,getCartPF>
04:26:38.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #6: <getCartPF,checkOutPF,getCartPF>
04:26:38.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #7: <setCartPF,checkOutPF,getCartPF>
04:26:38.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #8: <addToCartPF,checkOutPF,addToCartPF>
04:26:38.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #9: <addToCartPF,checkOutPF,removeFromCartPF>
04:26:38.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #10: <addToCartPF,checkOutPF,setCartPF>
04:26:38.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #11: <addToCartPF,checkOutPF,checkOutPF>
04:26:38.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #12: <getCartPF,checkOutPF,addToCartPF>
04:26:38.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #13: <getCartPF,checkOutPF,setCartPF>
04:26:38.902 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #14: <getCartPF,checkOutPF,checkOutPF>
04:26:38.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #15: <setCartPF,checkOutPF,addToCartPF>
04:26:38.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #16: <setCartPF,checkOutPF,removeFromCartPF>
04:26:38.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #17: <setCartPF,checkOutPF,setCartPF>
04:26:38.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #18: <setCartPF,checkOutPF,checkOutPF>
04:26:38.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #19: <addToCartPF,addToCartPF,addToCartPF,getCartPF>
04:26:38.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #20: <addToCartPF,addToCartPF,removeFromCartPF,getCartPF>
04:26:38.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #21: <addToCartPF,addToCartPF,getCartPF,getCartPF>
04:26:38.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #22: <addToCartPF,addToCartPF,setCartPF,getCartPF>
04:26:38.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #23: <addToCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:38.903 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #24: <addToCartPF,removeFromCartPF,addToCartPF,getCartPF>
04:26:38.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #25: <addToCartPF,removeFromCartPF,getCartPF,getCartPF>
04:26:38.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #26: <addToCartPF,removeFromCartPF,setCartPF,getCartPF>
04:26:38.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #27: <addToCartPF,removeFromCartPF,checkOutPF,getCartPF>
04:26:38.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #28: <addToCartPF,getCartPF,addToCartPF,getCartPF>
04:26:38.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #29: <addToCartPF,getCartPF,removeFromCartPF,getCartPF>
04:26:38.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #30: <addToCartPF,getCartPF,getCartPF,getCartPF>
04:26:38.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #31: <addToCartPF,getCartPF,setCartPF,getCartPF>
04:26:38.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #32: <addToCartPF,getCartPF,checkOutPF,getCartPF>
04:26:38.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #33: <addToCartPF,setCartPF,addToCartPF,getCartPF>
04:26:38.904 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #34: <addToCartPF,setCartPF,removeFromCartPF,getCartPF>
04:26:38.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #35: <addToCartPF,setCartPF,getCartPF,getCartPF>
04:26:38.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #36: <addToCartPF,setCartPF,setCartPF,getCartPF>
04:26:38.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #37: <addToCartPF,setCartPF,checkOutPF,getCartPF>
04:26:38.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #38: <getCartPF,addToCartPF,addToCartPF,getCartPF>
04:26:38.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #39: <getCartPF,addToCartPF,removeFromCartPF,getCartPF>
04:26:38.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #40: <getCartPF,addToCartPF,getCartPF,getCartPF>
04:26:38.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #41: <getCartPF,addToCartPF,setCartPF,getCartPF>
04:26:38.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #42: <getCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:38.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #43: <getCartPF,getCartPF,addToCartPF,getCartPF>
04:26:38.905 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #44: <getCartPF,getCartPF,getCartPF,getCartPF>
04:26:38.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #45: <getCartPF,getCartPF,setCartPF,getCartPF>
04:26:38.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #46: <getCartPF,getCartPF,checkOutPF,getCartPF>
04:26:38.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #47: <getCartPF,setCartPF,addToCartPF,getCartPF>
04:26:38.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #48: <getCartPF,setCartPF,removeFromCartPF,getCartPF>
04:26:38.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #49: <getCartPF,setCartPF,getCartPF,getCartPF>
04:26:38.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #50: <getCartPF,setCartPF,setCartPF,getCartPF>
04:26:38.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #51: <getCartPF,setCartPF,checkOutPF,getCartPF>
04:26:38.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #52: <setCartPF,addToCartPF,addToCartPF,getCartPF>
04:26:38.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #53: <setCartPF,addToCartPF,removeFromCartPF,getCartPF>
04:26:38.906 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #54: <setCartPF,addToCartPF,getCartPF,getCartPF>
04:26:38.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #55: <setCartPF,addToCartPF,setCartPF,getCartPF>
04:26:38.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #56: <setCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:38.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #57: <setCartPF,removeFromCartPF,addToCartPF,getCartPF>
04:26:38.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #58: <setCartPF,removeFromCartPF,removeFromCartPF,getCartPF>
04:26:38.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #59: <setCartPF,removeFromCartPF,getCartPF,getCartPF>
04:26:38.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #60: <setCartPF,removeFromCartPF,setCartPF,getCartPF>
04:26:38.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #61: <setCartPF,removeFromCartPF,checkOutPF,getCartPF>
04:26:38.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #62: <setCartPF,getCartPF,addToCartPF,getCartPF>
04:26:38.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #63: <setCartPF,getCartPF,removeFromCartPF,getCartPF>
04:26:38.907 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #64: <setCartPF,getCartPF,getCartPF,getCartPF>
04:26:38.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #65: <setCartPF,getCartPF,setCartPF,getCartPF>
04:26:38.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #66: <setCartPF,getCartPF,checkOutPF,getCartPF>
04:26:38.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #67: <setCartPF,setCartPF,addToCartPF,getCartPF>
04:26:38.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #68: <setCartPF,setCartPF,removeFromCartPF,getCartPF>
04:26:38.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #69: <setCartPF,setCartPF,getCartPF,getCartPF>
04:26:38.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #70: <setCartPF,setCartPF,setCartPF,getCartPF>
04:26:38.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - #71: <setCartPF,setCartPF,checkOutPF,getCartPF>
04:26:38.908 [main] INFO  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Time : 65
04:26:38.909 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getCart().	Function: getCartPF	in seq: <checkOutPF,getCartPF>
04:26:39.031 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: addToCart("270", 5).	Function: addToCartPF	in seq: <checkOutPF,addToCartPF>
04:26:39.063 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: setCart(<?xml version="1.0" encoding="UTF-8" standalone="yes"?><CartTypeelement><item prodId="ead" quantity="3"/><item prodId="26b" quantity="6"/><item prodId="e68" quantity="7"/><item prodId="515" quantity="5"/><item prodId="bcc" quantity="4"/></CartTypeelement>).	Function: setCartPF	in seq: <checkOutPF,setCartPF>
04:26:39.078 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: checkOut(<?xml version="1.0" encoding="UTF-8" standalone="yes"?><OrderDetailsTypeelement><paymentWith>Visa</paymentWith></OrderDetailsTypeelement>).	Function: checkOutPF	in seq: <checkOutPF,checkOutPF>
04:26:39.089 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getCart().	Function: getCartPF	in seq: <addToCartPF,checkOutPF,getCartPF>
04:26:39.097 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getCart().	Function: getCartPF	in seq: <getCartPF,checkOutPF,getCartPF>
04:26:39.108 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getCart().	Function: getCartPF	in seq: <setCartPF,checkOutPF,getCartPF>
04:26:39.120 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: addToCart("940", 3).	Function: addToCartPF	in seq: <addToCartPF,checkOutPF,addToCartPF>
04:26:39.127 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: removeFromCart("3e6").	Function: removeFromCartPF	in seq: <addToCartPF,checkOutPF,removeFromCartPF>
04:26:39.137 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: setCart(<?xml version="1.0" encoding="UTF-8" standalone="yes"?><CartTypeelement><item prodId="178" quantity="0"/><item prodId="d8f" quantity="7"/><item prodId="8c4" quantity="3"/><item prodId="4e6" quantity="2"/><item prodId="858" quantity="3"/></CartTypeelement>).	Function: setCartPF	in seq: <addToCartPF,checkOutPF,setCartPF>
04:26:39.151 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: checkOut(<?xml version="1.0" encoding="UTF-8" standalone="yes"?><OrderDetailsTypeelement><paymentWith>Visa</paymentWith></OrderDetailsTypeelement>).	Function: checkOutPF	in seq: <addToCartPF,checkOutPF,checkOutPF>
04:26:39.166 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: addToCart("403", 4).	Function: addToCartPF	in seq: <getCartPF,checkOutPF,addToCartPF>
04:26:39.186 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: setCart(<?xml version="1.0" encoding="UTF-8" standalone="yes"?><CartTypeelement><item prodId="043" quantity="6"/><item prodId="4ab" quantity="1"/><item prodId="9e0" quantity="7"/><item prodId="d4d" quantity="4"/><item prodId="410" quantity="5"/><item prodId="dae" quantity="6"/></CartTypeelement>).	Function: setCartPF	in seq: <getCartPF,checkOutPF,setCartPF>
04:26:39.210 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: checkOut(<?xml version="1.0" encoding="UTF-8" standalone="yes"?><OrderDetailsTypeelement><paymentWith>Visa</paymentWith></OrderDetailsTypeelement>).	Function: checkOutPF	in seq: <getCartPF,checkOutPF,checkOutPF>
04:26:39.226 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: addToCart("4a7", 5).	Function: addToCartPF	in seq: <setCartPF,checkOutPF,addToCartPF>
04:26:39.240 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: removeFromCart("c35").	Function: removeFromCartPF	in seq: <setCartPF,checkOutPF,removeFromCartPF>
04:26:39.256 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: setCart(<?xml version="1.0" encoding="UTF-8" standalone="yes"?><CartTypeelement><item prodId="a67" quantity="6"/><item prodId="6ae" quantity="4"/><item prodId="38a" quantity="9"/><item prodId="b12" quantity="5"/><item prodId="def" quantity="4"/><item prodId="df2" quantity="3"/><item prodId="6d1" quantity="6"/></CartTypeelement>).	Function: setCartPF	in seq: <setCartPF,checkOutPF,setCartPF>
04:26:39.277 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: checkOut(<?xml version="1.0" encoding="UTF-8" standalone="yes"?><OrderDetailsTypeelement><paymentWith>Visa</paymentWith></OrderDetailsTypeelement>).	Function: checkOutPF	in seq: <setCartPF,checkOutPF,checkOutPF>
04:26:39.328 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getCart().	Function: getCartPF	in seq: <addToCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:39.362 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getCart().	Function: getCartPF	in seq: <addToCartPF,removeFromCartPF,checkOutPF,getCartPF>
04:26:39.456 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getCart().	Function: getCartPF	in seq: <addToCartPF,getCartPF,checkOutPF,getCartPF>
04:26:39.557 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getCart().	Function: getCartPF	in seq: <addToCartPF,setCartPF,checkOutPF,getCartPF>
04:26:39.641 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getCart().	Function: getCartPF	in seq: <getCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:39.720 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getCart().	Function: getCartPF	in seq: <getCartPF,getCartPF,checkOutPF,getCartPF>
04:26:39.830 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getCart().	Function: getCartPF	in seq: <getCartPF,setCartPF,checkOutPF,getCartPF>
04:26:39.914 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getCart().	Function: getCartPF	in seq: <setCartPF,addToCartPF,checkOutPF,getCartPF>
04:26:39.998 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getCart().	Function: getCartPF	in seq: <setCartPF,removeFromCartPF,checkOutPF,getCartPF>
04:26:40.106 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getCart().	Function: getCartPF	in seq: <setCartPF,getCartPF,checkOutPF,getCartPF>
04:26:40.209 [main] WARN  org.jsxm.jsxmcore.testcasegenerators.TestCaseGenerator - Unhandled input: getCart().	Function: getCartPF	in seq: <setCartPF,setCartPF,checkOutPF,getCartPF>
04:26:40.261 [main] INFO  org.jsxm.jsxmcore.util.XML - 
04:26:40.261 [main] INFO  org.jsxm.maven.plugin.facade.TestGenerationFacade - --- Cart tests generated successfully ---

04:26:40.261 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->
04:26:40.261 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- Generates the JUNIT files-->
04:26:40.262 [main] INFO  org.jsxm.maven.plugin.core.JSXMTool - <!-- ########################################################################## -->

04:26:40.264 [main] INFO  org.jsxm.maven.plugin.facade.TestTransformationFacade -      -->Adapter CartAdapter is missing.<--
