2020-03-11T20:34:25,459 Created temporary directory: /tmp/pip-ephem-wheel-cache-ux19f1j4
2020-03-11T20:34:25,462 Created temporary directory: /tmp/pip-req-tracker-ypf5jogw
2020-03-11T20:34:25,463 Initialized build tracking at /tmp/pip-req-tracker-ypf5jogw
2020-03-11T20:34:25,463 Created build tracker: /tmp/pip-req-tracker-ypf5jogw
2020-03-11T20:34:25,464 Entered build tracker: /tmp/pip-req-tracker-ypf5jogw
2020-03-11T20:34:25,465 Created temporary directory: /tmp/pip-wheel-s4u_xdvm
2020-03-11T20:34:25,470 1 location(s) to search for versions of pyModelChecking:
2020-03-11T20:34:25,470 * https://pypi.org/simple/pymodelchecking/
2020-03-11T20:34:25,470 Fetching project page and analyzing links: https://pypi.org/simple/pymodelchecking/
2020-03-11T20:34:25,471 Getting page https://pypi.org/simple/pymodelchecking/
2020-03-11T20:34:25,473 Found index url https://pypi.org/simple
2020-03-11T20:34:25,476 Getting credentials from keyring for https://pypi.org/simple
2020-03-11T20:34:25,476 Getting credentials from keyring for pypi.org
2020-03-11T20:34:25,671   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/5d/43/07d3588c6451a477219c3747f7e0d3c05e635bde36b0e05034cb6a2317f9/pyModelChecking-0.1.1-py2-none-any.whl#sha256=3369067a77fc73c31a15102a30e6f6990d98011c7be6cea6a00721dc063f11df (from https://pypi.org/simple/pymodelchecking/)
2020-03-11T20:34:25,671   Found link https://files.pythonhosted.org/packages/f3/bf/2b3f95165aad5ed68f833773bac9702ee8c3d85382bfb7f6865f83ff19dd/pyModelChecking-0.1.1.tar.gz#sha256=5ebca2761b7bd79cfa137db9fe182afb1e3cb7f5f44898edbf15c715b9ae5d15 (from https://pypi.org/simple/pymodelchecking/), version: 0.1.1
2020-03-11T20:34:25,672   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/8e/73/c20e1a361fcd3a9ecd95902b4d41c1ae2a17fa803bff0aad63828a7dea33/pyModelChecking-0.1.5-py2-none-any.whl#sha256=7509a6b806a2eb808cddfac605f39a3e7ad7a110d23da3b14bd30c1f08399c2c (from https://pypi.org/simple/pymodelchecking/)
2020-03-11T20:34:25,672   Found link https://files.pythonhosted.org/packages/c4/ca/eb56d43ffd67db81a2e09578dc0df383d12bff5a47fd11402a8bf28ed002/pyModelChecking-0.1.5.tar.gz#sha256=41f8f07473e74d53bf30fcf5d3962011011cfab0fc083d2553098087205b075a (from https://pypi.org/simple/pymodelchecking/), version: 0.1.5
2020-03-11T20:34:25,673   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/8f/6a/08dff640207d8c22d0d2ba71451150609367029ed30496c36e7e1ff17368/pyModelChecking-0.2-py2-none-any.whl#sha256=5443a75a3880142024d239e0afd53ae566bd76f9cd7e167c4ee9adac5b197400 (from https://pypi.org/simple/pymodelchecking/)
2020-03-11T20:34:25,673   Found link https://files.pythonhosted.org/packages/7f/81/5dc9a572e4c5378ad6f2995b8158993d58b2b7783ac5dbd4660b5265e16f/pyModelChecking-0.2.tar.gz#sha256=1ee62ae4eb16bfa86fd102d35344bffa00dfb7ec61fc089bcf9c7f073e6c8f25 (from https://pypi.org/simple/pymodelchecking/), version: 0.2
2020-03-11T20:34:25,674   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/9a/2c/a8c827c073ab1df85017add709ab1e798cc1e985628f5240fef0c8e1804d/pyModelChecking-1.0-py2-none-any.whl#sha256=6aa0ee4ac7b85c710eb3ed4eae27a286c002e78d371bad14bd1da13968ea9a5b (from https://pypi.org/simple/pymodelchecking/)
2020-03-11T20:34:25,674   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/c4/15/77af5ea7532956c435f0c4c0c0292df219d937b049ccbf90d43518f2686a/pyModelChecking-1.0-py3-none-any.whl#sha256=294f926acce6a74010e69ef4590817ec4edb36b1fbb9b3a55c708d27ee8f0a73 (from https://pypi.org/simple/pymodelchecking/)
2020-03-11T20:34:25,675   Found link https://files.pythonhosted.org/packages/e6/dc/22f226a6f19633eba5d2815e3df6abff59a2633a95f70678410fb8188e89/pyModelChecking-1.0.tar.gz#sha256=bf41b2bfa8ff8d125389c52cf14a5848f5ba89e048fa0b896684c460b18eef0d (from https://pypi.org/simple/pymodelchecking/), version: 1.0
2020-03-11T20:34:25,675   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/58/fb/17e633d0ff2412396bfda49de94aa9d9a717f071a75d9400f718898dedc9/pyModelChecking-1.0.1-py2-none-any.whl#sha256=0e0268cac59605ac16fa3b60b22df41c96d82c181d0a14694cbf5a25ae8e2986 (from https://pypi.org/simple/pymodelchecking/)
2020-03-11T20:34:25,675   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/65/87/f1b2f2dfffda7da5330ea1081eada9d7771a844159e6f00a7dd5b87c4c7e/pyModelChecking-1.0.1-py3-none-any.whl#sha256=8e5b3c6251db8753745584dcb469cb3857ef89bf8912d7477f982e0b4684266d (from https://pypi.org/simple/pymodelchecking/)
2020-03-11T20:34:25,676   Found link https://files.pythonhosted.org/packages/3d/67/08ddbf2eda782f151aebe4dfecb513ae704e3b5724b3458e55d8a3c6a5be/pyModelChecking-1.0.1.tar.gz#sha256=dd2324201cc276232d545a11b979ff1ba99452ffd81dc3ea04a405521981f373 (from https://pypi.org/simple/pymodelchecking/), version: 1.0.1
2020-03-11T20:34:25,676   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/b6/02/de096f91f61f01207a7b3ea93c8ac92c980efd1da2a61ed886e1a04041c3/pyModelChecking-1.1.1-py2-none-any.whl#sha256=dec0331940114ebdd7791e999e8666e5900b6ddf4adf82dd1f1873a6d5c961c1 (from https://pypi.org/simple/pymodelchecking/)
2020-03-11T20:34:25,677   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/1d/38/243665d9cf53dab654e76a0e35fd99309c117bad54dc54e515048a6ae779/pyModelChecking-1.1.1-py3-none-any.whl#sha256=71f1b32904a1d3bf72f609f2295b4716f1213bbc307c3ffe28fb4ef7b08d244e (from https://pypi.org/simple/pymodelchecking/)
2020-03-11T20:34:25,677   Found link https://files.pythonhosted.org/packages/f0/d5/bc95d76fbf2991f408e31c0aea6e51485dbca78dbcf61c386e12e43244da/pyModelChecking-1.1.1.tar.gz#sha256=cfc137df91778f17c041b65dcf0185a8614e56086b3ed4bf3c05db1d1e6d59dc (from https://pypi.org/simple/pymodelchecking/), version: 1.1.1
2020-03-11T20:34:25,678   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/fa/06/dd5c4c0ab976e22b8609ad2df644228fd3c49cebfca19eff52eb58be0a5d/pyModelChecking-1.2.0-py2.py3-none-any.whl#sha256=cdde4e552e2527dbb6c5a94b28460d39556021d1214be4e27efe2f430a11d429 (from https://pypi.org/simple/pymodelchecking/)
2020-03-11T20:34:25,678   Found link https://files.pythonhosted.org/packages/75/e3/32b2b922f521b29047a3338e646a843a84b66d29740df3d500b61819ebd8/pyModelChecking-1.2.0.tar.gz#sha256=301daa495a4f726e3aaa28d20ba01b8521c676a9418d042633565c900c6c1497 (from https://pypi.org/simple/pymodelchecking/), version: 1.2.0
2020-03-11T20:34:25,678   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/94/31/0986496afc08ac53133d2b9174f4aa7468d949a75228492da5906c9ccbc2/pyModelChecking-1.3.1-py3-none-any.whl#sha256=f2c98dfe55f7d1846fcd61e47eb969709dbbe6c04a54c0b3374495cbe1c330e0 (from https://pypi.org/simple/pymodelchecking/) (requires-python:>=3.6)
2020-03-11T20:34:25,680   Found link https://files.pythonhosted.org/packages/07/ff/5f3db2eeaa012341e7e4078ffba65e6720db0e4e5d36c3edf37f4d9baca3/pyModelChecking-1.3.1.tar.gz#sha256=30f7dd79c50adf56367bc0ee74c5a7757e3bad32ccfc362a77a23104052fe261 (from https://pypi.org/simple/pymodelchecking/) (requires-python:>=3.6), version: 1.3.1
2020-03-11T20:34:25,680   Skipping link: No binaries permitted for pyModelChecking: https://files.pythonhosted.org/packages/7d/a9/4a65231a03bf1f723bfc89234b545e9bdad05a6ba394f8be763624035ff0/pyModelChecking-1.3.2-py3-none-any.whl#sha256=454b06cb844687f3c66124b461f99f7453e8d046dc359fe098aa3c0bd4f0bb0c (from https://pypi.org/simple/pymodelchecking/) (requires-python:>=3.6)
2020-03-11T20:34:25,681   Found link https://files.pythonhosted.org/packages/fb/e9/6b0feef484a1e34aa614513e863132aa6f8459ca2c94eb78635232c8507d/pyModelChecking-1.3.2.tar.gz#sha256=34dec5fc914e59c81af9a0b66651004f24c33c4a08c394a152f39fbf37a52d19 (from https://pypi.org/simple/pymodelchecking/) (requires-python:>=3.6), version: 1.3.2
2020-03-11T20:34:25,690 Given no hashes to check 1 links for project 'pyModelChecking': discarding no candidates
2020-03-11T20:34:25,691 Using version 1.3.2 (newest of versions: 1.3.2)
2020-03-11T20:34:25,695 Collecting pyModelChecking==1.3.2
2020-03-11T20:34:25,699   Created temporary directory: /tmp/pip-unpack-lni2rdlg
2020-03-11T20:34:25,701   Getting credentials from keyring for files.pythonhosted.org
2020-03-11T20:34:25,918   Downloading pyModelChecking-1.3.2.tar.gz (33 kB)
2020-03-11T20:34:26,156   Added pyModelChecking==1.3.2 from https://files.pythonhosted.org/packages/fb/e9/6b0feef484a1e34aa614513e863132aa6f8459ca2c94eb78635232c8507d/pyModelChecking-1.3.2.tar.gz#sha256=34dec5fc914e59c81af9a0b66651004f24c33c4a08c394a152f39fbf37a52d19 to build tracker '/tmp/pip-req-tracker-ypf5jogw'
2020-03-11T20:34:26,157     Running setup.py (path:/tmp/pip-wheel-s4u_xdvm/pyModelChecking/setup.py) egg_info for package pyModelChecking
2020-03-11T20:34:26,158     Running command python setup.py egg_info
2020-03-11T20:34:27,752     running egg_info
2020-03-11T20:34:27,756     creating /tmp/pip-wheel-s4u_xdvm/pyModelChecking/pip-egg-info/pyModelChecking.egg-info
2020-03-11T20:34:27,757     writing /tmp/pip-wheel-s4u_xdvm/pyModelChecking/pip-egg-info/pyModelChecking.egg-info/PKG-INFO
2020-03-11T20:34:27,762     writing dependency_links to /tmp/pip-wheel-s4u_xdvm/pyModelChecking/pip-egg-info/pyModelChecking.egg-info/dependency_links.txt
2020-03-11T20:34:27,766     writing requirements to /tmp/pip-wheel-s4u_xdvm/pyModelChecking/pip-egg-info/pyModelChecking.egg-info/requires.txt
2020-03-11T20:34:27,768     writing top-level names to /tmp/pip-wheel-s4u_xdvm/pyModelChecking/pip-egg-info/pyModelChecking.egg-info/top_level.txt
2020-03-11T20:34:27,771     writing manifest file '/tmp/pip-wheel-s4u_xdvm/pyModelChecking/pip-egg-info/pyModelChecking.egg-info/SOURCES.txt'
2020-03-11T20:34:28,032     reading manifest file '/tmp/pip-wheel-s4u_xdvm/pyModelChecking/pip-egg-info/pyModelChecking.egg-info/SOURCES.txt'
2020-03-11T20:34:28,035     reading manifest template 'MANIFEST.in'
2020-03-11T20:34:28,042     writing manifest file '/tmp/pip-wheel-s4u_xdvm/pyModelChecking/pip-egg-info/pyModelChecking.egg-info/SOURCES.txt'
2020-03-11T20:34:28,156   Source in /tmp/pip-wheel-s4u_xdvm/pyModelChecking has version 1.3.2, which satisfies requirement pyModelChecking==1.3.2 from https://files.pythonhosted.org/packages/fb/e9/6b0feef484a1e34aa614513e863132aa6f8459ca2c94eb78635232c8507d/pyModelChecking-1.3.2.tar.gz#sha256=34dec5fc914e59c81af9a0b66651004f24c33c4a08c394a152f39fbf37a52d19
2020-03-11T20:34:28,158   Removed pyModelChecking==1.3.2 from https://files.pythonhosted.org/packages/fb/e9/6b0feef484a1e34aa614513e863132aa6f8459ca2c94eb78635232c8507d/pyModelChecking-1.3.2.tar.gz#sha256=34dec5fc914e59c81af9a0b66651004f24c33c4a08c394a152f39fbf37a52d19 from build tracker '/tmp/pip-req-tracker-ypf5jogw'
2020-03-11T20:34:28,163 Building wheels for collected packages: pyModelChecking
2020-03-11T20:34:28,170   Created temporary directory: /tmp/pip-wheel-zilgeid2
2020-03-11T20:34:28,171   Building wheel for pyModelChecking (setup.py): started
2020-03-11T20:34:28,171   Destination directory: /tmp/pip-wheel-zilgeid2
2020-03-11T20:34:28,172   Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-s4u_xdvm/pyModelChecking/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-s4u_xdvm/pyModelChecking/setup.py'"'"';f=getattr(tokenize, '"'"'open'"'"', open)(__file__);code=f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /tmp/pip-wheel-zilgeid2
2020-03-11T20:34:29,720   running bdist_wheel
2020-03-11T20:34:29,732   running build
2020-03-11T20:34:29,732   running build_py
2020-03-11T20:34:29,967   creating build
2020-03-11T20:34:29,968   creating build/lib
2020-03-11T20:34:29,969   creating build/lib/pyModelChecking
2020-03-11T20:34:29,971   copying pyModelChecking/parser.py -> build/lib/pyModelChecking
2020-03-11T20:34:29,975   copying pyModelChecking/kripke.py -> build/lib/pyModelChecking
2020-03-11T20:34:29,978   copying pyModelChecking/language.py -> build/lib/pyModelChecking
2020-03-11T20:34:29,982   copying pyModelChecking/graph.py -> build/lib/pyModelChecking
2020-03-11T20:34:29,985   copying pyModelChecking/__init__.py -> build/lib/pyModelChecking
2020-03-11T20:34:29,990   creating build/lib/pyModelChecking/CTLS
2020-03-11T20:34:29,992   copying pyModelChecking/CTLS/parser.py -> build/lib/pyModelChecking/CTLS
2020-03-11T20:34:29,997   copying pyModelChecking/CTLS/model_checking.py -> build/lib/pyModelChecking/CTLS
2020-03-11T20:34:30,002   copying pyModelChecking/CTLS/language.py -> build/lib/pyModelChecking/CTLS
2020-03-11T20:34:30,009   copying pyModelChecking/CTLS/__init__.py -> build/lib/pyModelChecking/CTLS
2020-03-11T20:34:30,013   creating build/lib/pyModelChecking/LTL
2020-03-11T20:34:30,015   copying pyModelChecking/LTL/parser.py -> build/lib/pyModelChecking/LTL
2020-03-11T20:34:30,018   copying pyModelChecking/LTL/model_checking.py -> build/lib/pyModelChecking/LTL
2020-03-11T20:34:30,022   copying pyModelChecking/LTL/language.py -> build/lib/pyModelChecking/LTL
2020-03-11T20:34:30,025   copying pyModelChecking/LTL/__init__.py -> build/lib/pyModelChecking/LTL
2020-03-11T20:34:30,030   creating build/lib/pyModelChecking/tests
2020-03-11T20:34:30,032   copying pyModelChecking/tests/test_LTL_language.py -> build/lib/pyModelChecking/tests
2020-03-11T20:34:30,038   copying pyModelChecking/tests/test_kripke.py -> build/lib/pyModelChecking/tests
2020-03-11T20:34:30,043   copying pyModelChecking/tests/test_CTL_parser.py -> build/lib/pyModelChecking/tests
2020-03-11T20:34:30,047   copying pyModelChecking/tests/test_CTLS_modelchecking.py -> build/lib/pyModelChecking/tests
2020-03-11T20:34:30,052   copying pyModelChecking/tests/test_CTLS_language.py -> build/lib/pyModelChecking/tests
2020-03-11T20:34:30,055   copying pyModelChecking/tests/test_CTL_language.py -> build/lib/pyModelChecking/tests
2020-03-11T20:34:30,059   copying pyModelChecking/tests/__init__.py -> build/lib/pyModelChecking/tests
2020-03-11T20:34:30,062   copying pyModelChecking/tests/test_LTL_modelchecking.py -> build/lib/pyModelChecking/tests
2020-03-11T20:34:30,065   copying pyModelChecking/tests/test_LTL_parser.py -> build/lib/pyModelChecking/tests
2020-03-11T20:34:30,068   copying pyModelChecking/tests/test_graph.py -> build/lib/pyModelChecking/tests
2020-03-11T20:34:30,073   copying pyModelChecking/tests/test_OBDD.py -> build/lib/pyModelChecking/tests
2020-03-11T20:34:30,078   copying pyModelChecking/tests/test_CTL_modelchecking.py -> build/lib/pyModelChecking/tests
2020-03-11T20:34:30,082   copying pyModelChecking/tests/test_CTLS_parser.py -> build/lib/pyModelChecking/tests
2020-03-11T20:34:30,089   creating build/lib/pyModelChecking/BDD
2020-03-11T20:34:30,091   copying pyModelChecking/BDD/BDD.py -> build/lib/pyModelChecking/BDD
2020-03-11T20:34:30,096   copying pyModelChecking/BDD/__init__.py -> build/lib/pyModelChecking/BDD
2020-03-11T20:34:30,099   copying pyModelChecking/BDD/ordering.py -> build/lib/pyModelChecking/BDD
2020-03-11T20:34:30,102   copying pyModelChecking/BDD/OBDD.py -> build/lib/pyModelChecking/BDD
2020-03-11T20:34:30,107   creating build/lib/pyModelChecking/CTL
2020-03-11T20:34:30,108   copying pyModelChecking/CTL/parser.py -> build/lib/pyModelChecking/CTL
2020-03-11T20:34:30,112   copying pyModelChecking/CTL/model_checking.py -> build/lib/pyModelChecking/CTL
2020-03-11T20:34:30,118   copying pyModelChecking/CTL/language.py -> build/lib/pyModelChecking/CTL
2020-03-11T20:34:30,123   copying pyModelChecking/CTL/__init__.py -> build/lib/pyModelChecking/CTL
2020-03-11T20:34:30,130   creating build/lib/pyModelChecking/PL
2020-03-11T20:34:30,132   copying pyModelChecking/PL/parser.py -> build/lib/pyModelChecking/PL
2020-03-11T20:34:30,136   copying pyModelChecking/PL/language.py -> build/lib/pyModelChecking/PL
2020-03-11T20:34:30,139   copying pyModelChecking/PL/__init__.py -> build/lib/pyModelChecking/PL
2020-03-11T20:34:30,155   installing to build/bdist.linux-armv7l/wheel
2020-03-11T20:34:30,155   running install
2020-03-11T20:34:30,157   running install_lib
2020-03-11T20:34:30,163   creating build/bdist.linux-armv7l
2020-03-11T20:34:30,164   creating build/bdist.linux-armv7l/wheel
2020-03-11T20:34:30,167   creating build/bdist.linux-armv7l/wheel/pyModelChecking
2020-03-11T20:34:30,170   creating build/bdist.linux-armv7l/wheel/pyModelChecking/CTLS
2020-03-11T20:34:30,172   copying build/lib/pyModelChecking/CTLS/parser.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTLS
2020-03-11T20:34:30,176   copying build/lib/pyModelChecking/CTLS/model_checking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTLS
2020-03-11T20:34:30,179   copying build/lib/pyModelChecking/CTLS/language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTLS
2020-03-11T20:34:30,184   copying build/lib/pyModelChecking/CTLS/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTLS
2020-03-11T20:34:30,187   creating build/bdist.linux-armv7l/wheel/pyModelChecking/LTL
2020-03-11T20:34:30,189   copying build/lib/pyModelChecking/LTL/parser.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/LTL
2020-03-11T20:34:30,194   copying build/lib/pyModelChecking/LTL/model_checking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/LTL
2020-03-11T20:34:30,200   copying build/lib/pyModelChecking/LTL/language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/LTL
2020-03-11T20:34:30,205   copying build/lib/pyModelChecking/LTL/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/LTL
2020-03-11T20:34:30,211   creating build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-03-11T20:34:30,214   copying build/lib/pyModelChecking/tests/test_LTL_language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-03-11T20:34:30,219   copying build/lib/pyModelChecking/tests/test_kripke.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-03-11T20:34:30,224   copying build/lib/pyModelChecking/tests/test_CTL_parser.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-03-11T20:34:30,229   copying build/lib/pyModelChecking/tests/test_CTLS_modelchecking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-03-11T20:34:30,233   copying build/lib/pyModelChecking/tests/test_CTLS_language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-03-11T20:34:30,237   copying build/lib/pyModelChecking/tests/test_CTL_language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-03-11T20:34:30,241   copying build/lib/pyModelChecking/tests/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-03-11T20:34:30,244   copying build/lib/pyModelChecking/tests/test_LTL_modelchecking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-03-11T20:34:30,247   copying build/lib/pyModelChecking/tests/test_LTL_parser.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-03-11T20:34:30,250   copying build/lib/pyModelChecking/tests/test_graph.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-03-11T20:34:30,253   copying build/lib/pyModelChecking/tests/test_OBDD.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-03-11T20:34:30,258   copying build/lib/pyModelChecking/tests/test_CTL_modelchecking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-03-11T20:34:30,262   copying build/lib/pyModelChecking/tests/test_CTLS_parser.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/tests
2020-03-11T20:34:30,269   creating build/bdist.linux-armv7l/wheel/pyModelChecking/BDD
2020-03-11T20:34:30,271   copying build/lib/pyModelChecking/BDD/BDD.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/BDD
2020-03-11T20:34:30,276   copying build/lib/pyModelChecking/BDD/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/BDD
2020-03-11T20:34:30,279   copying build/lib/pyModelChecking/BDD/ordering.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/BDD
2020-03-11T20:34:30,283   copying build/lib/pyModelChecking/BDD/OBDD.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/BDD
2020-03-11T20:34:30,287   copying build/lib/pyModelChecking/parser.py -> build/bdist.linux-armv7l/wheel/pyModelChecking
2020-03-11T20:34:30,290   copying build/lib/pyModelChecking/kripke.py -> build/bdist.linux-armv7l/wheel/pyModelChecking
2020-03-11T20:34:30,296   creating build/bdist.linux-armv7l/wheel/pyModelChecking/CTL
2020-03-11T20:34:30,299   copying build/lib/pyModelChecking/CTL/parser.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTL
2020-03-11T20:34:30,304   copying build/lib/pyModelChecking/CTL/model_checking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTL
2020-03-11T20:34:30,310   copying build/lib/pyModelChecking/CTL/language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTL
2020-03-11T20:34:30,315   copying build/lib/pyModelChecking/CTL/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTL
2020-03-11T20:34:30,318   copying build/lib/pyModelChecking/language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking
2020-03-11T20:34:30,323   creating build/bdist.linux-armv7l/wheel/pyModelChecking/PL
2020-03-11T20:34:30,324   copying build/lib/pyModelChecking/PL/parser.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/PL
2020-03-11T20:34:30,328   copying build/lib/pyModelChecking/PL/language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/PL
2020-03-11T20:34:30,332   copying build/lib/pyModelChecking/PL/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/PL
2020-03-11T20:34:30,337   copying build/lib/pyModelChecking/graph.py -> build/bdist.linux-armv7l/wheel/pyModelChecking
2020-03-11T20:34:30,343   copying build/lib/pyModelChecking/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking
2020-03-11T20:34:30,347   running install_egg_info
2020-03-11T20:34:30,383   running egg_info
2020-03-11T20:34:30,384   writing pyModelChecking.egg-info/PKG-INFO
2020-03-11T20:34:30,388   writing dependency_links to pyModelChecking.egg-info/dependency_links.txt
2020-03-11T20:34:30,391   writing requirements to pyModelChecking.egg-info/requires.txt
2020-03-11T20:34:30,393   writing top-level names to pyModelChecking.egg-info/top_level.txt
2020-03-11T20:34:30,407   reading manifest file 'pyModelChecking.egg-info/SOURCES.txt'
2020-03-11T20:34:30,411   reading manifest template 'MANIFEST.in'
2020-03-11T20:34:30,419   writing manifest file 'pyModelChecking.egg-info/SOURCES.txt'
2020-03-11T20:34:30,422   Copying pyModelChecking.egg-info to build/bdist.linux-armv7l/wheel/pyModelChecking-1.3.2-py3.7.egg-info
2020-03-11T20:34:30,443   running install_scripts
2020-03-11T20:34:30,572   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2020-03-11T20:34:30,582   creating build/bdist.linux-armv7l/wheel/pyModelChecking-1.3.2.dist-info/WHEEL
2020-03-11T20:34:30,586   creating '/tmp/pip-wheel-zilgeid2/pyModelChecking-1.3.2-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2020-03-11T20:34:30,590   adding 'pyModelChecking/__init__.py'
2020-03-11T20:34:30,593   adding 'pyModelChecking/graph.py'
2020-03-11T20:34:30,596   adding 'pyModelChecking/kripke.py'
2020-03-11T20:34:30,599   adding 'pyModelChecking/language.py'
2020-03-11T20:34:30,601   adding 'pyModelChecking/parser.py'
2020-03-11T20:34:30,605   adding 'pyModelChecking/BDD/BDD.py'
2020-03-11T20:34:30,609   adding 'pyModelChecking/BDD/OBDD.py'
2020-03-11T20:34:30,611   adding 'pyModelChecking/BDD/__init__.py'
2020-03-11T20:34:30,613   adding 'pyModelChecking/BDD/ordering.py'
2020-03-11T20:34:30,616   adding 'pyModelChecking/CTL/__init__.py'
2020-03-11T20:34:30,619   adding 'pyModelChecking/CTL/language.py'
2020-03-11T20:34:30,622   adding 'pyModelChecking/CTL/model_checking.py'
2020-03-11T20:34:30,624   adding 'pyModelChecking/CTL/parser.py'
2020-03-11T20:34:30,627   adding 'pyModelChecking/CTLS/__init__.py'
2020-03-11T20:34:30,630   adding 'pyModelChecking/CTLS/language.py'
2020-03-11T20:34:30,633   adding 'pyModelChecking/CTLS/model_checking.py'
2020-03-11T20:34:30,635   adding 'pyModelChecking/CTLS/parser.py'
2020-03-11T20:34:30,639   adding 'pyModelChecking/LTL/__init__.py'
2020-03-11T20:34:30,641   adding 'pyModelChecking/LTL/language.py'
2020-03-11T20:34:30,644   adding 'pyModelChecking/LTL/model_checking.py'
2020-03-11T20:34:30,646   adding 'pyModelChecking/LTL/parser.py'
2020-03-11T20:34:30,650   adding 'pyModelChecking/PL/__init__.py'
2020-03-11T20:34:30,652   adding 'pyModelChecking/PL/language.py'
2020-03-11T20:34:30,654   adding 'pyModelChecking/PL/parser.py'
2020-03-11T20:34:30,658   adding 'pyModelChecking/tests/__init__.py'
2020-03-11T20:34:30,660   adding 'pyModelChecking/tests/test_CTLS_language.py'
2020-03-11T20:34:30,663   adding 'pyModelChecking/tests/test_CTLS_modelchecking.py'
2020-03-11T20:34:30,665   adding 'pyModelChecking/tests/test_CTLS_parser.py'
2020-03-11T20:34:30,667   adding 'pyModelChecking/tests/test_CTL_language.py'
2020-03-11T20:34:30,670   adding 'pyModelChecking/tests/test_CTL_modelchecking.py'
2020-03-11T20:34:30,672   adding 'pyModelChecking/tests/test_CTL_parser.py'
2020-03-11T20:34:30,674   adding 'pyModelChecking/tests/test_LTL_language.py'
2020-03-11T20:34:30,677   adding 'pyModelChecking/tests/test_LTL_modelchecking.py'
2020-03-11T20:34:30,679   adding 'pyModelChecking/tests/test_LTL_parser.py'
2020-03-11T20:34:30,681   adding 'pyModelChecking/tests/test_OBDD.py'
2020-03-11T20:34:30,683   adding 'pyModelChecking/tests/test_graph.py'
2020-03-11T20:34:30,685   adding 'pyModelChecking/tests/test_kripke.py'
2020-03-11T20:34:30,689   adding 'pyModelChecking-1.3.2.dist-info/LICENSE'
2020-03-11T20:34:30,692   adding 'pyModelChecking-1.3.2.dist-info/METADATA'
2020-03-11T20:34:30,693   adding 'pyModelChecking-1.3.2.dist-info/WHEEL'
2020-03-11T20:34:30,695   adding 'pyModelChecking-1.3.2.dist-info/top_level.txt'
2020-03-11T20:34:30,696   adding 'pyModelChecking-1.3.2.dist-info/RECORD'
2020-03-11T20:34:30,700   removing build/bdist.linux-armv7l/wheel
2020-03-11T20:34:30,855   Building wheel for pyModelChecking (setup.py): finished with status 'done'
2020-03-11T20:34:30,859   Created wheel for pyModelChecking: filename=pyModelChecking-1.3.2-py3-none-any.whl size=47223 sha256=67d0e200485857a34589d9c0f9bf980f4c10744673b9c37f8dd74a8d168aed75
2020-03-11T20:34:30,860   Stored in directory: /tmp/pip-ephem-wheel-cache-ux19f1j4/wheels/e3/07/e4/d23d9d3a07ca74d105502ff76c7eee3a2fccc95b06744e444e
2020-03-11T20:34:30,863 Successfully built pyModelChecking
2020-03-11T20:34:30,871 Cleaning up...
2020-03-11T20:34:30,871   Removing source in /tmp/pip-wheel-s4u_xdvm/pyModelChecking
2020-03-11T20:34:30,949 Removed build tracker: '/tmp/pip-req-tracker-ypf5jogw'