Exporting environment variables Exporting TERM Exporting PAGER Exporting DISPLAY Exporting CI Exporting SEMAPHORE Exporting SEMAPHORE_PROJECT_NAME Exporting SEMAPHORE_PROJECT_ID Exporting SEMAPHORE_JOB_NAME Exporting SEMAPHORE_JOB_ID Exporting SEMAPHORE_AGENT_MACHINE_TYPE Exporting SEMAPHORE_AGENT_MACHINE_OS_IMAGE Exporting SEMAPHORE_AGENT_MACHINE_ENVIRONMENT_TYPE Exporting SEMAPHORE_ORGANIZATION_URL Exporting SEMAPHORE_ARTIFACT_TOKEN Exporting SSH_PRIVATE_KEY_PATH Exporting SEMAPHORE_CACHE_BACKEND Exporting SEMAPHORE_CACHE_PRIVATE_KEY_PATH Exporting SEMAPHORE_CACHE_USERNAME Exporting SEMAPHORE_CACHE_URL Exporting SEMAPHORE_CACHE_NEW_CLI Exporting SEMAPHORE_TOOLBOX_METRICS_ENABLED Exporting SEMAPHORE_GIT_PROVIDER Exporting SEMAPHORE_GIT_URL Exporting SEMAPHORE_GIT_DIR Exporting SEMAPHORE_GIT_SHA Exporting SEMAPHORE_GIT_REPO_SLUG Exporting SEMAPHORE_GIT_REF Exporting SEMAPHORE_GIT_COMMIT_RANGE Exporting SEMAPHORE_GIT_REF_TYPE Exporting SEMAPHORE_GIT_BRANCH Exporting SEMAPHORE_WORKFLOW_ID Exporting SEMAPHORE_WORKFLOW_NUMBER Exporting SEMAPHORE_WORKFLOW_RERUN Exporting SEMAPHORE_WORKFLOW_TRIGGERED_BY_HOOK Exporting SEMAPHORE_WORKFLOW_HOOK_SOURCE Exporting SEMAPHORE_WORKFLOW_TRIGGERED_BY_SCHEDULE Exporting SEMAPHORE_WORKFLOW_TRIGGERED_BY_API Exporting SEMAPHORE_PIPELINE_ARTEFACT_ID Exporting SEMAPHORE_PIPELINE_ID Exporting SEMAPHORE_PIPELINE_RERUN Exporting SEMAPHORE_PIPELINE_PROMOTION Exporting SEMAPHORE_PIPELINE_PROMOTED_BY Exporting SEMAPHORE_PIPELINE_0_ARTEFACT_ID Injecting Files Injecting /home/semaphore/.ssh/semaphore_cache_key with file mode 0600 Injecting .ssh/id_rsa with file mode 0600 Setting up the Semaphore toolbox Running: dowloadPath=$(curl -s -L --retry 5 http://packages.semaphoreci.com/toolbox/linux) && echo $dowloadPath && curl -s -L --retry 5 --connect-timeout 3 $dowloadPath -o /tmp/toolbox.tar && tar -xvf /tmp/toolbox.tar && mv toolbox ~/.toolbox && bash ~/.toolbox/install-toolbox && source ~/.toolbox/toolbox && echo 'source ~/.toolbox/toolbox' >> ~/.bash_profile && if [ -f /etc/init.d/xvfb ]; then /etc/init.d/xvfb start; fi http://packages.semaphoreci.com/toolbox/releases/download/v1.16.4/linux.tar toolbox/ toolbox/test-results toolbox/sem-version toolbox/toolbox toolbox/system-metrics-collector toolbox/sem-service toolbox/libchecksum toolbox/when toolbox/cache toolbox/install-toolbox toolbox/artifact toolbox/sem-service-check-params toolbox/sem-install toolbox/libcheckout toolbox/new-cache toolbox/enetwork toolbox/install-package toolbox/sem-dockerize toolbox/retry toolbox/README.md toolbox/ssh-session-cli toolbox/spc retry installed ssh-session-cli installed cache installed sem-service installed sem-dockerize installed sem-service-check-params installed install-package installed Installing the artifacts CLI artifacts installed Installing the test results CLI test-results installed Installing the SPC CLI spc installed Installing the when CLI when installed Installing the enetwork CLI when installed Starting to collect System Metrics in /tmp/system-metrics Starting virtual X frame buffer: Xvfb. Starting an ssh-agent Running: eval `ssh-agent` && echo 'eval $(ssh-agent) >/dev/null' >> ~/.bash_profile && echo 'yes' > /tmp/sempahore-user-commands-have-started Agent pid 2513 Connecting to cache Running: (ssh-keyscan -p 29920 -H 46.4.218.107 >> /home/semaphore/.ssh/known_hosts || true) && ssh-add /home/semaphore/.ssh/semaphore_cache_key # 46.4.218.107:29920 SSH-2.0-OpenSSH_7.6p1 Ubuntu-4ubuntu0.3 # 46.4.218.107:29920 SSH-2.0-OpenSSH_7.6p1 Ubuntu-4ubuntu0.3 # 46.4.218.107:29920 SSH-2.0-OpenSSH_7.6p1 Ubuntu-4ubuntu0.3 Identity added: /home/semaphore/.ssh/semaphore_cache_key (/home/semaphore/.ssh/semaphore_cache_key) checkout Performing shallow clone with depth: 50 Branch not found performing full clone Cloning into 'ILAng'... Warning: Permanently added 'github.com,140.82.121.4' (ECDSA) to the list of known hosts. remote: Enumerating objects: 37731, done. remote: Counting objects: 0% (1/109) remote: Counting objects: 1% (2/109) remote: Counting objects: 2% (3/109) remote: Counting objects: 3% (4/109) remote: Counting objects: 4% (5/109) remote: Counting objects: 5% (6/109) remote: Counting objects: 6% (7/109) remote: Counting objects: 7% (8/109) remote: Counting objects: 8% (9/109) remote: Counting objects: 9% (10/109) remote: Counting objects: 10% (11/109) remote: Counting objects: 11% (12/109) remote: Counting objects: 12% (14/109) remote: Counting objects: 13% (15/109) remote: Counting objects: 14% (16/109) remote: Counting objects: 15% (17/109) remote: Counting objects: 16% (18/109) remote: Counting objects: 17% (19/109) remote: Counting objects: 18% (20/109) remote: Counting objects: 19% (21/109) remote: Counting objects: 20% (22/109) remote: Counting objects: 21% (23/109) remote: Counting objects: 22% (24/109) remote: Counting objects: 23% (26/109) remote: Counting objects: 24% (27/109) remote: Counting objects: 25% (28/109) remote: Counting objects: 26% (29/109) remote: Counting objects: 27% (30/109) remote: Counting objects: 28% (31/109) remote: Counting objects: 29% (32/109) remote: Counting objects: 30% (33/109) remote: Counting objects: 31% (34/109) remote: Counting objects: 32% (35/109) remote: Counting objects: 33% (36/109) remote: Counting objects: 34% (38/109) remote: Counting objects: 35% (39/109) remote: Counting objects: 36% (40/109) remote: Counting objects: 37% (41/109) remote: Counting objects: 38% (42/109) remote: Counting objects: 39% (43/109) remote: Counting objects: 40% (44/109) remote: Counting objects: 41% (45/109) remote: Counting objects: 42% (46/109) remote: Counting objects: 43% (47/109) remote: Counting objects: 44% (48/109) remote: Counting objects: 45% (50/109) remote: Counting objects: 46% (51/109) remote: Counting objects: 47% (52/109) remote: Counting objects: 48% (53/109) remote: Counting objects: 49% (54/109) remote: Counting objects: 50% (55/109) remote: Counting objects: 51% (56/109) remote: Counting objects: 52% (57/109) remote: Counting objects: 53% (58/109) remote: Counting objects: 54% (59/109) remote: Counting objects: 55% (60/109) remote: Counting objects: 56% (62/109) remote: Counting objects: 57% (63/109) remote: Counting objects: 58% (64/109) remote: Counting objects: 59% (65/109) remote: Counting objects: 60% (66/109) remote: Counting objects: 61% (67/109) remote: Counting objects: 62% (68/109) remote: Counting objects: 63% (69/109) remote: Counting objects: 64% (70/109) remote: Counting objects: 65% (71/109) remote: Counting objects: 66% (72/109) remote: Counting objects: 67% (74/109) remote: Counting objects: 68% (75/109) remote: Counting objects: 69% (76/109) remote: Counting objects: 70% (77/109) remote: Counting objects: 71% (78/109) remote: Counting objects: 72% (79/109) remote: Counting objects: 73% (80/109) remote: Counting objects: 74% (81/109) remote: Counting objects: 75% (82/109) remote: Counting objects: 76% (83/109) remote: Counting objects: 77% (84/109) remote: Counting objects: 78% (86/109) remote: Counting objects: 79% (87/109) remote: Counting objects: 80% (88/109) remote: Counting objects: 81% (89/109) remote: Counting objects: 82% (90/109) remote: Counting objects: 83% (91/109) remote: Counting objects: 84% (92/109) remote: Counting objects: 85% (93/109) remote: Counting objects: 86% (94/109) remote: Counting objects: 87% (95/109) remote: Counting objects: 88% (96/109) remote: Counting objects: 89% (98/109) remote: Counting objects: 90% (99/109) remote: Counting objects: 91% (100/109) remote: Counting objects: 92% (101/109) remote: Counting objects: 93% (102/109) remote: Counting objects: 94% (103/109) remote: Counting objects: 95% (104/109) remote: Counting objects: 96% (105/109) remote: Counting objects: 97% (106/109) remote: Counting objects: 98% (107/109) remote: Counting objects: 99% (108/109) remote: Counting objects: 100% (109/109) remote: Counting objects: 100% (109/109), done. remote: Compressing objects: 1% (1/66) remote: Compressing objects: 3% (2/66) remote: Compressing objects: 4% (3/66) remote: Compressing objects: 6% (4/66) remote: Compressing objects: 7% (5/66) remote: Compressing objects: 9% (6/66) remote: Compressing objects: 10% (7/66) remote: Compressing objects: 12% (8/66) remote: Compressing objects: 13% (9/66) remote: Compressing objects: 15% (10/66) remote: Compressing objects: 16% (11/66) remote: Compressing objects: 18% (12/66) remote: Compressing objects: 19% (13/66) remote: Compressing objects: 21% (14/66) remote: Compressing objects: 22% (15/66) remote: Compressing objects: 24% (16/66) remote: Compressing objects: 25% (17/66) remote: Compressing objects: 27% (18/66) remote: Compressing objects: 28% (19/66) remote: Compressing objects: 30% (20/66) remote: Compressing objects: 31% (21/66) remote: Compressing objects: 33% (22/66) remote: Compressing objects: 34% (23/66) remote: Compressing objects: 36% (24/66) remote: Compressing objects: 37% (25/66) remote: Compressing objects: 39% (26/66) remote: Compressing objects: 40% (27/66) remote: Compressing objects: 42% (28/66) remote: Compressing objects: 43% (29/66) remote: Compressing objects: 45% (30/66) remote: Compressing objects: 46% (31/66) remote: Compressing objects: 48% (32/66) remote: Compressing objects: 50% (33/66) remote: Compressing objects: 51% (34/66) remote: Compressing objects: 53% (35/66) remote: Compressing objects: 54% (36/66) remote: Compressing objects: 56% (37/66) remote: Compressing objects: 57% (38/66) remote: Compressing objects: 59% (39/66) remote: Compressing objects: 60% (40/66) remote: Compressing objects: 62% (41/66) remote: Compressing objects: 63% (42/66) remote: Compressing objects: 65% (43/66) remote: Compressing objects: 66% (44/66) remote: Compressing objects: 68% (45/66) remote: Compressing objects: 69% (46/66) remote: Compressing objects: 71% (47/66) remote: Compressing objects: 72% (48/66) remote: Compressing objects: 74% (49/66) remote: Compressing objects: 75% (50/66) remote: Compressing objects: 77% (51/66) remote: Compressing objects: 78% (52/66) remote: Compressing objects: 80% (53/66) remote: Compressing objects: 81% (54/66) remote: Compressing objects: 83% (55/66) remote: Compressing objects: 84% (56/66) remote: Compressing objects: 86% (57/66) remote: Compressing objects: 87% (58/66) remote: Compressing objects: 89% (59/66) remote: Compressing objects: 90% (60/66) remote: Compressing objects: 92% (61/66) remote: Compressing objects: 93% (62/66) remote: Compressing objects: 95% (63/66) remote: Compressing objects: 96% (64/66) remote: Compressing objects: 98% (65/66) remote: Compressing objects: 100% (66/66) remote: Compressing objects: 100% (66/66), done. Receiving objects: 0% (1/37731) Receiving objects: 1% (378/37731) Receiving objects: 2% (755/37731) Receiving objects: 3% (1132/37731), 236.00 KiB | 416.00 KiB/s Receiving objects: 4% (1510/37731), 236.00 KiB | 416.00 KiB/s Receiving objects: 5% (1887/37731), 236.00 KiB | 416.00 KiB/s Receiving objects: 6% (2264/37731), 236.00 KiB | 416.00 KiB/s Receiving objects: 6% (2398/37731), 236.00 KiB | 416.00 KiB/s Receiving objects: 7% (2642/37731), 236.00 KiB | 416.00 KiB/s Receiving objects: 8% (3019/37731), 580.00 KiB | 532.00 KiB/s Receiving objects: 9% (3396/37731), 580.00 KiB | 532.00 KiB/s Receiving objects: 10% (3774/37731), 580.00 KiB | 532.00 KiB/s Receiving objects: 11% (4151/37731), 980.00 KiB | 613.00 KiB/s Receiving objects: 11% (4327/37731), 980.00 KiB | 613.00 KiB/s Receiving objects: 12% (4528/37731), 1.58 MiB | 764.00 KiB/s Receiving objects: 12% (4879/37731), 3.51 MiB | 1.11 MiB/s Receiving objects: 12% (4879/37731), 7.17 MiB | 1.71 MiB/s Receiving objects: 12% (4879/37731), 14.01 MiB | 2.95 MiB/s Receiving objects: 13% (4906/37731), 14.01 MiB | 2.95 MiB/s Receiving objects: 14% (5283/37731), 14.01 MiB | 2.95 MiB/s Receiving objects: 14% (5492/37731), 19.27 MiB | 4.01 MiB/s Receiving objects: 14% (5495/37731), 27.62 MiB | 5.59 MiB/s Receiving objects: 15% (5660/37731), 31.28 MiB | 6.23 MiB/s Receiving objects: 16% (6037/37731), 31.28 MiB | 6.23 MiB/s Receiving objects: 16% (6127/37731), 38.71 MiB | 7.32 MiB/s Receiving objects: 16% (6128/37731), 46.64 MiB | 8.01 MiB/s Receiving objects: 16% (6129/37731), 54.67 MiB | 7.78 MiB/s Receiving objects: 16% (6130/37731), 62.76 MiB | 7.75 MiB/s Receiving objects: 16% (6131/37731), 70.92 MiB | 7.94 MiB/s Receiving objects: 16% (6132/37731), 78.87 MiB | 7.99 MiB/s Receiving objects: 16% (6133/37731), 87.03 MiB | 8.05 MiB/s Receiving objects: 16% (6134/37731), 95.24 MiB | 8.08 MiB/s Receiving objects: 16% (6135/37731), 103.61 MiB | 8.15 MiB/s Receiving objects: 16% (6136/37731), 112.45 MiB | 8.33 MiB/s Receiving objects: 17% (6415/37731), 112.45 MiB | 8.33 MiB/s Receiving objects: 18% (6792/37731), 112.45 MiB | 8.33 MiB/s Receiving objects: 19% (7169/37731), 112.45 MiB | 8.33 MiB/s Receiving objects: 20% (7547/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 20% (7612/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 21% (7924/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 22% (8301/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 23% (8679/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 24% (9056/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 25% (9433/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 26% (9811/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 27% (10188/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 28% (10565/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 29% (10942/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 30% (11320/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 31% (11697/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 32% (12074/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 33% (12452/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 34% (12829/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 35% (13206/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 36% (13584/37731), 116.96 MiB | 8.44 MiB/s Receiving objects: 36% (13590/37731), 131.79 MiB | 9.03 MiB/s Receiving objects: 36% (13591/37731), 137.12 MiB | 9.29 MiB/s Receiving objects: 37% (13961/37731), 137.12 MiB | 9.29 MiB/s Receiving objects: 38% (14338/37731), 142.73 MiB | 9.60 MiB/s Receiving objects: 39% (14716/37731), 142.73 MiB | 9.60 MiB/s Receiving objects: 40% (15093/37731), 142.73 MiB | 9.60 MiB/s Receiving objects: 41% (15470/37731), 142.73 MiB | 9.60 MiB/s Receiving objects: 42% (15848/37731), 142.73 MiB | 9.60 MiB/s Receiving objects: 43% (16225/37731), 142.73 MiB | 9.60 MiB/s Receiving objects: 43% (16253/37731), 148.93 MiB | 10.06 MiB/s Receiving objects: 44% (16602/37731), 155.36 MiB | 10.52 MiB/s Receiving objects: 44% (16683/37731), 161.91 MiB | 10.96 MiB/s Receiving objects: 45% (16979/37731), 173.43 MiB | 11.48 MiB/s Receiving objects: 45% (17258/37731), 173.43 MiB | 11.48 MiB/s Receiving objects: 46% (17357/37731), 173.43 MiB | 11.48 MiB/s Receiving objects: 47% (17734/37731), 173.43 MiB | 11.48 MiB/s Receiving objects: 48% (18111/37731), 173.43 MiB | 11.48 MiB/s Receiving objects: 49% (18489/37731), 173.43 MiB | 11.48 MiB/s Receiving objects: 50% (18866/37731), 173.43 MiB | 11.48 MiB/s Receiving objects: 51% (19243/37731), 173.43 MiB | 11.48 MiB/s Receiving objects: 52% (19621/37731), 173.43 MiB | 11.48 MiB/s Receiving objects: 53% (19998/37731), 173.43 MiB | 11.48 MiB/s Receiving objects: 54% (20375/37731), 173.43 MiB | 11.48 MiB/s Receiving objects: 55% (20753/37731), 173.43 MiB | 11.48 MiB/s Receiving objects: 56% (21130/37731), 173.43 MiB | 11.48 MiB/s Receiving objects: 57% (21507/37731), 173.43 MiB | 11.48 MiB/s Receiving objects: 58% (21884/37731), 173.43 MiB | 11.48 MiB/s Receiving objects: 59% (22262/37731), 173.43 MiB | 11.48 MiB/s Receiving objects: 60% (22639/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 61% (23016/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 62% (23394/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 63% (23771/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 64% (24148/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 65% (24526/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 66% (24903/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 67% (25280/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 68% (25658/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 69% (26035/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 70% (26412/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 71% (26790/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 72% (27167/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 73% (27544/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 74% (27921/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 75% (28299/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 76% (28676/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 77% (29053/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 78% (29431/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 79% (29808/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 80% (30185/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 81% (30563/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 82% (30940/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 83% (31317/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 84% (31695/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 85% (32072/37731), 179.03 MiB | 11.64 MiB/s Receiving objects: 85% (32419/37731), 185.09 MiB | 11.79 MiB/s Receiving objects: 86% (32449/37731), 185.09 MiB | 11.79 MiB/s Receiving objects: 87% (32826/37731), 185.09 MiB | 11.79 MiB/s Receiving objects: 88% (33204/37731), 185.09 MiB | 11.79 MiB/s Receiving objects: 89% (33581/37731), 185.09 MiB | 11.79 MiB/s Receiving objects: 90% (33958/37731), 185.09 MiB | 11.79 MiB/s Receiving objects: 91% (34336/37731), 185.09 MiB | 11.79 MiB/s Receiving objects: 92% (34713/37731), 185.09 MiB | 11.79 MiB/s Receiving objects: 93% (35090/37731), 185.09 MiB | 11.79 MiB/s Receiving objects: 94% (35468/37731), 185.09 MiB | 11.79 MiB/s Receiving objects: 95% (35845/37731), 185.09 MiB | 11.79 MiB/s Receiving objects: 96% (36222/37731), 185.09 MiB | 11.79 MiB/s Receiving objects: 97% (36600/37731), 191.46 MiB | 12.01 MiB/s Receiving objects: 98% (36977/37731), 191.46 MiB | 12.01 MiB/s Receiving objects: 99% (37354/37731), 191.46 MiB | 12.01 MiB/s remote: Total 37731 (delta 41), reused 80 (delta 32), pack-reused 37622 Receiving objects: 100% (37731/37731), 191.46 MiB | 12.01 MiB/s Receiving objects: 100% (37731/37731), 197.29 MiB | 7.95 MiB/s, done. Resolving deltas: 0% (0/25209) Resolving deltas: 1% (253/25209) Resolving deltas: 2% (505/25209) Resolving deltas: 3% (757/25209) Resolving deltas: 4% (1009/25209) Resolving deltas: 5% (1261/25209) Resolving deltas: 6% (1513/25209) Resolving deltas: 7% (1765/25209) Resolving deltas: 8% (2017/25209) Resolving deltas: 9% (2269/25209) Resolving deltas: 10% (2521/25209) Resolving deltas: 11% (2773/25209) Resolving deltas: 12% (3026/25209) Resolving deltas: 13% (3278/25209) Resolving deltas: 14% (3530/25209) Resolving deltas: 15% (3782/25209) Resolving deltas: 16% (4034/25209) Resolving deltas: 17% (4286/25209) Resolving deltas: 18% (4538/25209) Resolving deltas: 19% (4790/25209) Resolving deltas: 20% (5042/25209) Resolving deltas: 21% (5294/25209) Resolving deltas: 22% (5546/25209) Resolving deltas: 23% (5799/25209) Resolving deltas: 24% (6051/25209) Resolving deltas: 25% (6303/25209) Resolving deltas: 26% (6555/25209) Resolving deltas: 27% (6807/25209) Resolving deltas: 28% (7059/25209) Resolving deltas: 29% (7311/25209) Resolving deltas: 30% (7563/25209) Resolving deltas: 31% (7815/25209) Resolving deltas: 32% (8067/25209) Resolving deltas: 33% (8319/25209) Resolving deltas: 34% (8572/25209) Resolving deltas: 35% (8824/25209) Resolving deltas: 36% (9076/25209) Resolving deltas: 37% (9328/25209) Resolving deltas: 38% (9580/25209) Resolving deltas: 39% (9832/25209) Resolving deltas: 40% (10084/25209) Resolving deltas: 41% (10336/25209) Resolving deltas: 42% (10588/25209) Resolving deltas: 43% (10840/25209) Resolving deltas: 44% (11092/25209) Resolving deltas: 45% (11345/25209) Resolving deltas: 46% (11597/25209) Resolving deltas: 47% (11849/25209) Resolving deltas: 48% (12101/25209) Resolving deltas: 49% (12353/25209) Resolving deltas: 50% (12605/25209) Resolving deltas: 51% (12857/25209) Resolving deltas: 52% (13109/25209) Resolving deltas: 53% (13361/25209) Resolving deltas: 54% (13613/25209) Resolving deltas: 55% (13865/25209) Resolving deltas: 56% (14118/25209) Resolving deltas: 57% (14370/25209) Resolving deltas: 58% (14622/25209) Resolving deltas: 59% (14874/25209) Resolving deltas: 60% (15126/25209) Resolving deltas: 61% (15378/25209) Resolving deltas: 62% (15630/25209) Resolving deltas: 63% (15882/25209) Resolving deltas: 64% (16134/25209) Resolving deltas: 65% (16386/25209) Resolving deltas: 66% (16638/25209) Resolving deltas: 67% (16891/25209) Resolving deltas: 68% (17143/25209) Resolving deltas: 69% (17395/25209) Resolving deltas: 70% (17647/25209) Resolving deltas: 71% (17899/25209) Resolving deltas: 72% (18151/25209) Resolving deltas: 73% (18403/25209) Resolving deltas: 74% (18655/25209) Resolving deltas: 75% (18907/25209) Resolving deltas: 76% (19159/25209) Resolving deltas: 77% (19411/25209) Resolving deltas: 78% (19664/25209) Resolving deltas: 79% (19916/25209) Resolving deltas: 80% (20168/25209) Resolving deltas: 81% (20420/25209) Resolving deltas: 82% (20672/25209) Resolving deltas: 83% (20924/25209) Resolving deltas: 84% (21176/25209) Resolving deltas: 85% (21428/25209) Resolving deltas: 86% (21680/25209) Resolving deltas: 87% (21932/25209) Resolving deltas: 88% (22184/25209) Resolving deltas: 89% (22437/25209) Resolving deltas: 90% (22689/25209) Resolving deltas: 91% (22941/25209) Resolving deltas: 92% (23193/25209) Resolving deltas: 93% (23445/25209) Resolving deltas: 94% (23697/25209) Resolving deltas: 95% (23949/25209) Resolving deltas: 96% (24201/25209) Resolving deltas: 97% (24453/25209) Resolving deltas: 98% (24705/25209) Resolving deltas: 99% (24957/25209) Resolving deltas: 100% (25209/25209) Resolving deltas: 100% (25209/25209), done. Updating files: 73% (2303/3135) Updating files: 74% (2320/3135) Updating files: 75% (2352/3135) Updating files: 76% (2383/3135) Updating files: 77% (2414/3135) Updating files: 78% (2446/3135) Updating files: 79% (2477/3135) Updating files: 80% (2508/3135) Updating files: 81% (2540/3135) Updating files: 82% (2571/3135) Updating files: 83% (2603/3135) Updating files: 84% (2634/3135) Updating files: 85% (2665/3135) Updating files: 86% (2697/3135) Updating files: 87% (2728/3135) Updating files: 88% (2759/3135) Updating files: 89% (2791/3135) Updating files: 90% (2822/3135) Updating files: 91% (2853/3135) Updating files: 92% (2885/3135) Updating files: 93% (2916/3135) Updating files: 94% (2947/3135) Updating files: 95% (2979/3135) Updating files: 96% (3010/3135) Updating files: 97% (3041/3135) Updating files: 98% (3073/3135) Updating files: 99% (3104/3135) Updating files: 100% (3135/3135) Updating files: 100% (3135/3135), done. HEAD is now at 14b66e61 Merge pull request #217 from PrincetonUniversity/update-ci-final sudo apt-get update 0% [Working] Hit:1 http://mirror.hetzner.de/ubuntu/packages bionic InRelease 0% [Connecting to de.archive.ubuntu.com (141.30.62.25)] [Connecting to mirror.i Get:2 http://mirror.hetzner.de/ubuntu/packages bionic-updates InRelease [88.7 kB] Get:3 http://mirror.hetzner.de/ubuntu/packages bionic-backports InRelease [74.6 kB] Get:4 http://mirror.hetzner.de/ubuntu/packages bionic-security InRelease [88.7 kB] 0% [Waiting for headers] [Waiting for headers] [Waiting for headers] [Connectin 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Waiti Get:5 http://dl.google.com/linux/chrome/deb stable InRelease [1,811 B] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Waiti Hit:6 http://mirror.init7.net/ubuntu bionic InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Waiti Hit:7 http://de.archive.ubuntu.com/ubuntu bionic InRelease Hit:8 http://ppa.launchpad.net/ansible/ansible/ubuntu trusty InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Conne Get:9 https://cli.github.com/packages stable InRelease [3,743 B] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Conne Get:10 http://mirror.init7.net/ubuntu bionic-updates InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [10 InRelease 8,431 B/88.7 k Get:11 http://packages.cloud.google.com/apt cloud-sdk-bionic InRelease [6,786 B] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [10 InRelease 14.2 kB/88.7 k 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [10 InRelease 14.2 kB/88.7 k Get:12 http://de.archive.ubuntu.com/ubuntu bionic-security InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [12 InRelease 5,242 B/88.7 kB 6%] [10 InRelease 43 Hit:13 https://download.docker.com/linux/ubuntu bionic InRelease 0% [1 InRelease gpgv 242 kB] [12 InRelease 13.4 kB/88.7 kB 15%] [10 InRelease 4 0% [1 InRelease gpgv 242 kB] [12 InRelease 13.4 kB/88.7 kB 15%] [Waiting for he Hit:14 http://ppa.launchpad.net/git-core/ppa/ubuntu bionic InRelease 0% [1 InRelease gpgv 242 kB] [12 InRelease 13.4 kB/88.7 kB 15%] [Waiting for he Hit:15 https://dl.yarnpkg.com/debian stable InRelease 0% [1 InRelease gpgv 242 kB] [12 InRelease 13.4 kB/88.7 kB 15%] [Waiting for he Get:16 http://mirror.init7.net/ubuntu bionic-backports InRelease [74.6 kB] 0% [1 InRelease gpgv 242 kB] [12 InRelease 40.8 kB/88.7 kB 46%] [Waiting for he Hit:17 https://storage.googleapis.com/bazel-apt stable InRelease 0% [1 InRelease gpgv 242 kB] [12 InRelease 40.8 kB/88.7 kB 46%] [Waiting for he Get:18 http://mirror.init7.net/ubuntu bionic-security InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [12 InRelease 40.8 kB/88.7 kB 46%] [Waiting for he Get:19 https://packages.microsoft.com/repos/azure-cli bionic InRelease [3,965 B] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Connecting to packagecloud. Hit:20 http://ppa.launchpad.net/cwchien/gradle/ubuntu bionic InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Connecting to packagecloud. Get:21 http://de.archive.ubuntu.com/ubuntu bionic-updates InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [21 InRelease 16.2 kB/88.7 kB 18%] [Connecting to 0% [1 InRelease gpgv 242 kB] [Connecting to ppa.launchpad.net (91.189.95.85)] [ 0% [Connecting to ppa.launchpad.net (91.189.95.85)] [Connecting to packagecloud 0% [2 InRelease gpgv 88.7 kB] [Connecting to ppa.launchpad.net (91.189.95.85)] Hit:22 http://ppa.launchpad.net/pypy/ppa/ubuntu bionic InRelease 0% [2 InRelease gpgv 88.7 kB] [Connecting to ppa.launchpad.net (91.189.95.85)] Get:23 http://ppa.launchpad.net/deadsnakes/ppa/ubuntu bionic InRelease [15.9 kB] 0% [2 InRelease gpgv 88.7 kB] [23 InRelease 2,572 B/15.9 kB 16%] [Connected to 0% [23 InRelease 14.2 kB/15.9 kB 89%] [Connected to packagecloud.io (52.9.225.2 0% [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Connected to packagecloud. Get:24 http://mirror.hetzner.de/ubuntu/packages bionic-updates/main i386 Packages [1,417 kB] 0% [3 InRelease gpgv 74.6 kB] [24 Packages 31.6 kB/1,417 kB 2%] [Connected to p Hit:25 https://baltocdn.com/helm/stable/debian all InRelease 0% [3 InRelease gpgv 74.6 kB] [24 Packages 906 kB/1,417 kB 64%] [Connected to p 0% [3 InRelease gpgv 74.6 kB] [Connected to packagecloud.io (52.9.225.242)] [Co 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:26 http://mirror.hetzner.de/ubuntu/packages bionic-updates/main amd64 Packages [2,414 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [26 Packages 15.7 kB/2,41 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:27 http://mirror.hetzner.de/ubuntu/packages bionic-updates/main Translation-en [459 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [27 Translation-en 44.0 k 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:28 http://mirror.hetzner.de/ubuntu/packages bionic-updates/restricted i386 Packages [31.2 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [28 Packages 16.4 kB/31.2 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:29 http://mirror.hetzner.de/ubuntu/packages bionic-updates/restricted amd64 Packages [634 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [29 Packages 12.0 kB/634 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:30 http://mirror.hetzner.de/ubuntu/packages bionic-updates/restricted Translation-en [86.5 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [30 Translation-en 28.7 k 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:31 http://mirror.hetzner.de/ubuntu/packages bionic-updates/universe amd64 Packages [1,786 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [31 Packages 11.7 kB/1,78 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:32 http://mirror.hetzner.de/ubuntu/packages bionic-updates/universe i386 Packages [1,599 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [32 Packages 60.0 kB/1,59 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:33 http://mirror.hetzner.de/ubuntu/packages bionic-updates/universe Translation-en [387 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [33 Translation-en 33.7 k 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:34 http://mirror.hetzner.de/ubuntu/packages bionic-updates/multiverse i386 Packages [11.2 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [34 Packages 11.2 kB/11.2 Get:35 http://mirror.hetzner.de/ubuntu/packages bionic-updates/multiverse amd64 Packages [24.2 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [35 Packages 24.2 kB/24.2 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:36 http://mirror.hetzner.de/ubuntu/packages bionic-updates/multiverse Translation-en [5,980 B] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [36 Translation-en 5,980 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Connected to packageclou 0% [24 Packages store 0 B] [Connected to packagecloud.io (52.9.225.242)] [Waiti 0% [24 Packages store 0 B] [4 InRelease gpgv 88.7 kB] [Connected to packageclou 0% [24 Packages store 0 B] [Connected to packagecloud.io (52.9.225.242)] [Waiti 0% [24 Packages store 0 B] [5 InRelease gpgv 1,811 B] [Connected to packageclou 0% [5 InRelease gpgv 1,811 B] [Waiting for headers] [Connected to packagecloud. 0% [26 Packages store 0 B] [5 InRelease gpgv 1,811 B] [Waiting for headers] [Co 0% [26 Packages store 0 B] [5 InRelease gpgv 1,811 B] [Waiting for headers] [Co Get:38 http://mirror.hetzner.de/ubuntu/packages bionic-security/main i386 Packages [1,112 kB] 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR Get:39 http://mirror.hetzner.de/ubuntu/packages bionic-security/main amd64 Packages [2,067 kB] 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR Get:40 http://mirror.hetzner.de/ubuntu/packages bionic-security/main Translation-en [366 kB] 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR Get:41 http://mirror.hetzner.de/ubuntu/packages bionic-security/restricted i386 Packages [24.5 kB] 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR Get:42 http://mirror.hetzner.de/ubuntu/packages bionic-security/restricted amd64 Packages [610 kB] 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR Get:43 http://mirror.hetzner.de/ubuntu/packages bionic-security/restricted Translation-en [82.8 kB] 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR Get:44 http://mirror.hetzner.de/ubuntu/packages bionic-security/universe i386 Packages [1,007 kB] 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR Get:45 http://mirror.hetzner.de/ubuntu/packages bionic-security/universe amd64 Packages [1,172 kB] 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR Get:46 http://mirror.hetzner.de/ubuntu/packages bionic-security/universe Translation-en [270 kB] 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR Get:47 http://mirror.hetzner.de/ubuntu/packages bionic-security/multiverse amd64 Packages [17.6 kB] 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR Get:49 http://mirror.hetzner.de/ubuntu/packages bionic-security/multiverse i386 Packages [6,012 B] 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR Get:50 http://mirror.hetzner.de/ubuntu/packages bionic-security/multiverse Translation-en [3,660 B] 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [Waiti 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [6 InR Get:51 http://dl.google.com/linux/chrome/deb stable/main amd64 Packages [1,094 B] 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [6 InR 0% [Connecting to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [6 InR 0% [Connected to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [Waitin 0% [Connected to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [7 InRe 0% [Connected to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [Waitin 0% [Connected to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [8 InRe 0% [Connected to scala.jfrog.io (52.33.92.242)] [26 Packages store 0 B] [8 InRe 0% [Connecting to d28dx6y1hfq314.cloudfront.net (18.66.242.95)] [Connected to s 0% [Connecting to d28dx6y1hfq314.cloudfront.net (18.66.242.95)] [Connected to s 0% [Connected to d28dx6y1hfq314.cloudfront.net (18.66.242.95)] [Connected to sc 0% [Connected to d28dx6y1hfq314.cloudfront.net (18.66.242.95)] [Connected to sc 0% [Waiting for headers] [Connected to scala.jfrog.io (52.33.92.242)] [27 Trans 0% [Waiting for headers] [Connected to scala.jfrog.io (52.33.92.242)] [27 Trans Get:53 https://cli.github.com/packages stable/main amd64 Packages [335 B] 0% [Waiting for headers] [Connected to scala.jfrog.io (52.33.92.242)] [27 Trans 0% [Waiting for headers] [Connected to scala.jfrog.io (52.33.92.242)] [11 InRel 0% [Waiting for headers] [Connected to scala.jfrog.io (52.33.92.242)] [28 Packa 0% [Waiting for headers] [Connected to scala.jfrog.io (52.33.92.242)] [11 InRel 0% [Waiting for headers] [Connected to scala.jfrog.io (52.33.92.242)] [29 Packa 0% [Waiting for headers] [Connected to scala.jfrog.io (52.33.92.242)] [29 Packa 0% [Waiting for headers] [Connected to scala.jfrog.io (52.33.92.242)] [29 Packa Get:54 http://packages.cloud.google.com/apt cloud-sdk-bionic/main i386 Packages [190 kB] 0% [Waiting for headers] [Waiting for headers] [29 Packages store 0 B] [13 InRe 0% [Waiting for headers] [Waiting for headers] [13 InRelease gpgv 64.4 kB] [54 0% [Waiting for headers] [Waiting for headers] [30 Translation-en store 0 B] [1 0% [Waiting for headers] [Waiting for headers] [30 Translation-en store 0 B] [1 0% [Waiting for headers] [Waiting for headers] [13 InRelease gpgv 64.4 kB] [Wai 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] [13 InRe 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] [Waiting 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] [10 InRe Get:55 http://packages.cloud.google.com/apt cloud-sdk-bionic/main amd64 Packages [239 kB] 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] [10 InRe 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] [10 InRe 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] [14 InRe Get:56 http://mirror.init7.net/ubuntu bionic-updates/main i386 Packages [1,417 kB] 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] [14 InRe Hit:37 https://scala.jfrog.io/artifactory/debian all InRelease 0% [Waiting for headers] [31 Packages store 0 B] [14 InRelease gpgv 20.8 kB] [5 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] [56 Pack 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] [15 InRe 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] [15 InRe Get:57 http://mirror.init7.net/ubuntu bionic-updates/main amd64 Packages [2,414 kB] 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] [15 InRe 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] [15 InRe Get:58 http://mirror.init7.net/ubuntu bionic-updates/main Translation-en [459 kB] 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] [15 InRe 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] [15 InRe Get:59 http://mirror.init7.net/ubuntu bionic-updates/restricted amd64 Packages [634 kB] 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] [15 InRe 0% [Waiting for headers] [Waiting for headers] [31 Packages store 0 B] [15 InRe 0% [Waiting for headers] [Waiting for headers] [15 InRelease gpgv 17.1 kB] 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe Get:60 http://mirror.init7.net/ubuntu bionic-updates/restricted i386 Packages [31.2 kB] 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe Get:61 http://mirror.init7.net/ubuntu bionic-updates/restricted Translation-en [86.5 kB] 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe Get:62 http://mirror.init7.net/ubuntu bionic-updates/universe i386 Packages [1,599 kB] 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe Get:63 http://mirror.init7.net/ubuntu bionic-updates/universe amd64 Packages [1,786 kB] 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe Get:64 http://mirror.init7.net/ubuntu bionic-updates/universe Translation-en [387 kB] 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe Get:65 http://mirror.init7.net/ubuntu bionic-updates/multiverse amd64 Packages [24.2 kB] 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe Get:66 http://mirror.init7.net/ubuntu bionic-updates/multiverse i386 Packages [11.2 kB] 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe Get:67 http://mirror.init7.net/ubuntu bionic-updates/multiverse Translation-en [5,980 B] 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [15 InRe Ign:48 https://scala.jfrog.io/artifactory/debian InRelease 0% [Waiting for headers] [32 Packages store 0 B] [15 InRelease gpgv 17.1 kB] 0% [Waiting for headers] [32 Packages store 0 B] [Waiting for headers] 0% [Waiting for headers] [32 Packages store 0 B] [16 InRelease gpgv 74.6 kB] [W 0% [Waiting for headers] [32 Packages store 0 B] [Waiting for headers] 0% [Waiting for headers] [32 Packages store 0 B] [17 InRelease gpgv 2,256 B] [W 0% [Waiting for headers] [32 Packages store 0 B] [17 InRelease gpgv 2,256 B] 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] 0% [Waiting for headers] [Waiting for headers] [32 Packages store 0 B] [18 InRe Get:52 https://packagecloud.io/github/git-lfs/ubuntu bionic InRelease [24.4 kB] 0% [52 InRelease 8,604 B/24.4 kB 35%] [Waiting for headers] [32 Packages store 0% [52 InRelease 8,604 B/24.4 kB 35%] [Waiting for headers] [18 InRelease gpgv 0% [52 InRelease 8,604 B/24.4 kB 35%] [Waiting for headers] [33 Translation-en 0% [52 InRelease 8,604 B/24.4 kB 35%] [Waiting for headers] [33 Translation-en 0% [52 InRelease 8,604 B/24.4 kB 35%] [Waiting for headers] [33 Translation-en 0% [52 InRelease 8,604 B/24.4 kB 35%] [Waiting for headers] [12 InRelease gpgv 0% [52 InRelease 8,604 B/24.4 kB 35%] [Waiting for headers] [34 Packages store 0% [52 InRelease 8,604 B/24.4 kB 35%] [Waiting for headers] [12 InRelease gpgv 0% [52 InRelease 8,604 B/24.4 kB 35%] [Waiting for headers] [35 Packages store 0% [52 InRelease 8,604 B/24.4 kB 35%] [Waiting for headers] [12 InRelease gpgv 0% [52 InRelease 8,604 B/24.4 kB 35%] [Waiting for headers] [36 Translation-en 0% [52 InRelease 8,604 B/24.4 kB 35%] [Waiting for headers] [12 InRelease gpgv 0% [52 InRelease 8,604 B/24.4 kB 35%] [Waiting for headers] [38 Packages store 0% [52 InRelease 8,604 B/24.4 kB 35%] [Waiting for headers] [38 Packages store 0% [52 InRelease 8,604 B/24.4 kB 35%] [Waiting for headers] [38 Packages store Get:69 http://mirror.init7.net/ubuntu bionic-security/main i386 Packages [1,112 kB] 0% [52 InRelease 8,604 B/24.4 kB 35%] [Waiting for headers] [38 Packages store Hit:68 https://scala.jfrog.io/artifactory/debian Release 0% [52 InRelease 8,604 B/24.4 kB 35%] [38 Packages store 0 B] [19 InRelease gpg 0% [52 InRelease 8,604 B/24.4 kB 35%] [38 Packages store 0 B] [19 InRelease gpg Get:70 http://de.archive.ubuntu.com/ubuntu bionic-security/main amd64 Packages [2,067 kB] 0% [52 InRelease 8,604 B/24.4 kB 35%] [38 Packages store 0 B] [19 InRelease gpg 0% [38 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 13.4 kB/2,0 Get:71 http://mirror.init7.net/ubuntu bionic-security/main amd64 Packages [2,067 kB] 0% [38 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 13.4 kB/2,0 0% [38 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 95.5 kB/2,0 Get:72 http://mirror.init7.net/ubuntu bionic-security/main Translation-en [366 kB] 0% [38 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 95.5 kB/2,0 0% [38 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 95.5 kB/2,0 Get:73 http://mirror.init7.net/ubuntu bionic-security/restricted amd64 Packages [610 kB] 0% [38 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 95.5 kB/2,0 0% [38 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 95.5 kB/2,0 Get:74 http://mirror.init7.net/ubuntu bionic-security/restricted i386 Packages [24.5 kB] 0% [38 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 205 kB/2,06 0% [38 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 205 kB/2,06 Get:75 http://mirror.init7.net/ubuntu bionic-security/restricted Translation-en [82.8 kB] 0% [38 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 205 kB/2,06 0% [38 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 205 kB/2,06 Get:76 http://mirror.init7.net/ubuntu bionic-security/universe i386 Packages [1,007 kB] 0% [38 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 205 kB/2,06 0% [38 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 205 kB/2,06 Get:77 http://mirror.init7.net/ubuntu bionic-security/universe amd64 Packages [1,172 kB] 0% [38 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 205 kB/2,06 0% [19 InRelease gpgv 3,965 B] [70 Packages 424 kB/2,067 kB 21%] [77 Packages 7 0% [39 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 424 kB/2,06 0% [39 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 424 kB/2,06 Get:78 http://mirror.init7.net/ubuntu bionic-security/universe Translation-en [270 kB] 0% [39 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 424 kB/2,06 0% [39 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 424 kB/2,06 Get:79 http://mirror.init7.net/ubuntu bionic-security/multiverse i386 Packages [6,012 B] 0% [39 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 424 kB/2,06 0% [39 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 424 kB/2,06 Get:80 http://mirror.init7.net/ubuntu bionic-security/multiverse amd64 Packages [17.6 kB] 0% [39 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 424 kB/2,06 0% [39 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 424 kB/2,06 Get:81 http://mirror.init7.net/ubuntu bionic-security/multiverse Translation-en [3,660 B] 0% [39 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 424 kB/2,06 0% [39 Packages store 0 B] [19 InRelease gpgv 3,965 B] [70 Packages 424 kB/2,06 0% [39 Packages store 0 B] [70 Packages 1,737 kB/2,067 kB 84%] 0% [39 Packages store 0 B] [20 InRelease gpgv 15.4 kB] [70 Packages 1,737 kB/2, 0% [39 Packages store 0 B] [20 InRelease gpgv 15.4 kB] [Waiting for headers] Get:82 https://packages.microsoft.com/repos/azure-cli bionic/main amd64 Packages [16.3 kB] 0% [39 Packages store 0 B] [20 InRelease gpgv 15.4 kB] [Waiting for headers] Get:83 http://de.archive.ubuntu.com/ubuntu bionic-security/main i386 Packages [1,112 kB] 0% [39 Packages store 0 B] [20 InRelease gpgv 15.4 kB] [83 Packages 21.7 kB/1,1 0% [39 Packages store 0 B] [83 Packages 837 kB/1,112 kB 75%] 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [83 Packages 837 kB/1,11 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [Waiting for headers] Get:84 http://de.archive.ubuntu.com/ubuntu bionic-security/main Translation-en [366 kB] 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [84 Translation-en 50.7 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [Waiting for headers] Get:85 http://de.archive.ubuntu.com/ubuntu bionic-security/restricted i386 Packages [24.5 kB] 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [85 Packages 11.8 kB/24. 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [Waiting for headers] Get:86 http://de.archive.ubuntu.com/ubuntu bionic-security/restricted amd64 Packages [610 kB] 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [86 Packages 52.6 kB/610 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] Get:87 http://de.archive.ubuntu.com/ubuntu bionic-security/restricted Translation-en [82.8 kB] 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [87 Translation-en 32.4 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [Waiting for headers] Get:88 http://de.archive.ubuntu.com/ubuntu bionic-security/universe amd64 Packages [1,172 kB] 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [88 Packages 14.9 kB/1,1 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [Waiting for headers] Get:89 http://de.archive.ubuntu.com/ubuntu bionic-security/universe i386 Packages [1,007 kB] 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [89 Packages 22.5 kB/1,0 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [Waiting for headers] Get:90 http://de.archive.ubuntu.com/ubuntu bionic-security/universe Translation-en [270 kB] 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [90 Translation-en 63.4 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] Get:91 http://de.archive.ubuntu.com/ubuntu bionic-security/multiverse i386 Packages [6,012 B] 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [91 Packages 6,012 B/6,0 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [Waiting for headers] Get:92 http://de.archive.ubuntu.com/ubuntu bionic-security/multiverse amd64 Packages [17.6 kB] 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [92 Packages 17.6 kB/17. 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [Waiting for headers] Get:93 http://de.archive.ubuntu.com/ubuntu bionic-security/multiverse Translation-en [3,660 B] 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [93 Translation-en 3,660 0% [39 Packages store 0 B] [21 InRelease gpgv 88.7 kB] 0% [39 Packages store 0 B] 0% [39 Packages store 0 B] [22 InRelease gpgv 15.4 kB] Get:94 http://de.archive.ubuntu.com/ubuntu bionic-updates/main amd64 Packages [2,414 kB] 0% [39 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [94 Packages 7,975 B/2,4 0% [39 Packages store 0 B] [22 InRelease gpgv 15.4 kB] 0% [39 Packages store 0 B] [Waiting for headers] 0% [39 Packages store 0 B] [23 InRelease gpgv 15.9 kB] [Waiting for headers] 0% [23 InRelease gpgv 15.9 kB] [Waiting for headers] 0% [40 Translation-en store 0 B] [23 InRelease gpgv 15.9 kB] [Waiting for heade Get:95 http://de.archive.ubuntu.com/ubuntu bionic-updates/main i386 Packages [1,417 kB] 0% [40 Translation-en store 0 B] [23 InRelease gpgv 15.9 kB] [95 Packages 36.9 0% [40 Translation-en store 0 B] [23 InRelease gpgv 15.9 kB] [Waiting for heade Get:96 http://de.archive.ubuntu.com/ubuntu bionic-updates/main Translation-en [459 kB] 0% [40 Translation-en store 0 B] [23 InRelease gpgv 15.9 kB] [96 Translation-en 0% [40 Translation-en store 0 B] [23 InRelease gpgv 15.9 kB] [Waiting for heade Get:97 http://de.archive.ubuntu.com/ubuntu bionic-updates/restricted amd64 Packages [634 kB] 0% [40 Translation-en store 0 B] [23 InRelease gpgv 15.9 kB] [97 Packages 62.0 0% [40 Translation-en store 0 B] [23 InRelease gpgv 15.9 kB] Get:98 http://de.archive.ubuntu.com/ubuntu bionic-updates/restricted i386 Packages [31.2 kB] 0% [40 Translation-en store 0 B] [23 InRelease gpgv 15.9 kB] [98 Packages 0 B/3 0% [40 Translation-en store 0 B] [23 InRelease gpgv 15.9 kB] [Waiting for heade Get:99 http://de.archive.ubuntu.com/ubuntu bionic-updates/restricted Translation-en [86.5 kB] 0% [40 Translation-en store 0 B] [23 InRelease gpgv 15.9 kB] [99 Translation-en 0% [40 Translation-en store 0 B] [23 InRelease gpgv 15.9 kB] [Waiting for heade Get:100 http://de.archive.ubuntu.com/ubuntu bionic-updates/universe i386 Packages [1,599 kB] 0% [40 Translation-en store 0 B] [23 InRelease gpgv 15.9 kB] [100 Packages 30.3 0% [40 Translation-en store 0 B] [23 InRelease gpgv 15.9 kB] [Waiting for heade Get:101 http://de.archive.ubuntu.com/ubuntu bionic-updates/universe amd64 Packages [1,786 kB] 0% [40 Translation-en store 0 B] [23 InRelease gpgv 15.9 kB] [101 Packages 43.3 0% [40 Translation-en store 0 B] [101 Packages 1,558 kB/1,786 kB 87%] 0% [40 Translation-en store 0 B] [25 InRelease gpgv 7,652 B] [101 Packages 1,55 0% [40 Translation-en store 0 B] [25 InRelease gpgv 7,652 B] [Connecting to ppa Get:102 http://de.archive.ubuntu.com/ubuntu bionic-updates/universe Translation-en [387 kB] 0% [40 Translation-en store 0 B] [25 InRelease gpgv 7,652 B] [102 Translation-e 0% [40 Translation-en store 0 B] [25 InRelease gpgv 7,652 B] [Waiting for heade Get:103 http://de.archive.ubuntu.com/ubuntu bionic-updates/multiverse i386 Packages [11.2 kB] 0% [40 Translation-en store 0 B] [25 InRelease gpgv 7,652 B] [103 Packages 11.2 0% [40 Translation-en store 0 B] [25 InRelease gpgv 7,652 B] [Waiting for heade Get:104 http://de.archive.ubuntu.com/ubuntu bionic-updates/multiverse amd64 Packages [24.2 kB] 0% [40 Translation-en store 0 B] [25 InRelease gpgv 7,652 B] [104 Packages 24.2 0% [40 Translation-en store 0 B] [25 InRelease gpgv 7,652 B] [Waiting for heade Get:105 http://de.archive.ubuntu.com/ubuntu bionic-updates/multiverse Translation-en [5,980 B] 0% [40 Translation-en store 0 B] [25 InRelease gpgv 7,652 B] [105 Translation-e 0% [40 Translation-en store 0 B] [25 InRelease gpgv 7,652 B] [Connecting to ppa 0% [25 InRelease gpgv 7,652 B] [Waiting for headers] 0% [41 Packages store 0 B] [25 InRelease gpgv 7,652 B] [Waiting for headers] 0% [25 InRelease gpgv 7,652 B] [Waiting for headers] 0% [42 Packages store 0 B] [25 InRelease gpgv 7,652 B] [Waiting for headers] Get:106 http://ppa.launchpad.net/deadsnakes/ppa/ubuntu bionic/main i386 Packages [37.9 kB] 0% [42 Packages store 0 B] [25 InRelease gpgv 7,652 B] [106 Packages 2,670 B/37 0% [42 Packages store 0 B] [25 InRelease gpgv 7,652 B] 0% [42 Packages store 0 B] [Connecting to ppa.launchpad.net (91.189.95.85)] 0% [42 Packages store 0 B] [37 InRelease gpgv 3,558 B] [Connecting to ppa.launc Get:107 http://ppa.launchpad.net/deadsnakes/ppa/ubuntu bionic/main amd64 Packages [38.0 kB] 0% [42 Packages store 0 B] [37 InRelease gpgv 3,558 B] [107 Packages 2,670 B/38 0% [37 InRelease gpgv 3,558 B] [107 Packages 8,462 B/38.0 kB 22%] 0% [43 Translation-en store 0 B] [37 InRelease gpgv 3,558 B] [107 Packages 8,46 0% [37 InRelease gpgv 3,558 B] [107 Packages 20.0 kB/38.0 kB 53%] 0% [44 Packages store 0 B] [37 InRelease gpgv 3,558 B] [107 Packages 20.0 kB/38 0% [44 Packages store 0 B] [37 InRelease gpgv 3,558 B] 0% [44 Packages store 0 B] 0% [44 Packages store 0 B] [Release.gpg gpgv 815 B] 0% [44 Packages store 0 B] 0% [44 Packages store 0 B] [52 InRelease gpgv 24.4 kB] 97% [44 Packages store 0 B] 98% [Connecting to packagecloud.io (52.9.225.242)] 98% [45 Packages store 0 B] [Connecting to packagecloud.io (52.9.225.242)] 98% [Connecting to packagecloud.io (52.9.225.242)] 98% [46 Translation-en store 0 B] [Connecting to packagecloud.io (52.9.225.242) 98% [Connected to packagecloud.io (52.9.225.242)] 98% [47 Packages store 0 B] [Connected to packagecloud.io (52.9.225.242)] 98% [Connected to packagecloud.io (52.9.225.242)] 98% [49 Packages store 0 B] [Connected to packagecloud.io (52.9.225.242)] 98% [Connected to packagecloud.io (52.9.225.242)] 98% [50 Translation-en store 0 B] [Connected to packagecloud.io (52.9.225.242)] 98% [Connected to packagecloud.io (52.9.225.242)] 98% [51 Packages store 0 B] [Connected to packagecloud.io (52.9.225.242)] 98% [Connected to packagecloud.io (52.9.225.242)] 98% [53 Packages store 0 B] [Connected to packagecloud.io (52.9.225.242)] 98% [Connected to packagecloud.io (52.9.225.242)] 98% [54 Packages store 0 B] [Connected to packagecloud.io (52.9.225.242)] 98% [Connected to packagecloud.io (52.9.225.242)] 98% [55 Packages store 0 B] [Connected to packagecloud.io (52.9.225.242)] 98% [Connected to packagecloud.io (52.9.225.242)] 98% [56 Packages store 0 B] [Connected to packagecloud.io (52.9.225.242)] 98% [Connected to packagecloud.io (52.9.225.242)] 98% [57 Packages store 0 B] [Connected to packagecloud.io (52.9.225.242)] 98% [Waiting for headers] 98% [58 Translation-en store 0 B] [Waiting for headers] 98% [58 Translation-en store 0 B] 98% [Waiting for headers] [Connecting to packagecloud.io (52.9.225.242)] 98% [Waiting for headers] [59 Packages store 0 B] [Connecting to packagecloud.i 98% [Waiting for headers] [Connecting to packagecloud.io (52.9.225.242)] 98% [Waiting for headers] [60 Packages store 0 B] [Connecting to packagecloud.i 98% [Waiting for headers] [Connecting to packagecloud.io (52.9.225.242)] 98% [Waiting for headers] [61 Translation-en store 0 B] [Connecting to packagec 98% [Waiting for headers] [Connected to packagecloud.io (52.9.225.242)] 98% [Waiting for headers] [62 Packages store 0 B] [Connected to packagecloud.io 98% [Waiting for headers] [Connected to packagecloud.io (52.9.225.242)] 98% [Waiting for headers] [63 Packages store 0 B] [Connected to packagecloud.io 98% [Waiting for headers] [Waiting for headers] 98% [Waiting for headers] [64 Translation-en store 0 B] [Waiting for headers] 98% [Waiting for headers] [Waiting for headers] 98% [Waiting for headers] [65 Packages store 0 B] [Waiting for headers] 98% [Waiting for headers] [Waiting for headers] 98% [Waiting for headers] [66 Packages store 0 B] [Waiting for headers] Get:109 https://packagecloud.io/github/git-lfs/ubuntu bionic/main i386 Packages [5,092 B] 98% [66 Packages store 0 B] [Waiting for headers] 98% [Waiting for headers] 98% [67 Translation-en store 0 B] [Waiting for headers] 98% [Waiting for headers] 98% [69 Packages store 0 B] [Waiting for headers] 98% [69 Packages store 0 B] 98% [Waiting for headers] 98% [Waiting for headers] [71 Packages store 0 B] 98% [Waiting for headers] 98% [Waiting for headers] [72 Translation-en store 0 B] 98% [Waiting for headers] 98% [Waiting for headers] [73 Packages store 0 B] 99% [Waiting for headers] 99% [Waiting for headers] [74 Packages store 0 B] 99% [Waiting for headers] 99% [Waiting for headers] [75 Translation-en store 0 B] 99% [Waiting for headers] 99% [Waiting for headers] [76 Packages store 0 B] 99% [Waiting for headers] 99% [Waiting for headers] [77 Packages store 0 B] Get:110 https://packagecloud.io/github/git-lfs/ubuntu bionic/main amd64 Packages [5,169 B] 99% [77 Packages store 0 B] 99% [Working] 99% [78 Translation-en store 0 B] 99% [Working] 99% [79 Packages store 0 B] 99% [Working] 99% [80 Packages store 0 B] 99% [Working] 99% [81 Translation-en store 0 B] 99% [Working] 99% [70 Packages store 0 B] 99% [Working] 99% [82 Packages store 0 B] 99% [Working] 99% [83 Packages store 0 B] 99% [Working] 99% [84 Translation-en store 0 B] 99% [Working] 99% [85 Packages store 0 B] 99% [Working] 99% [86 Packages store 0 B] 99% [Working] 99% [87 Translation-en store 0 B] 99% [Working] 99% [88 Packages store 0 B] 99% [Working] 99% [89 Packages store 0 B] 99% [Working] 99% [90 Translation-en store 0 B] 99% [Working] 99% [91 Packages store 0 B] 99% [Working] 99% [92 Packages store 0 B] 99% [Working] 99% [93 Translation-en store 0 B] 99% [Working] 99% [94 Packages store 0 B] 99% [Working] 99% [95 Packages store 0 B] 99% [Working] 99% [96 Translation-en store 0 B] 99% [Working] 99% [97 Packages store 0 B] 100% [Working] 7,941 kB/s 0s 100% [98 Packages store 0 B] 7,941 kB/s 0s 100% [Working] 7,941 kB/s 0s 100% [99 Translation-en store 0 B] 7,941 kB/s 0s 100% [Working] 7,941 kB/s 0s 100% [100 Packages store 0 B] 7,941 kB/s 0s 100% [Working] 7,941 kB/s 0s 100% [101 Packages store 0 B] 7,941 kB/s 0s 100% [Working] 7,941 kB/s 0s 100% [102 Translation-en store 0 B] 7,941 kB/s 0s 100% [Working] 7,941 kB/s 0s 100% [103 Packages store 0 B] 7,941 kB/s 0s 100% [Working] 7,941 kB/s 0s 100% [104 Packages store 0 B] 7,941 kB/s 0s 100% [Working] 7,941 kB/s 0s 100% [105 Translation-en store 0 B] 7,941 kB/s 0s 100% [Working] 7,941 kB/s 0s 100% [106 Packages store 0 B] 7,941 kB/s 0s 100% [Working] 7,941 kB/s 0s 100% [107 Packages store 0 B] 7,941 kB/s 0s 100% [Working] 7,941 kB/s 0s 100% [109 Packages store 0 B] 7,941 kB/s 0s 100% [Working] 7,941 kB/s 0s 100% [110 Packages store 0 B] 7,941 kB/s 0s 100% [Working] 7,941 kB/s 0s Fetched 48.1 MB in 7s (7,339 kB/s) Reading package lists... 0% Reading package lists... 0% Reading package lists... 0% Reading package lists... 0% Reading package lists... 0% Reading package lists... 1% Reading package lists... 1% Reading package lists... 2% Reading package lists... 2% Reading package lists... 2% Reading package lists... 2% Reading package lists... 2% Reading package lists... 2% Reading package lists... 2% Reading package lists... 2% Reading package lists... 8% Reading package lists... 8% Reading package lists... 15% Reading package lists... 15% Reading package lists... 15% Reading package lists... 18% Reading package lists... 18% Reading package lists... 18% Reading package lists... 18% Reading package lists... 18% Reading package lists... 18% Reading package lists... 19% Reading package lists... 19% Reading package lists... 19% Reading package lists... 19% Reading package lists... 20% Reading package lists... 20% Reading package lists... 21% Reading package lists... 21% Reading package lists... 21% Reading package lists... 21% Reading package lists... 21% Reading package lists... 21% Reading package lists... 21% Reading package lists... 21% Reading package lists... 27% Reading package lists... 27% Reading package lists... 34% Reading package lists... 34% Reading package lists... 37% Reading package lists... 37% Reading package lists... 37% Reading package lists... 37% Reading package lists... 38% Reading package lists... 38% Reading package lists... 38% Reading package lists... 38% Reading package lists... 39% Reading package lists... 39% Reading package lists... 40% Reading package lists... 40% Reading package lists... 41% Reading package lists... 41% Reading package lists... 41% Reading package lists... 41% Reading package lists... 42% Reading package lists... 42% Reading package lists... 42% Reading package lists... 42% Reading package lists... 43% Reading package lists... 43% Reading package lists... 43% Reading package lists... 43% Reading package lists... 44% Reading package lists... 44% Reading package lists... 44% Reading package lists... 44% Reading package lists... 44% Reading package lists... 44% Reading package lists... 44% Reading package lists... 44% Reading package lists... 45% Reading package lists... 45% Reading package lists... 46% Reading package lists... 46% Reading package lists... 48% Reading package lists... 48% Reading package lists... 48% Reading package lists... 48% Reading package lists... 48% Reading package lists... 48% Reading package lists... 48% Reading package lists... 48% Reading package lists... 48% Reading package lists... 50% Reading package lists... 50% Reading package lists... 51% Reading package lists... 51% Reading package lists... 52% Reading package lists... 52% Reading package lists... 52% Reading package lists... 52% Reading package lists... 52% Reading package lists... 52% Reading package lists... 52% Reading package lists... 52% Reading package lists... 53% Reading package lists... 53% Reading package lists... 54% Reading package lists... 54% Reading package lists... 56% Reading package lists... 56% Reading package lists... 56% Reading package lists... 56% Reading package lists... 56% Reading package lists... 56% Reading package lists... 56% Reading package lists... 56% Reading package lists... 58% Reading package lists... 58% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 59% Reading package lists... 61% Reading package lists... 61% Reading package lists... 62% Reading package lists... 62% Reading package lists... 63% Reading package lists... 63% Reading package lists... 63% Reading package lists... 63% Reading package lists... 63% Reading package lists... 63% Reading package lists... 64% Reading package lists... 64% Reading package lists... 64% Reading package lists... 64% Reading package lists... 65% Reading package lists... 65% Reading package lists... 66% Reading package lists... 66% Reading package lists... 66% Reading package lists... 66% Reading package lists... 66% Reading package lists... 66% Reading package lists... 66% Reading package lists... 66% Reading package lists... 66% Reading package lists... 66% Reading package lists... 67% Reading package lists... 67% Reading package lists... 68% Reading package lists... 68% Reading package lists... 68% Reading package lists... 68% Reading package lists... 68% Reading package lists... 68% Reading package lists... 68% Reading package lists... 68% Reading package lists... 74% Reading package lists... 74% Reading package lists... 81% Reading package lists... 81% Reading package lists... 84% Reading package lists... 84% Reading package lists... 85% Reading package lists... 85% Reading package lists... 85% Reading package lists... 85% Reading package lists... 85% Reading package lists... 85% Reading package lists... 86% Reading package lists... 86% Reading package lists... 87% Reading package lists... 87% Reading package lists... 89% Reading package lists... 89% Reading package lists... 89% Reading package lists... 89% Reading package lists... 89% Reading package lists... 89% Reading package lists... 89% Reading package lists... 89% Reading package lists... 89% Reading package lists... 91% Reading package lists... 91% Reading package lists... 92% Reading package lists... 92% Reading package lists... 92% Reading package lists... 92% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 94% Reading package lists... 94% Reading package lists... 95% Reading package lists... 95% Reading package lists... 96% Reading package lists... 96% Reading package lists... 96% Reading package lists... 96% Reading package lists... 96% Reading package lists... 96% Reading package lists... 97% Reading package lists... 97% Reading package lists... 98% Reading package lists... 98% Reading package lists... 98% Reading package lists... 98% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... Done sudo apt-get install -y bison flex z3 libz3-dev Reading package lists... 0% Reading package lists... 100% Reading package lists... Done Building dependency tree... 0% Building dependency tree... 0% Building dependency tree... 50% Building dependency tree... 50% Building dependency tree Reading state information... 0% Reading state information... 0% Reading state information... Done bison is already the newest version (2:3.0.4.dfsg-1build1). The following packages were automatically installed and are no longer required: intltool-debian libarchive-cpio-perl libarchive-zip-perl libfile-stripnondeterminism-perl libmail-sendmail-perl libsys-hostname-long-perl po-debconf Use 'sudo apt autoremove' to remove them. The following additional packages will be installed: libfl-dev libfl2 libz3-4 Suggested packages: flex-doc The following NEW packages will be installed: flex libfl-dev libfl2 libz3-4 libz3-dev z3 0 upgraded, 6 newly installed, 0 to remove and 119 not upgraded. Need to get 10.8 MB of archives. After this operation, 35.4 MB of additional disk space will be used. 0% [Working] Get:1 http://de.archive.ubuntu.com/ubuntu bionic/main amd64 flex amd64 2.6.4-6 [316 kB] 0% [1 flex 13.4 kB/316 kB 4%] 6% [Working] Get:2 http://de.archive.ubuntu.com/ubuntu bionic/main amd64 libfl2 amd64 2.6.4-6 [11.4 kB] 6% [2 libfl2 0 B/11.4 kB 0%] 9% [Waiting for headers] Get:3 http://de.archive.ubuntu.com/ubuntu bionic/main amd64 libfl-dev amd64 2.6.4-6 [6,320 B] 9% [3 libfl-dev 6,320 B/6,320 B 100%] 12% [Waiting for headers] Get:4 http://de.archive.ubuntu.com/ubuntu bionic/universe amd64 libz3-4 amd64 4.4.1-0.3build4 [5,183 kB] 13% [4 libz3-4 7,931 B/5,183 kB 0%] 54% [Waiting for headers] Get:5 http://de.archive.ubuntu.com/ubuntu bionic/universe amd64 libz3-dev amd64 4.4.1-0.3build4 [64.2 kB] 55% [5 libz3-dev 52.3 kB/64.2 kB 81%] 58% [Waiting for headers] Get:6 http://de.archive.ubuntu.com/ubuntu bionic/universe amd64 z3 amd64 4.4.1-0.3build4 [5,204 kB] 58% [6 z3 53.3 kB/5,204 kB 1%] 100% [Working] Fetched 10.8 MB in 0s (30.1 MB/s) Selecting previously unselected package flex. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 216754 files and directories currently installed.) Preparing to unpack .../0-flex_2.6.4-6_amd64.deb ... Unpacking flex (2.6.4-6) ... Selecting previously unselected package libfl2:amd64. Preparing to unpack .../1-libfl2_2.6.4-6_amd64.deb ... Unpacking libfl2:amd64 (2.6.4-6) ... Selecting previously unselected package libfl-dev:amd64. Preparing to unpack .../2-libfl-dev_2.6.4-6_amd64.deb ... Unpacking libfl-dev:amd64 (2.6.4-6) ... Selecting previously unselected package libz3-4:amd64. Preparing to unpack .../3-libz3-4_4.4.1-0.3build4_amd64.deb ... Unpacking libz3-4:amd64 (4.4.1-0.3build4) ... Selecting previously unselected package libz3-dev:amd64. Preparing to unpack .../4-libz3-dev_4.4.1-0.3build4_amd64.deb ... Unpacking libz3-dev:amd64 (4.4.1-0.3build4) ... Selecting previously unselected package z3. Preparing to unpack .../5-z3_4.4.1-0.3build4_amd64.deb ... Unpacking z3 (4.4.1-0.3build4) ... Setting up flex (2.6.4-6) ... Setting up z3 (4.4.1-0.3build4) ... Setting up libfl2:amd64 (2.6.4-6) ... Setting up libz3-4:amd64 (4.4.1-0.3build4) ... Setting up libfl-dev:amd64 (2.6.4-6) ... Setting up libz3-dev:amd64 (4.4.1-0.3build4) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... Processing triggers for install-info (6.5.0.dfsg.1-2) ... export CC=gcc-8 export CXX=g++-8 mkdir build cd build cmake .. -DCMAKE_BUILD_TYPE=Debug -- The CXX compiler identification is GNU 8.4.0 -- Check for working CXX compiler: /usr/bin/g++-8 -- Check for working CXX compiler: /usr/bin/g++-8 -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Found Git: /usr/bin/git (found version "2.35.1") -- The C compiler identification is GNU 8.4.0 -- Check for working C compiler: /usr/bin/gcc-8 -- Check for working C compiler: /usr/bin/gcc-8 -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Looking for pthread.h -- Looking for pthread.h - found -- Looking for pthread_create -- Looking for pthread_create - not found -- Looking for pthread_create in pthreads -- Looking for pthread_create in pthreads - not found -- Looking for pthread_create in pthread -- Looking for pthread_create in pthread - found -- Found Threads: TRUE -- Looking for dlfcn.h -- Looking for dlfcn.h - found -- Looking for execinfo.h -- Looking for execinfo.h - found -- Looking for glob.h -- Looking for glob.h - found -- Looking for inttypes.h -- Looking for inttypes.h - found -- Looking for libunwind.h -- Looking for libunwind.h - not found -- Looking for memory.h -- Looking for memory.h - found -- Looking for pwd.h -- Looking for pwd.h - found -- Looking for stdint.h -- Looking for stdint.h - found -- Looking for stdlib.h -- Looking for stdlib.h - found -- Looking for string.h -- Looking for string.h - found -- Looking for strings.h -- Looking for strings.h - found -- Looking for sys/stat.h -- Looking for sys/stat.h - found -- Looking for sys/syscall.h -- Looking for sys/syscall.h - found -- Looking for sys/time.h -- Looking for sys/time.h - found -- Looking for sys/types.h -- Looking for sys/types.h - found -- Looking for sys/utsname.h -- Looking for sys/utsname.h - found -- Looking for syscall.h -- Looking for syscall.h - found -- Looking for syslog.h -- Looking for syslog.h - found -- Looking for ucontext.h -- Looking for ucontext.h - found -- Looking for unistd.h -- Looking for unistd.h - found -- Looking for unwind.h -- Looking for unwind.h - found -- Looking for C++ include ext/hash_map -- Looking for C++ include ext/hash_map - found -- Looking for C++ include ext/hash_set -- Looking for C++ include ext/hash_set - found -- Looking for C++ include ext/slist -- Looking for C++ include ext/slist - found -- Looking for C++ include tr1/unordered_map -- Looking for C++ include tr1/unordered_map - found -- Looking for C++ include tr1/unordered_set -- Looking for C++ include tr1/unordered_set - found -- Looking for C++ include unordered_map -- Looking for C++ include unordered_map - found -- Looking for C++ include unordered_set -- Looking for C++ include unordered_set - found -- Looking for stddef.h -- Looking for stddef.h - found -- Check size of unsigned __int16 -- Check size of unsigned __int16 - failed -- Check size of u_int16_t -- Check size of u_int16_t - done -- Check size of uint16_t -- Check size of uint16_t - done -- Looking for dladdr -- Looking for dladdr - not found -- Looking for fcntl -- Looking for fcntl - found -- Looking for pread -- Looking for pread - found -- Looking for pwrite -- Looking for pwrite - found -- Looking for sigaction -- Looking for sigaction - found -- Looking for sigaltstack -- Looking for sigaltstack - found -- Performing Test HAVE_NO_DEPRECATED -- Performing Test HAVE_NO_DEPRECATED - Success -- Performing Test HAVE_NO_UNNAMED_TYPE_TEMPLATE_ARGS -- Performing Test HAVE_NO_UNNAMED_TYPE_TEMPLATE_ARGS - Failed -- Looking for snprintf -- Looking for snprintf - found -- Looking for get_static_proc_name in unwind -- Looking for get_static_proc_name in unwind - not found -- Looking for UnDecorateSymbolName in dbghelp -- Looking for UnDecorateSymbolName in dbghelp - not found -- Performing Test HAVE___ATTRIBUTE__ -- Performing Test HAVE___ATTRIBUTE__ - Success -- Performing Test HAVE___ATTRIBUTE__VISIBILITY_DEFAULT -- Performing Test HAVE___ATTRIBUTE__VISIBILITY_DEFAULT - Success -- Performing Test HAVE___ATTRIBUTE__VISIBILITY_HIDDEN -- Performing Test HAVE___ATTRIBUTE__VISIBILITY_HIDDEN - Success -- Performing Test HAVE___BUILTIN_EXPECT -- Performing Test HAVE___BUILTIN_EXPECT - Success -- Performing Test HAVE___SYNC_VAL_COMPARE_AND_SWAP -- Performing Test HAVE___SYNC_VAL_COMPARE_AND_SWAP - Success -- Performing Test HAVE_RWLOCK -- Performing Test HAVE_RWLOCK - Failed -- Performing Test HAVE___DECLSPEC -- Performing Test HAVE___DECLSPEC - Failed -- Performing Test STL_NO_NAMESPACE -- Performing Test STL_NO_NAMESPACE - Failed -- Performing Test STL_STD_NAMESPACE -- Performing Test STL_STD_NAMESPACE - Success -- Performing Test HAVE_USING_OPERATOR -- Performing Test HAVE_USING_OPERATOR - Success -- Performing Test HAVE_NAMESPACES -- Performing Test HAVE_NAMESPACES - Success -- Performing Test HAVE_GCC_TLS -- Performing Test HAVE_GCC_TLS - Success -- Performing Test HAVE_MSVC_TLS -- Performing Test HAVE_MSVC_TLS - Failed -- Performing Test HAVE_CXX11_TLS -- Performing Test HAVE_CXX11_TLS - Success -- Performing Test HAVE_ALIGNED_STORAGE -- Performing Test HAVE_ALIGNED_STORAGE - Success -- Performing Test HAVE_LOCALTIME_R -- Performing Test HAVE_LOCALTIME_R - Success -- Using the single-header code from /home/semaphore/ILAng/extern/json/single_include/ -- Version: 6.1.2 -- Build type: Debug -- CXX_STANDARD: 11 -- Performing Test has_std_11_flag -- Performing Test has_std_11_flag - Success -- Performing Test has_std_0x_flag -- Performing Test has_std_0x_flag - Success -- Performing Test SUPPORTS_VARIADIC_TEMPLATES -- Performing Test SUPPORTS_VARIADIC_TEMPLATES - Success -- Performing Test SUPPORTS_USER_DEFINED_LITERALS -- Performing Test SUPPORTS_USER_DEFINED_LITERALS - Success -- Performing Test FMT_HAS_VARIANT -- Performing Test FMT_HAS_VARIANT - Success -- Looking for strtod_l -- Looking for strtod_l - found -- Build Type: Debug -- Found BISON: /usr/bin/bison (found suitable version "3.0.4", minimum required is "3.0.4") -- Found FLEX: /usr/bin/flex (found suitable version "2.6.4", minimum required is "2.5.35") -- NOT building with coverage. -- Parser Build Flags Debug: -g -- Parser Link Flags Debug: -- Parser Build Flags Release: -O3 -DNDEBUG -- Parser Link Flags Release: -- Build Type: Debug -- NOT building with coverage. -- Parser Build Flags Debug: -g -- Parser Link Flags Debug: -- Parser Build Flags Release: -O3 -DNDEBUG -- Parser Link Flags Release: Submodule 'extern/vlog-parser' (https://github.com/Bo-Yuan-Huang/verilog-parser.git) registered for path 'vlog-parser' Cloning into '/home/semaphore/ILAng/extern/vlog-parser'... Submodule path 'vlog-parser': checked out '075699a67aa2af99b41160c93588984cb294290f' -- Build Type: Debug -- NOT building with coverage. -- Parser Build Flags Debug: -g -- Parser Link Flags Debug: -- Parser Build Flags Release: -O3 -DNDEBUG -- Parser Link Flags Release: -- Looking for C++ include filesystem -- Looking for C++ include filesystem - found -- Found PkgConfig: /usr/bin/pkg-config (found version "0.29.1") -- Found Z3: /usr/include -- Z3 version: 4.4.1 -- Z3 lib dir: /usr/lib/x86_64-linux-gnu/libz3.so -- Z3 include dir: /usr/include -- Found PythonInterp: /usr/bin/python (found version "2.7.17") -- Check if compiler accepts -pthread -- Check if compiler accepts -pthread - yes -- Configuring done -- Generating done -- Build files have been written to: /home/semaphore/ILAng/build make -j$(nproc) Scanning dependencies of target fmt Scanning dependencies of target glog [ 1%] Building CXX object extern/fmt/CMakeFiles/fmt.dir/src/format.cc.o [ 1%] Building CXX object extern/glog/CMakeFiles/glog.dir/src/demangle.cc.o [ 2%] Building CXX object extern/glog/CMakeFiles/glog.dir/src/logging.cc.o [ 2%] Building CXX object extern/glog/CMakeFiles/glog.dir/src/raw_logging.cc.o [ 3%] Building CXX object extern/glog/CMakeFiles/glog.dir/src/symbolize.cc.o [ 3%] Building CXX object extern/glog/CMakeFiles/glog.dir/src/utilities.cc.o [ 4%] Building CXX object extern/glog/CMakeFiles/glog.dir/src/vlog_is_on.cc.o [ 4%] Building CXX object extern/fmt/CMakeFiles/fmt.dir/src/posix.cc.o [ 4%] Building CXX object extern/glog/CMakeFiles/glog.dir/src/signalhandler.cc.o [ 6%] Linking CXX shared library libglogd.so [ 6%] Linking CXX shared library libfmtd.so [ 6%] Built target glog [ 7%] Generating VCDParser.cpp, VCDParser.hpp /home/semaphore/ILAng/extern/vcd-parser/src/VCDParser.ypp: warning: 3 shift/reduce conflicts [-Wconflicts-sr] [ 7%] Built target fmt [ 7%] Generating smtlib2flexlexer.c, smtlib2flexlexer.h [ 7%] Generating smtlib2bisonparser.c, smtlib2bisonparser.h /home/semaphore/ILAng/extern/smt-parser/src/smtlib2bisonparser.y:70.1-12: warning: deprecated directive, use ‘%pure-parser’ [-Wdeprecated] %pure_parser ^^^^^^^^^^^^ /home/semaphore/ILAng/extern/smt-parser/src/smtlib2bisonparser.y:72.1-13: warning: deprecated directive, use ‘%name-prefix’ [-Wdeprecated] %name-prefix="smtlib2_parser_" ^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/smt-parser/src/smtlib2bisonparser.y:96.1-12: warning: deprecated directive, use ‘%token-table’ [-Wdeprecated] %token_table ^^^^^^^^^^^^ [ 7%] Generating VCDScanner.cpp, VCDScanner.hpp Scanning dependencies of target vcdparser [ 7%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDScanner.cpp.o Scanning dependencies of target smtparser [ 8%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2flexlexer.c.o [ 8%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2bisonparser.c.o [ 9%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2hashtable.c.o [ 9%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2abstractparser.c.o [ 10%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2termparser.c.o [ 10%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2utils.c.o [ 11%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2vector.c.o [ 11%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2charbuf.c.o [ 11%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDParser.cpp.o [ 12%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2stream.c.o [ 12%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2scanner.c.o [ 13%] Linking C shared library libsmtparser.so [ 13%] Built target smtparser [ 13%] Generating verilog_parser.tab.c /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:166.17-29: warning: symbol binary_number is used, but is not defined as a token and has no rules [-Wother] %type binary_number ^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:165.17-30: warning: symbol decimal_number is used, but is not defined as a token and has no rules [-Wother] %type decimal_number ^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:167.17-26: warning: symbol hex_number is used, but is not defined as a token and has no rules [-Wother] %type hex_number ^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:168.17-28: warning: symbol octal_number is used, but is not defined as a token and has no rules [-Wother] %type octal_number ^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:169.17-27: warning: symbol real_number is used, but is not defined as a token and has no rules [-Wother] %type real_number ^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:822.28-42: warning: type clash on default action: != [-Wother] list_of_actual_arguments : actual_argument ^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:826.19-28: warning: type clash on default action: != [-Wother] actual_argument : expression ^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3705.27-47: warning: type clash on default action: != [-Wother] specify_item : specparam_declaration ^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3708.27-42: warning: type clash on default action: != [-Wother] | path_declaration ^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3712.27-78: warning: type clash on default action: != [-Wother] pulsestyle_declaration : KW_PULSESTYLE_ONEVENT list_of_path_outputs SEMICOLON ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3713.27-79: warning: type clash on default action: != [-Wother] | KW_PULSESTYLE_ONDETECT list_of_path_outputs SEMICOLON ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3716.31-77: warning: type clash on default action: != [-Wother] showcancelled_declaration : KW_SHOWCANCELLED list_of_path_outputs SEMICOLON ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3717.31-79: warning: type clash on default action: != [-Wother] | KW_NOSHOWCANCELLED list_of_path_outputs SEMICOLON ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4529.3-54: warning: type clash on default action: != [-Wother] OPEN_SQ_BRACKET constant_expression CLOSE_SQ_BRACKET ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4530.3-4531.33: warning: type clash on default action: != [-Wother] | OPEN_SQ_BRACKET constant_expression CLOSE_SQ_BRACKET ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y: warning: 11 nonterminals useless in grammar [-Wother] /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y: warning: 11 rules useless in grammar [-Wother] /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:543.38-50: warning: nonterminal useless in grammar: expressions_o [-Wother] %type expressions_o ^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:717.38-44: warning: nonterminal useless in grammar: comment [-Wother] %type comment ^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:721.38-53: warning: nonterminal useless in grammar: one_line_comment [-Wother] %type one_line_comment ^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:716.38-50: warning: nonterminal useless in grammar: block_comment [-Wother] %type block_comment ^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:715.38-41: warning: nonterminal useless in grammar: anys [-Wother] %type anys ^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:723.38-48: warning: nonterminal useless in grammar: white_space [-Wother] %type white_space ^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:166.17-29: warning: nonterminal useless in grammar: binary_number [-Wother] %type binary_number ^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:165.17-30: warning: nonterminal useless in grammar: decimal_number [-Wother] %type decimal_number ^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:167.17-26: warning: nonterminal useless in grammar: hex_number [-Wother] %type hex_number ^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:168.17-28: warning: nonterminal useless in grammar: octal_number [-Wother] %type octal_number ^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:169.17-27: warning: nonterminal useless in grammar: real_number [-Wother] %type real_number ^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3568.19-40: warning: rule useless in grammar [-Wother] expressions_o : expressions {$$ = $1;} |{$$=ast_list_new();} ^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3568.43-62: warning: rule useless in grammar [-Wother] expressions_o : expressions {$$ = $1;} |{$$=ast_list_new();} ^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4699.23-47: warning: rule useless in grammar [-Wother] comment : one_line_comment {$$=$1;} ^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4700.23-47: warning: rule useless in grammar [-Wother] | block_comment {$$=$1;} ^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4703.23-43: warning: rule useless in grammar [-Wother] one_line_comment : COMMENT_LINE {$$=$1;}; ^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4705.23-44: warning: rule useless in grammar [-Wother] block_comment : COMMENT_BLOCK {$$=$1;}; ^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4736.8-24: warning: rule useless in grammar [-Wother] anys : anys ANY {$$=$2;} ^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4737.8-21: warning: rule useless in grammar [-Wother] | ANY {$$ = $1;} ^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4928.15-19: warning: rule useless in grammar [-Wother] white_space : SPACE | TAB | NEWLINE; ^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4928.23-25: warning: rule useless in grammar [-Wother] white_space : SPACE | TAB | NEWLINE; ^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4928.29-35: warning: rule useless in grammar [-Wother] white_space : SPACE | TAB | NEWLINE; ^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y: warning: 508 shift/reduce conflicts [-Wconflicts-sr] /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y: warning: 1781 reduce/reduce conflicts [-Wconflicts-rr] /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:1646.26-55: warning: rule useless in parser due to conflicts [-Wother] output_variable_type_o : output_variable_type {$$= $1;} |{$$=PARAM_GENERIC;}; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:1646.58-76: warning: rule useless in parser due to conflicts [-Wother] output_variable_type_o : output_variable_type {$$= $1;} |{$$=PARAM_GENERIC;}; ^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:1778.23-32: warning: rule useless in parser due to conflicts [-Wother] | {$$=NULL;} ^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:2160.46-65: warning: rule useless in parser due to conflicts [-Wother] task_port_type_o : task_port_type {$$=$1;} | {$$=PORT_TYPE_NONE;} ; ^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:2222.23-50: warning: rule useless in parser due to conflicts [-Wother] block_variable_type : variable_identifier {$$=$1;} ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:2228.29-38: warning: rule useless in parser due to conflicts [-Wother] delay2_o : delay2 {$$=$1;}| {$$=NULL;}; ^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3200.3-3203.3: warning: rule useless in parser due to conflicts [-Wother] block_item_declaration{ ^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3204.3-3207.1: warning: rule useless in parser due to conflicts [-Wother] | block_item_declarations block_item_declaration{ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3864.21-37: warning: rule useless in parser due to conflicts [-Wother] | {$$ = EDGE_NONE;} ^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3909.23-74: warning: rule useless in parser due to conflicts [-Wother] system_timing_check : {printf("%s:%d Not Supported\n",__FILE__,__LINE__);}; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4756.35-4757.48: warning: rule useless in parser due to conflicts [-Wother] hierarchical_block_identifier : hierarchical_identifier ^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4864.35-4867.1: warning: rule useless in parser due to conflicts [-Wother] system_task_identifier : SYSTEM_ID { ^^^^^^^^^^^ [ 14%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDFile.cpp.o [ 15%] Generating verilog_scanner.c /home/semaphore/ILAng/extern/vlog-parser/src/verilog_scanner.l:791: warning, -s option given but default rule can be matched Scanning dependencies of target verilogparser [ 16%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_scanner.c.o /home/semaphore/ILAng/build/extern/vlog-parser/src/verilog_scanner.c: In function ‘yy_init_buffer’: /home/semaphore/ILAng/build/extern/vlog-parser/src/verilog_scanner.c:3500:40: warning: implicit declaration of function ‘isatty’ [-Wimplicit-function-declaration] b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0; ^~~~~~ [ 16%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_parser.tab.c.o [ 16%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDFileParser.cpp.o [ 17%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast.c.o [ 17%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast_mem.c.o [ 18%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast_util.c.o [ 18%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast_common.c.o [ 19%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_parser_wrapper.c.o [ 19%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_preprocessor.c.o [ 20%] Linking C shared library libverilogparser.so [ 20%] Built target verilogparser Scanning dependencies of target gtest [ 21%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDValue.cpp.o [ 21%] Building CXX object test/extern/googletest/googlemock/gtest/CMakeFiles/gtest.dir/src/gtest-all.cc.o [ 21%] Linking CXX shared library libvcdparser.so [ 21%] Built target vcdparser Scanning dependencies of target signalhandler_unittest [ 21%] Building CXX object extern/glog/CMakeFiles/signalhandler_unittest.dir/src/signalhandler_unittest.cc.o [ 22%] Linking CXX executable signalhandler_unittest [ 22%] Built target signalhandler_unittest Scanning dependencies of target stl_logging_unittest [ 22%] Building CXX object extern/glog/CMakeFiles/stl_logging_unittest.dir/src/stl_logging_unittest.cc.o [ 23%] Linking CXX executable stl_logging_unittest [ 23%] Built target stl_logging_unittest Scanning dependencies of target stacktrace_unittest [ 23%] Building CXX object extern/glog/CMakeFiles/stacktrace_unittest.dir/src/stacktrace_unittest.cc.o [ 24%] Linking CXX executable stacktrace_unittest [ 24%] Built target stacktrace_unittest Scanning dependencies of target demangle_unittest [ 24%] Building CXX object extern/glog/CMakeFiles/demangle_unittest.dir/src/demangle_unittest.cc.o [ 24%] Linking CXX executable demangle_unittest [ 25%] Linking CXX shared library libgtestd.so [ 25%] Built target demangle_unittest Scanning dependencies of target logging_unittest [ 25%] Building CXX object extern/glog/CMakeFiles/logging_unittest.dir/src/logging_unittest.cc.o [ 25%] Built target gtest Scanning dependencies of target symbolize_unittest [ 25%] Building CXX object extern/glog/CMakeFiles/symbolize_unittest.dir/src/symbolize_unittest.cc.o [ 26%] Linking CXX executable symbolize_unittest [ 26%] Built target symbolize_unittest Scanning dependencies of target utilities_unittest [ 26%] Building CXX object extern/glog/CMakeFiles/utilities_unittest.dir/src/utilities_unittest.cc.o [ 27%] Linking CXX executable logging_unittest [ 28%] Linking CXX executable utilities_unittest [ 28%] Built target logging_unittest Scanning dependencies of target vcdparserexec [ 29%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparserexec.dir/main.cpp.o [ 29%] Built target utilities_unittest Scanning dependencies of target verilogparserexec [ 29%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparserexec.dir/main.c.o [ 30%] Linking C executable verilogparserexec [ 30%] Built target verilogparserexec Scanning dependencies of target ilang [ 31%] Building CXX object src/CMakeFiles/ilang.dir/ilang++.cc.o [ 31%] Linking CXX executable vcdparserexec [ 31%] Built target vcdparserexec [ 31%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr.cc.o Scanning dependencies of target gmock [ 31%] Building CXX object test/extern/googletest/googlemock/CMakeFiles/gmock.dir/src/gmock-all.cc.o [ 32%] Linking CXX shared library libgmockd.so [ 32%] Built target gmock [ 33%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr_const.cc.o Scanning dependencies of target gtest_main [ 33%] Building CXX object test/extern/googletest/googlemock/gtest/CMakeFiles/gtest_main.dir/src/gtest_main.cc.o [ 33%] Linking CXX shared library libgtest_maind.so [ 33%] Built target gtest_main [ 33%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr_op.cc.o [ 34%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr_var.cc.o [ 34%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/func.cc.o [ 35%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/sort.cc.o [ 35%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/sort_value.cc.o [ 36%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast_hub.cc.o [ 36%] Building CXX object src/CMakeFiles/ilang.dir/ila/hash_ast.cc.o [ 37%] Building CXX object src/CMakeFiles/ilang.dir/ila/instr.cc.o [ 37%] Building CXX object src/CMakeFiles/ilang.dir/ila/instr_lvl_abs.cc.o [ 38%] Building CXX object src/CMakeFiles/ilang.dir/ila/object.cc.o [ 38%] Building CXX object src/CMakeFiles/ilang.dir/ila/symbol.cc.o [ 39%] Building CXX object src/CMakeFiles/ilang.dir/ila/transition.cc.o [ 39%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_infer_child_prog_cfg.cc.o [ 40%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_map_child_prog_entry.cc.o [ 40%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_rewrite_conditional_store.cc.o [ 40%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_rewrite_generic.cc.o [ 41%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_rewrite_store_load.cc.o [ 41%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_sanity_check_and_fix.cc.o [ 42%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_simplify_semantic.cc.o [ 42%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_simplify_syntactic.cc.o [ 43%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_abs_knob.cc.o [ 43%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_rewrite_expr.cc.o [ 44%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_rewrite_ila.cc.o [ 44%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_unroller.cc.o [ 45%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_unroller_smt.cc.o [ 45%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/v_eq_check_crr.cc.o [ 46%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/v_eq_check_bmc.cc.o [ 46%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/v_refinement.cc.o [ 47%] Building CXX object src/CMakeFiles/ilang.dir/mcm/ast_helper.cc.o [ 47%] Building CXX object src/CMakeFiles/ilang.dir/mcm/axiom_helper.cc.o [ 48%] Building CXX object src/CMakeFiles/ilang.dir/mcm/inter_ila_unroller.cc.o [ 48%] Building CXX object src/CMakeFiles/ilang.dir/mcm/memory_model.cc.o [ 49%] Building CXX object src/CMakeFiles/ilang.dir/mcm/sc_manual.cc.o [ 49%] Building CXX object src/CMakeFiles/ilang.dir/mcm/tso_manual.cc.o [ 49%] Building CXX object src/CMakeFiles/ilang.dir/target-json/ila_to_json_serializer.cc.o [ 50%] Building CXX object src/CMakeFiles/ilang.dir/target-json/interface.cc.o [ 50%] Building CXX object src/CMakeFiles/ilang.dir/target-json/json_to_ila_deserializer.cc.o [ 51%] Building CXX object src/CMakeFiles/ilang.dir/target-sc/ilator.cc.o [ 51%] Building CXX object src/CMakeFiles/ilang.dir/target-sc/ilator_dfs.cc.o [ 52%] Building CXX object src/CMakeFiles/ilang.dir/target-smt/smt_switch_itf.cc.o [ 52%] Building CXX object src/CMakeFiles/ilang.dir/target-smt/z3_expr_adapter.cc.o [ 53%] Building CXX object src/CMakeFiles/ilang.dir/util/log.cc.o [ 53%] Building CXX object src/CMakeFiles/ilang.dir/util/str_util.cc.o [ 54%] Building CXX object src/CMakeFiles/ilang.dir/util/fs.cc.o [ 54%] Building CXX object src/CMakeFiles/ilang.dir/util/posix_emu.cc.o [ 55%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_parse.cc.o [ 55%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_analysis.cc.o [ 56%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_const_parser.cc.o [ 56%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_analysis_wrapper.cc.o [ 57%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/vlog_parser_util.cc.o [ 57%] Building CXX object src/CMakeFiles/ilang.dir/verilog-out/verilog_gen.cc.o [ 58%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/cex_extract.cc.o [ 58%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/rel_chc.cc.o [ 58%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/inv_obj.cc.o [ 59%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/inv_cnf.cc.o [ 59%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/inv_abc_parse.cc.o [ 60%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/inv_syn_cegar.cc.o [ 60%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/grain_inv_parse.cc.o [ 61%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/vtarget_gen_inv_chc.cc.o [ 61%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/vtarget_gen_inv_abc.cc.o [ 62%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/vtarget_gen_inv_enhance.cc.o [ 62%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/directive.cc.o [ 63%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/gen_util.cc.o [ 63%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/var_extract.cc.o [ 64%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_impl.cc.o [ 64%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target.cc.o [ 65%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_as.cc.o [ 65%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_connect.cc.o [ 66%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_misc.cc.o [ 66%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_cond.cc.o [ 67%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_inv_syn_support.cc.o [ 67%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_cosa.cc.o [ 67%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_jasper.cc.o [ 68%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_yosys.cc.o [ 68%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_relchc.cc.o [ 69%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen.cc.o [ 69%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vlg_mod.cc.o [ 70%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/absmem.cc.o [ 70%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/design_stat.cc.o [ 71%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/supplementary_info.cc.o [ 71%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/smt_ast.cc.o [ 72%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/yosys_smt_parser.cc.o [ 72%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/chc_inv_callback_fn.cc.o [ 73%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/chc_inv_in.cc.o [ 73%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/chc_inv_in_wrapper.cc.o [ 74%] Linking CXX shared library libilang.so [ 74%] Built target ilang Scanning dependencies of target unit_tests [ 74%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/ila_sim_test.cc.o [ 74%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/eq_ilas.cc.o [ 75%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/mcm_ilas.cc.o [ 75%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/memswap.cc.o [ 76%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/pipe_ila.cc.o [ 76%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/simple_cpu.cc.o [ 77%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/stream_buffer.cc.o [ 77%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/util.cc.o [ 78%] Building CXX object test/CMakeFiles/unit_tests.dir/t_ast_hub.cc.o [ 78%] Building CXX object test/CMakeFiles/unit_tests.dir/t_api.cc.o [ 79%] Building CXX object test/CMakeFiles/unit_tests.dir/t_case_aes_eq.cc.o [ 79%] Building CXX object test/CMakeFiles/unit_tests.dir/t_copy.cc.o [ 80%] Building CXX object test/CMakeFiles/unit_tests.dir/t_crr.cc.o [ 80%] Building CXX object test/CMakeFiles/unit_tests.dir/t_eq_check.cc.o [ 81%] Building CXX object test/CMakeFiles/unit_tests.dir/t_expr.cc.o [ 81%] Building CXX object test/CMakeFiles/unit_tests.dir/t_expr_const.cc.o [ 82%] Building CXX object test/CMakeFiles/unit_tests.dir/t_expr_op.cc.o [ 82%] Building CXX object test/CMakeFiles/unit_tests.dir/t_expr_var.cc.o [ 83%] Building CXX object test/CMakeFiles/unit_tests.dir/t_func.cc.o [ 83%] Building CXX object test/CMakeFiles/unit_tests.dir/t_hash_ast.cc.o [ 83%] Building CXX object test/CMakeFiles/unit_tests.dir/t_ila.cc.o [ 84%] Building CXX object test/CMakeFiles/unit_tests.dir/t_ilator.cc.o [ 84%] Building CXX object test/CMakeFiles/unit_tests.dir/t_instr.cc.o [ 85%] Building CXX object test/CMakeFiles/unit_tests.dir/t_instr_seq.cc.o [ 85%] Building CXX object test/CMakeFiles/unit_tests.dir/t_keyvec.cc.o [ 86%] Building CXX object test/CMakeFiles/unit_tests.dir/t_legacy_bmc.cc.o [ 86%] Building CXX object test/CMakeFiles/unit_tests.dir/t_log.cc.o [ 87%] Building CXX object test/CMakeFiles/unit_tests.dir/t_main.cc.o [ 87%] Building CXX object test/CMakeFiles/unit_tests.dir/t_mapset.cc.o [ 88%] Building CXX object test/CMakeFiles/unit_tests.dir/t_mcm.cc.o [ 88%] Building CXX object test/CMakeFiles/unit_tests.dir/t_mngr_absknob.cc.o [ 89%] Building CXX object test/CMakeFiles/unit_tests.dir/t_pass.cc.o [ 89%] Building CXX object test/CMakeFiles/unit_tests.dir/t_portable.cc.o [ 90%] Building CXX object test/CMakeFiles/unit_tests.dir/t_smt_in.cc.o [ 90%] Building CXX object test/CMakeFiles/unit_tests.dir/t_smt_shim.cc.o [ 91%] Building CXX object test/CMakeFiles/unit_tests.dir/t_smt_switch_itf.cc.o [ 91%] Building CXX object test/CMakeFiles/unit_tests.dir/t_smt_trans.cc.o [ 92%] Building CXX object test/CMakeFiles/unit_tests.dir/t_sort.cc.o [ 92%] Building CXX object test/CMakeFiles/unit_tests.dir/t_symbol.cc.o [ 92%] Building CXX object test/CMakeFiles/unit_tests.dir/t_unroll_seq.cc.o [ 93%] Building CXX object test/CMakeFiles/unit_tests.dir/t_unroller_smt.cc.o [ 93%] Building CXX object test/CMakeFiles/unit_tests.dir/t_util.cc.o [ 94%] Building CXX object test/CMakeFiles/unit_tests.dir/t_verilog_analysis.cc.o [ 94%] Building CXX object test/CMakeFiles/unit_tests.dir/t_verilog_analysis_error.cc.o [ 95%] Building CXX object test/CMakeFiles/unit_tests.dir/t_verilog_gen.cc.o [ 95%] Building CXX object test/CMakeFiles/unit_tests.dir/t_verilog_mod.cc.o [ 96%] Building CXX object test/CMakeFiles/unit_tests.dir/t_vtarget_gen.cc.o [ 96%] Building CXX object test/CMakeFiles/unit_tests.dir/t_inv_extract.cc.o [ 97%] Building CXX object test/CMakeFiles/unit_tests.dir/t_z3adapter.cc.o [ 97%] Building CXX object test/CMakeFiles/unit_tests.dir/t_z3sanity.cc.o [ 98%] Building CXX object test/CMakeFiles/unit_tests.dir/t_inv_syn.cc.o [ 98%] Building CXX object test/CMakeFiles/unit_tests.dir/t_inv_obj.cc.o [100%] Linking CXX executable unit_tests [100%] Built target unit_tests sudo make install [ 4%] Built target glog [ 5%] Built target signalhandler_unittest [ 6%] Built target stl_logging_unittest [ 7%] Built target stacktrace_unittest [ 7%] Built target demangle_unittest [ 8%] Built target logging_unittest [ 9%] Built target symbolize_unittest [ 10%] Built target utilities_unittest [ 12%] Built target fmt [ 15%] Built target vcdparser [ 16%] Built target vcdparserexec [ 22%] Built target smtparser [ 28%] Built target verilogparser [ 29%] Built target verilogparserexec [ 72%] Built target ilang [ 73%] Built target gtest [ 74%] Built target gmock [ 74%] Built target gtest_main [100%] Built target unit_tests Install the project... -- Install configuration: "Debug" -- Installing: /usr/local/lib/cmake/ilang/ilangConfig.cmake -- Installing: /usr/local/lib/cmake/ilang/ilangConfigVersion.cmake -- Installing: /usr/local/lib/cmake/ilang/ilangTargets.cmake -- Installing: /usr/local/lib/cmake/ilang/ilangTargets-debug.cmake -- Installing: /usr/local/lib/libglogd.so.0.4.0 -- Installing: /usr/local/lib/libglogd.so.0 -- Installing: /usr/local/lib/libglogd.so -- Set runtime path of "/usr/local/lib/libglogd.so.0.4.0" to "/usr/local/lib" -- Installing: /usr/local/include/glog/logging.h -- Installing: /usr/local/include/glog/raw_logging.h -- Installing: /usr/local/include/glog/stl_logging.h -- Installing: /usr/local/include/glog/vlog_is_on.h -- Installing: /usr/local/include/glog/log_severity.h -- Installing: /usr/local/lib/cmake/glog/glog-config.cmake -- Installing: /usr/local/lib/cmake/glog/glog-config-version.cmake -- Installing: /usr/local/lib/cmake/glog/glog-targets.cmake -- Installing: /usr/local/lib/cmake/glog/glog-targets-debug.cmake -- Up-to-date: /usr/local/include -- Installing: /usr/local/include/nlohmann -- Installing: /usr/local/include/nlohmann/json.hpp -- Installing: /usr/local/lib/cmake/nlohmann_json/nlohmann_jsonConfig.cmake -- Installing: /usr/local/lib/cmake/nlohmann_json/nlohmann_jsonConfigVersion.cmake -- Installing: /usr/local/lib/cmake/nlohmann_json/nlohmann_jsonTargets.cmake -- Installing: /usr/local/lib/cmake/fmt/fmt-config.cmake -- Installing: /usr/local/lib/cmake/fmt/fmt-config-version.cmake -- Installing: /usr/local/lib/cmake/fmt/fmt-targets.cmake -- Installing: /usr/local/lib/cmake/fmt/fmt-targets-debug.cmake -- Installing: /usr/local/lib/libfmtd.so.6.1.2 -- Installing: /usr/local/lib/libfmtd.so.6 -- Installing: /usr/local/lib/libfmtd.so -- Set runtime path of "/usr/local/lib/libfmtd.so.6.1.2" to "/usr/local/lib" -- Installing: /usr/local/include/fmt/chrono.h -- Installing: /usr/local/include/fmt/color.h -- Installing: /usr/local/include/fmt/compile.h -- Installing: /usr/local/include/fmt/core.h -- Installing: /usr/local/include/fmt/format.h -- Installing: /usr/local/include/fmt/format-inl.h -- Installing: /usr/local/include/fmt/locale.h -- Installing: /usr/local/include/fmt/ostream.h -- Installing: /usr/local/include/fmt/posix.h -- Installing: /usr/local/include/fmt/printf.h -- Installing: /usr/local/include/fmt/ranges.h -- Installing: /usr/local/lib/pkgconfig/fmt.pc -- Installing: /usr/local/lib/cmake/vcdparser/vcdparserConfig.cmake -- Installing: /usr/local/lib/cmake/vcdparser/vcdparserConfigVersion.camke -- Installing: /usr/local/lib/cmake/vcdparser/vcdparserTargets.cmake -- Installing: /usr/local/lib/cmake/vcdparser/vcdparserTargets-debug.cmake -- Installing: /usr/local/lib/libvcdparser.so -- Set runtime path of "/usr/local/lib/libvcdparser.so" to "/usr/local/lib" -- Installing: /usr/local/bin/vcdparserexec -- Set runtime path of "/usr/local/bin/vcdparserexec" to "/usr/local/lib" -- Installing: /usr/local/include/vcdparser -- Installing: /usr/local/include/vcdparser/VCDFileParser.hpp -- Installing: /usr/local/include/vcdparser/VCDFile.hpp -- Installing: /usr/local/include/vcdparser/VCDValue.hpp -- Installing: /usr/local/include/vcdparser/VCDTypes.hpp -- Installing: /usr/local/lib/cmake/smtparser/smtparserConfig.cmake -- Installing: /usr/local/lib/cmake/smtparser/smtparserConfigVersion.camke -- Installing: /usr/local/lib/cmake/smtparser/smtparserTargets.cmake -- Installing: /usr/local/lib/cmake/smtparser/smtparserTargets-debug.cmake -- Installing: /usr/local/lib/libsmtparser.so -- Set runtime path of "/usr/local/lib/libsmtparser.so" to "/usr/local/lib" -- Installing: /usr/local/include/smtparser -- Installing: /usr/local/include/smtparser/smtlib2abstractparser.h -- Installing: /usr/local/include/smtparser/smtlib2charbuf.h -- Installing: /usr/local/include/smtparser/smtlib2parser.h -- Installing: /usr/local/include/smtparser/smtlib2vector.h -- Installing: /usr/local/include/smtparser/smtlib2hashtable.h -- Installing: /usr/local/include/smtparser/smtlib2yices.h -- Installing: /usr/local/include/smtparser/smtlib2scanner.h -- Installing: /usr/local/include/smtparser/smtlib2parserinterface.h -- Installing: /usr/local/include/smtparser/smtlib2types.h -- Installing: /usr/local/include/smtparser/smtlib2abstractparser_private.h -- Installing: /usr/local/include/smtparser/smtlib2termparser.h -- Installing: /usr/local/include/smtparser/smtlib2genvector.h -- Installing: /usr/local/include/smtparser/smtlib2stream.h -- Installing: /usr/local/include/smtparser/smtlib2utils.h -- Installing: /usr/local/lib/cmake/verilogparser/verilogparserConfig.cmake -- Installing: /usr/local/lib/cmake/verilogparser/verilogparserConfigVersion.camke -- Installing: /usr/local/lib/cmake/verilogparser/verilogparserTargets.cmake -- Installing: /usr/local/lib/cmake/verilogparser/verilogparserTargets-debug.cmake -- Installing: /usr/local/lib/libverilogparser.so -- Set runtime path of "/usr/local/lib/libverilogparser.so" to "/usr/local/lib" -- Installing: /usr/local/bin/verilogparserexec -- Set runtime path of "/usr/local/bin/verilogparserexec" to "/usr/local/lib" -- Installing: /usr/local/include/verilogparser -- Installing: /usr/local/include/verilogparser/verilog_preprocessor.h -- Installing: /usr/local/include/verilogparser/verilog_ast_util.h -- Installing: /usr/local/include/verilogparser/verilog_ast.h -- Installing: /usr/local/include/verilogparser/verilog_parser.h -- Installing: /usr/local/include/verilogparser/verilog_ast_common.h -- Installing: /usr/local/include/verilogparser/verilog_ast_mem.h -- Installing: /usr/local/lib/libilang.so -- Set runtime path of "/usr/local/lib/libilang.so" to "/usr/local/lib" -- Installing: /usr/local/include/ilang/ilang++.h -- Installing: /usr/local/include/ilang/config.h -- Installing: /usr/local/include/ilang/util/log.h make run_test Scanning dependencies of target run_test Running main() from /home/semaphore/ILAng/extern/googletest/googletest/src/gtest_main.cc [==========] Running 336 tests from 45 test cases. [----------] Global test environment set-up. [----------] 2 tests from TestVerilogExportDeathTest [ RUN ] TestVerilogExportDeathTest.dup W0217 22:22:50.702304 9838 verilog_gen.cc:248] Redeclaration of x, ignored. W0217 22:22:50.706954 9838 verilog_gen.cc:256] Redeclaration of y, ignored. W0217 22:22:50.711459 9838 verilog_gen.cc:264] Redeclaration of z, ignored. [ OK ] TestVerilogExportDeathTest.dup (15 ms) [ RUN ] TestVerilogExportDeathTest.death [ OK ] TestVerilogExportDeathTest.death (4 ms) [----------] 2 tests from TestVerilogExportDeathTest (19 ms total) [----------] 11 tests from Testasthub [ RUN ] Testasthub.CreateVar [ OK ] Testasthub.CreateVar (0 ms) [ RUN ] Testasthub.CreateConst [ OK ] Testasthub.CreateConst (1 ms) [ RUN ] Testasthub.UnaryOp [ OK ] Testasthub.UnaryOp (25 ms) [ RUN ] Testasthub.BinaryOp [ OK ] Testasthub.BinaryOp (12 ms) [ RUN ] Testasthub.BinaryCompare [ OK ] Testasthub.BinaryCompare (10 ms) [ RUN ] Testasthub.Memory [ OK ] Testasthub.Memory (26 ms) [ RUN ] Testasthub.BitManipulation [ OK ] Testasthub.BitManipulation (0 ms) [ RUN ] Testasthub.FunctionUsage [ OK ] Testasthub.FunctionUsage (0 ms) [ RUN ] Testasthub.Others [ OK ] Testasthub.Others (18 ms) [ RUN ] Testasthub.TopEq [ OK ] Testasthub.TopEq (1 ms) [ RUN ] Testasthub.MemSize W0217 22:22:50.817487 9838 ast_hub.cc:319] Overwriting original paramters of mem(8, 8) [ OK ] Testasthub.MemSize (12 ms) [----------] 11 tests from Testasthub (105 ms total) [----------] 13 tests from TestApi [ RUN ] TestApi.LogicShift [ OK ] TestApi.LogicShift (0 ms) [ RUN ] TestApi.Construct [ OK ] TestApi.Construct (1 ms) [ RUN ] TestApi.ExprOps [ OK ] TestApi.ExprOps (1 ms) [ RUN ] TestApi.Function [ OK ] TestApi.Function (0 ms) [ RUN ] TestApi.NonConstruct [ OK ] TestApi.NonConstruct (1 ms) [ RUN ] TestApi.ReplaceArg [ OK ] TestApi.ReplaceArg (0 ms) [ RUN ] TestApi.EntryNum W0217 22:22:50.833209 9838 ast_hub.cc:319] Overwriting original paramters of mem(16, 32) [ OK ] TestApi.EntryNum (14 ms) [ RUN ] TestApi.OutStream [ OK ] TestApi.OutStream (1 ms) [ RUN ] TestApi.VerilogGen W0217 22:22:50.844667 9838 verilog_gen.cc:1190] Currently, it does not translate the initial conditions W0217 22:22:50.844808 9838 verilog_gen.cc:1207] Valid condition for ILA: m is unset W0217 22:22:50.846189 9838 verilog_gen.cc:1317] For exporting a single instruction, the initial conditions are not exported, please be aware. W0217 22:22:50.846233 9838 verilog_gen.cc:1338] Valid condition for ILA: m is unset W0217 22:22:50.846874 9838 u_abs_knob.cc:343] Fetch not set for ILA.m W0217 22:22:50.846911 9838 u_abs_knob.cc:355] Valid not set for ILA.m I0217 22:22:50.847486 9838 u_abs_knob.cc:230] Flatten ILA.Load_ila_ W0217 22:22:50.847565 9838 verilog_gen.cc:1190] Currently, it does not translate the initial conditions W0217 22:22:50.847605 9838 verilog_gen.cc:1207] Valid condition for ILA: Load_ila_ is unset W0217 22:22:50.848343 9838 verilog_gen.cc:1317] For exporting a single instruction, the initial conditions are not exported, please be aware. W0217 22:22:50.848387 9838 verilog_gen.cc:1338] Valid condition for ILA: m is unset W0217 22:22:50.849009 9838 u_abs_knob.cc:343] Fetch not set for ILA.m W0217 22:22:50.849026 9838 u_abs_knob.cc:355] Valid not set for ILA.m I0217 22:22:50.849917 9838 u_abs_knob.cc:230] Flatten ILA.Add_ila_ W0217 22:22:50.849948 9838 verilog_gen.cc:1190] Currently, it does not translate the initial conditions W0217 22:22:50.849984 9838 verilog_gen.cc:1207] Valid condition for ILA: Add_ila_ is unset W0217 22:22:50.851133 9838 verilog_gen.cc:1317] For exporting a single instruction, the initial conditions are not exported, please be aware. W0217 22:22:50.851177 9838 verilog_gen.cc:1338] Valid condition for ILA: m is unset W0217 22:22:50.851651 9838 u_abs_knob.cc:343] Fetch not set for ILA.m W0217 22:22:50.851668 9838 u_abs_knob.cc:355] Valid not set for ILA.m I0217 22:22:50.851907 9838 u_abs_knob.cc:230] Flatten ILA.Store_ila_ W0217 22:22:50.851938 9838 verilog_gen.cc:1190] Currently, it does not translate the initial conditions W0217 22:22:50.851972 9838 verilog_gen.cc:1207] Valid condition for ILA: Store_ila_ is unset [ OK ] TestApi.VerilogGen (9 ms) [ RUN ] TestApi.Unroll [ OK ] TestApi.Unroll (57 ms) [ RUN ] TestApi.Log [ OK ] TestApi.Log (0 ms) [ RUN ] TestApi.UnrollPathFreeWithFunc [ OK ] TestApi.UnrollPathFreeWithFunc (17 ms) [ RUN ] TestApi.Portable [ OK ] TestApi.Portable (10 ms) [----------] 13 tests from TestApi (113 ms total) [----------] 1 test from TestCase [ RUN ] TestCase.AES_V_C_EQ E0217 22:22:51.060372 9838 v_eq_check_crr.cc:563] Relation depends on uaes_ctr(128) -- not in refinement. [ OK ] TestCase.AES_V_C_EQ (975 ms) [----------] 1 test from TestCase (975 ms total) [----------] 9 tests from TestCopyTree [ RUN ] TestCopyTree.AES_V_TOP [ OK ] TestCopyTree.AES_V_TOP (895 ms) [ RUN ] TestCopyTree.AES_V_CHILD [ OK ] TestCopyTree.AES_V_CHILD (23662 ms) [ RUN ] TestCopyTree.AES_V [ OK ] TestCopyTree.AES_V (1071 ms) [ RUN ] TestCopyTree.AES_C_TOP [ OK ] TestCopyTree.AES_C_TOP (1446 ms) [ RUN ] TestCopyTree.AES_C_CHILD [ OK ] TestCopyTree.AES_C_CHILD (29 ms) [ RUN ] TestCopyTree.AES_C [ OK ] TestCopyTree.AES_C (1430 ms) [ RUN ] TestCopyTree.GB_LOW [ OK ] TestCopyTree.GB_LOW (66 ms) [ RUN ] TestCopyTree.RBM [ OK ] TestCopyTree.RBM (129 ms) [ RUN ] TestCopyTree.OC8051 [ OK ] TestCopyTree.OC8051 (9699 ms) [----------] 9 tests from TestCopyTree (38428 ms total) [----------] 3 tests from TestCrr [ RUN ] TestCrr.Refinement [ OK ] TestCrr.Refinement (2 ms) [ RUN ] TestCrr.Relation [ OK ] TestCrr.Relation (2 ms) [ RUN ] TestCrr.CompRefRel [ OK ] TestCrr.CompRefRel (10 ms) [----------] 3 tests from TestCrr (14 ms total) [----------] 4 tests from TestEqCheck [ RUN ] TestEqCheck.FF_Mono [ OK ] TestEqCheck.FF_Mono (422 ms) [ RUN ] TestEqCheck.CommDiag_HF [ OK ] TestEqCheck.CommDiag_HF (22043 ms) [ RUN ] TestEqCheck.IncCommDiag_HF [ OK ] TestEqCheck.IncCommDiag_HF (17405 ms) [ RUN ] TestEqCheck.NewIncCommDiag_HF [ OK ] TestEqCheck.NewIncCommDiag_HF (16097 ms) [----------] 4 tests from TestEqCheck (55967 ms total) [----------] 2 tests from TestExpr [ RUN ] TestExpr.ReplaceArgIdx [ OK ] TestExpr.ReplaceArgIdx (1 ms) [ RUN ] TestExpr.ReplaceArgExpr [ OK ] TestExpr.ReplaceArgExpr (1 ms) [----------] 2 tests from TestExpr (2 ms total) [----------] 9 tests from TestExprConst [ RUN ] TestExprConst.Construct [ OK ] TestExprConst.Construct (0 ms) [ RUN ] TestExprConst.BoolZ3Expr [ OK ] TestExprConst.BoolZ3Expr (5 ms) [ RUN ] TestExprConst.BvZ3Expr [ OK ] TestExprConst.BvZ3Expr (4 ms) [ RUN ] TestExprConst.MemZ3Expr [ OK ] TestExprConst.MemZ3Expr (5 ms) [ RUN ] TestExprConst.BoolVal [ OK ] TestExprConst.BoolVal (20 ms) [ RUN ] TestExprConst.BvVal [ OK ] TestExprConst.BvVal (20 ms) [ RUN ] TestExprConst.MemVal [ OK ] TestExprConst.MemVal (19 ms) [ RUN ] TestExprConst.BvConstBitwidth [ OK ] TestExprConst.BvConstBitwidth (22 ms) [ RUN ] TestExprConst.BvConstNumeric [ OK ] TestExprConst.BvConstNumeric (55 ms) [----------] 9 tests from TestExprConst (151 ms total) [----------] 30 tests from TestExprOp [ RUN ] TestExprOp.Load [ OK ] TestExprOp.Load (8 ms) [ RUN ] TestExprOp.Store [ OK ] TestExprOp.Store (7 ms) [ RUN ] TestExprOp.Append [ OK ] TestExprOp.Append (7 ms) [ RUN ] TestExprOp.Extract [ OK ] TestExprOp.Extract (7 ms) [ RUN ] TestExprOp.ZExt [ OK ] TestExprOp.ZExt (7 ms) [ RUN ] TestExprOp.SExt [ OK ] TestExprOp.SExt (7 ms) [ RUN ] TestExprOp.Negate [ OK ] TestExprOp.Negate (4 ms) [ RUN ] TestExprOp.Not [ OK ] TestExprOp.Not (3 ms) [ RUN ] TestExprOp.Complement [ OK ] TestExprOp.Complement (3 ms) [ RUN ] TestExprOp.And [ OK ] TestExprOp.And (10 ms) [ RUN ] TestExprOp.Or [ OK ] TestExprOp.Or (11 ms) [ RUN ] TestExprOp.Xor [ OK ] TestExprOp.Xor (10 ms) [ RUN ] TestExprOp.LeftShift [ OK ] TestExprOp.LeftShift (8 ms) [ RUN ] TestExprOp.RightShift [ OK ] TestExprOp.RightShift (7 ms) [ RUN ] TestExprOp.LogicRightShift [ OK ] TestExprOp.LogicRightShift (7 ms) [ RUN ] TestExprOp.Add [ OK ] TestExprOp.Add (7 ms) [ RUN ] TestExprOp.Sub [ OK ] TestExprOp.Sub (8 ms) [ RUN ] TestExprOp.Mul [ OK ] TestExprOp.Mul (8 ms) [ RUN ] TestExprOp.Equal [ OK ] TestExprOp.Equal (14 ms) [ RUN ] TestExprOp.NotEqual [ OK ] TestExprOp.NotEqual (9 ms) [ RUN ] TestExprOp.LessThan [ OK ] TestExprOp.LessThan (7 ms) [ RUN ] TestExprOp.GreaterThan [ OK ] TestExprOp.GreaterThan (7 ms) [ RUN ] TestExprOp.LessThanOrEqual [ OK ] TestExprOp.LessThanOrEqual (8 ms) [ RUN ] TestExprOp.GreaterThanOrEqual [ OK ] TestExprOp.GreaterThanOrEqual (8 ms) [ RUN ] TestExprOp.UnsignedLessThan [ OK ] TestExprOp.UnsignedLessThan (7 ms) [ RUN ] TestExprOp.UnsignedGreaterThan [ OK ] TestExprOp.UnsignedGreaterThan (7 ms) [ RUN ] TestExprOp.UnsignedLessThanOrEqual [ OK ] TestExprOp.UnsignedLessThanOrEqual (8 ms) [ RUN ] TestExprOp.UnsignedGreaterThanOrEqual [ OK ] TestExprOp.UnsignedGreaterThanOrEqual (7 ms) [ RUN ] TestExprOp.Imply [ OK ] TestExprOp.Imply (3 ms) [ RUN ] TestExprOp.Ite [ OK ] TestExprOp.Ite (14 ms) [----------] 30 tests from TestExprOp (233 ms total) [----------] 7 tests from TestExprVar [ RUN ] TestExprVar.Construct [ OK ] TestExprVar.Construct (0 ms) [ RUN ] TestExprVar.BoolZ3Expr [ OK ] TestExprVar.BoolZ3Expr (4 ms) [ RUN ] TestExprVar.BvZ3Expr [ OK ] TestExprVar.BvZ3Expr (7 ms) [ RUN ] TestExprVar.MemZ3Expr [ OK ] TestExprVar.MemZ3Expr (4 ms) [ RUN ] TestExprVar.BoolPrint [ OK ] TestExprVar.BoolPrint (0 ms) [ RUN ] TestExprVar.BvPrint [ OK ] TestExprVar.BvPrint (0 ms) [ RUN ] TestExprVar.MemPrint [ OK ] TestExprVar.MemPrint (0 ms) [----------] 7 tests from TestExprVar (16 ms total) [----------] 4 tests from TestFunc [ RUN ] TestFunc.Atom [ OK ] TestFunc.Atom (0 ms) [ RUN ] TestFunc.Unary [ OK ] TestFunc.Unary (19 ms) [ RUN ] TestFunc.Binary [ OK ] TestFunc.Binary (19 ms) [ RUN ] TestFunc.Multiple [ OK ] TestFunc.Multiple (0 ms) [----------] 4 tests from TestFunc (40 ms total) [----------] 4 tests from TestHashApi [ RUN ] TestHashApi.level0 [ OK ] TestHashApi.level0 (0 ms) [ RUN ] TestHashApi.level1 [ OK ] TestHashApi.level1 (1 ms) [ RUN ] TestHashApi.level2 [ OK ] TestHashApi.level2 (0 ms) [ RUN ] TestHashApi.ExplicitName [ OK ] TestHashApi.ExplicitName (0 ms) [----------] 4 tests from TestHashApi (1 ms total) [----------] 12 tests from TestInstrLvlAbs [ RUN ] TestInstrLvlAbs.Construct W0217 22:24:26.765735 9838 instr_lvl_abs.cc:19] ILA name not specified... [ OK ] TestInstrLvlAbs.Construct (0 ms) [ RUN ] TestInstrLvlAbs.Spec [ OK ] TestInstrLvlAbs.Spec (0 ms) [ RUN ] TestInstrLvlAbs.Simplifier [ OK ] TestInstrLvlAbs.Simplifier (0 ms) [ RUN ] TestInstrLvlAbs.Input [ OK ] TestInstrLvlAbs.Input (58 ms) [ RUN ] TestInstrLvlAbs.State [ OK ] TestInstrLvlAbs.State (59 ms) [ RUN ] TestInstrLvlAbs.Init [ OK ] TestInstrLvlAbs.Init (20 ms) [ RUN ] TestInstrLvlAbs.Fetch [ OK ] TestInstrLvlAbs.Fetch (29 ms) [ RUN ] TestInstrLvlAbs.Valid [ OK ] TestInstrLvlAbs.Valid (31 ms) [ RUN ] TestInstrLvlAbs.Instr [ OK ] TestInstrLvlAbs.Instr (9 ms) [ RUN ] TestInstrLvlAbs.Child [ OK ] TestInstrLvlAbs.Child (9 ms) [ RUN ] TestInstrLvlAbs.SeqTran [ OK ] TestInstrLvlAbs.SeqTran (0 ms) [ RUN ] TestInstrLvlAbs.Print [ OK ] TestInstrLvlAbs.Print (0 ms) [----------] 12 tests from TestInstrLvlAbs (216 ms total) [----------] 2 tests from TestIlator [ RUN ] TestIlator.Default I0217 22:24:26.984498 9838 ilator.cc:78] Start generating SystemC simulator of ILA.TEST I0217 22:24:26.994014 9838 ilator.cc:108] Sucessfully generate SystemC simulator at /tmp/7nMicm [ OK ] TestIlator.Default (13 ms) [ RUN ] TestIlator.Optimize I0217 22:24:26.996732 9838 p_simplify_syntactic.cc:15] Start pass: syntactic simplification I0217 22:24:27.005873 9838 p_rewrite_conditional_store.cc:111] Start pass: rewrite conditional store I0217 22:24:27.007912 9838 ilator.cc:78] Start generating SystemC simulator of ILA.TEST I0217 22:24:27.015866 9838 ilator.cc:108] Sucessfully generate SystemC simulator at /tmp/cRT0Fi [ OK ] TestIlator.Optimize (22 ms) [----------] 2 tests from TestIlator (35 ms total) [----------] 6 tests from TestInstr [ RUN ] TestInstr.Construct [ OK ] TestInstr.Construct (0 ms) [ RUN ] TestInstr.DecodeSimplified [ OK ] TestInstr.DecodeSimplified (43 ms) [ RUN ] TestInstr.DecodeNonSimplified [ OK ] TestInstr.DecodeNonSimplified (42 ms) [ RUN ] TestInstr.UpdateSimplified [ OK ] TestInstr.UpdateSimplified (0 ms) [ RUN ] TestInstr.UpdateNonSimplified [ OK ] TestInstr.UpdateNonSimplified (0 ms) [ RUN ] TestInstr.Print [ OK ] TestInstr.Print (0 ms) [----------] 6 tests from TestInstr (85 ms total) [----------] 3 tests from TestInstrSeq [ RUN ] TestInstrSeq.ItEdge [ OK ] TestInstrSeq.ItEdge (0 ms) [ RUN ] TestInstrSeq.ItNode [ OK ] TestInstrSeq.ItNode (19 ms) [ RUN ] TestInstrSeq.AddTran [ OK ] TestInstrSeq.AddTran (0 ms) [----------] 3 tests from TestInstrSeq (19 ms total) [----------] 2 tests from TestKeyVec [ RUN ] TestKeyVec.StringString [ OK ] TestKeyVec.StringString (0 ms) [ RUN ] TestKeyVec.SymbolExpr [ OK ] TestKeyVec.SymbolExpr (1 ms) [----------] 2 tests from TestKeyVec (1 ms total) [----------] 1 test from TestLegacyBmc [ RUN ] TestLegacyBmc.FF I0217 22:24:27.123103 9838 v_eq_check_bmc.cc:158] [ModelGen.IlaOneHotFlat] One-hot Flat ILA: ILA.Flat_1 (0, 1) I0217 22:24:27.123157 9838 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.0 (0, 1) I0217 22:24:27.123443 9838 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.1 (0, 1) I0217 22:24:27.123950 9838 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.2 (0, 1) I0217 22:24:27.124729 9838 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.3 (0, 1) I0217 22:24:27.127168 9838 v_eq_check_bmc.cc:158] [ModelGen.IlaOneHotFlat] One-hot Flat ILA: ILA.Flat_2 (0, 1) I0217 22:24:27.127207 9838 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.0 (0, 1) I0217 22:24:27.127460 9838 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.1 (0, 1) I0217 22:24:27.127903 9838 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.2 (0, 1) I0217 22:24:27.128640 9838 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.3 (0, 1) [ OK ] TestLegacyBmc.FF (10 ms) [----------] 1 test from TestLegacyBmc (10 ms total) [----------] 6 tests from TestLog [ RUN ] TestLog.Level [ OK ] TestLog.Level (0 ms) [ RUN ] TestLog.Verbose [ OK ] TestLog.Verbose (1 ms) [ RUN ] TestLog.Death [ OK ] TestLog.Death (51 ms) [ RUN ] TestLog.DebugEnable [ OK ] TestLog.DebugEnable (0 ms) [ RUN ] TestLog.DebugDisable [ OK ] TestLog.DebugDisable (0 ms) [ RUN ] TestLog.Clear [ OK ] TestLog.Clear (0 ms) [----------] 6 tests from TestLog (53 ms total) [----------] 2 tests from TestMapSet [ RUN ] TestMapSet.IntInt [ OK ] TestMapSet.IntInt (0 ms) [ RUN ] TestMapSet.ExprInstr [ OK ] TestMapSet.ExprInstr (0 ms) [----------] 2 tests from TestMapSet (0 ms total) [----------] 2 tests from TestTraceStep [ RUN ] TestTraceStep.AccessDeduction [ OK ] TestTraceStep.AccessDeduction (1 ms) [ RUN ] TestTraceStep.ConvertZ3 [ OK ] TestTraceStep.ConvertZ3 (4 ms) [----------] 2 tests from TestTraceStep (5 ms total) [----------] 8 tests from TestMcm [ RUN ] TestMcm.SingleILAUnroll [ OK ] TestMcm.SingleILAUnroll (17 ms) [ RUN ] TestMcm.SingleILAUnrollOrderedReverse [ OK ] TestMcm.SingleILAUnrollOrderedReverse (14 ms) [ RUN ] TestMcm.SingleILAUnrollUnorderedReverse [ OK ] TestMcm.SingleILAUnrollUnorderedReverse (23 ms) [ RUN ] TestMcm.SingleIlaMcm [ OK ] TestMcm.SingleIlaMcm (50 ms) [ RUN ] TestMcm.RegBasedMcmSc [ OK ] TestMcm.RegBasedMcmSc (32 ms) [ RUN ] TestMcm.RegBasedMcmTso [ OK ] TestMcm.RegBasedMcmTso (32 ms) [ RUN ] TestMcm.McmSc [ OK ] TestMcm.McmSc (39 ms) [ RUN ] TestMcm.McmTso [ OK ] TestMcm.McmTso (42 ms) [----------] 8 tests from TestMcm (249 ms total) [----------] 1 test from TestMngrabsknob [ RUN ] TestMngrabsknob.FlattenIla [ OK ] TestMngrabsknob.FlattenIla (0 ms) [----------] 1 test from TestMngrabsknob (0 ms total) [----------] 5 tests from TestPass [ RUN ] TestPass.AES [ OK ] TestPass.AES (1418 ms) [ RUN ] TestPass.AES_128 [ OK ] TestPass.AES_128 (39914 ms) [ RUN ] TestPass.AES_C [ OK ] TestPass.AES_C (19695 ms) [ RUN ] TestPass.GB_LOW [ OK ] TestPass.GB_LOW (965 ms) [ RUN ] TestPass.RBM E0217 22:25:29.601191 9838 p_sanity_check_and_fix.cc:90] Fail adding default instruction E0217 22:25:33.207319 9838 p_sanity_check_and_fix.cc:90] Fail adding default instruction [ OK ] TestPass.RBM (3812 ms) [----------] 5 tests from TestPass (65804 ms total) [----------] 9 tests from TestPortable [ RUN ] TestPortable.AES_V_TOP [ OK ] TestPortable.AES_V_TOP (933 ms) [ RUN ] TestPortable.AES_V_CHILD [ OK ] TestPortable.AES_V_CHILD (24276 ms) [ RUN ] TestPortable.AES_V [ OK ] TestPortable.AES_V (1204 ms) [ RUN ] TestPortable.AES_C_TOP [ OK ] TestPortable.AES_C_TOP (1475 ms) [ RUN ] TestPortable.AES_C_CHILD [ OK ] TestPortable.AES_C_CHILD (38 ms) [ RUN ] TestPortable.AES_C [ OK ] TestPortable.AES_C (1508 ms) [ RUN ] TestPortable.GB_LOW [ OK ] TestPortable.GB_LOW (120 ms) [ RUN ] TestPortable.RBM [ OK ] TestPortable.RBM (229 ms) [ RUN ] TestPortable.OC8051 [ OK ] TestPortable.OC8051 (14439 ms) [----------] 9 tests from TestPortable (44223 ms total) [----------] 3 tests from TestSmtParse [ RUN ] TestSmtParse.Type E0217 22:26:17.466760 9838 smt_ast.cc:539] string : 0011(4) cast to width:3 [ OK ] TestSmtParse.Type (0 ms) [ RUN ] TestSmtParse.Parse [ OK ] TestSmtParse.Parse (28 ms) [ RUN ] TestSmtParse.ChcParse [ OK ] TestSmtParse.ChcParse (45 ms) [----------] 3 tests from TestSmtParse (73 ms total) [----------] 41 tests from TestSmtShim [ RUN ] TestSmtShim.OpBoolNot [ OK ] TestSmtShim.OpBoolNot (5 ms) [ RUN ] TestSmtShim.OpBvNeg [ OK ] TestSmtShim.OpBvNeg (5 ms) [ RUN ] TestSmtShim.OpBvComplement [ OK ] TestSmtShim.OpBvComplement (4 ms) [ RUN ] TestSmtShim.OpBoolAnd [ OK ] TestSmtShim.OpBoolAnd (4 ms) [ RUN ] TestSmtShim.OpBvAnd [ OK ] TestSmtShim.OpBvAnd (5 ms) [ RUN ] TestSmtShim.OpBoolOr [ OK ] TestSmtShim.OpBoolOr (4 ms) [ RUN ] TestSmtShim.OpBvOr [ OK ] TestSmtShim.OpBvOr (5 ms) [ RUN ] TestSmtShim.OpBoolXor [ OK ] TestSmtShim.OpBoolXor (4 ms) [ RUN ] TestSmtShim.OpBvXor [ OK ] TestSmtShim.OpBvXor (5 ms) [ RUN ] TestSmtShim.OpBvShl [ OK ] TestSmtShim.OpBvShl (5 ms) [ RUN ] TestSmtShim.OpBvAshr [ OK ] TestSmtShim.OpBvAshr (4 ms) [ RUN ] TestSmtShim.OpBvLshr [ OK ] TestSmtShim.OpBvLshr (5 ms) [ RUN ] TestSmtShim.OpBvAdd [ OK ] TestSmtShim.OpBvAdd (4 ms) [ RUN ] TestSmtShim.OpBvSub [ OK ] TestSmtShim.OpBvSub (5 ms) [ RUN ] TestSmtShim.OpBvAddSub [ OK ] TestSmtShim.OpBvAddSub (4 ms) [ RUN ] TestSmtShim.OpBvMul [ OK ] TestSmtShim.OpBvMul (5 ms) [ RUN ] TestSmtShim.OpBvDiv [ OK ] TestSmtShim.OpBvDiv (4 ms) [ RUN ] TestSmtShim.OpBvSrem [ OK ] TestSmtShim.OpBvSrem (5 ms) [ RUN ] TestSmtShim.OpBvUrem [ OK ] TestSmtShim.OpBvUrem (5 ms) [ RUN ] TestSmtShim.OpBvSmod [ OK ] TestSmtShim.OpBvSmod (5 ms) [ RUN ] TestSmtShim.OpBvSltSge [ OK ] TestSmtShim.OpBvSltSge (4 ms) [ RUN ] TestSmtShim.OpBvSleSgt [ OK ] TestSmtShim.OpBvSleSgt (5 ms) [ RUN ] TestSmtShim.OpBvSltSgteq [ OK ] TestSmtShim.OpBvSltSgteq (5 ms) [ RUN ] TestSmtShim.OpBvUltUge [ OK ] TestSmtShim.OpBvUltUge (4 ms) [ RUN ] TestSmtShim.OpBvUleUgt [ OK ] TestSmtShim.OpBvUleUgt (5 ms) [ RUN ] TestSmtShim.OpBvUltUgteq [ OK ] TestSmtShim.OpBvUltUgteq (5 ms) [ RUN ] TestSmtShim.OpMemLoad [ OK ] TestSmtShim.OpMemLoad (4 ms) [ RUN ] TestSmtShim.OpMemStore [ OK ] TestSmtShim.OpMemStore (5 ms) [ RUN ] TestSmtShim.OpBvConcat [ OK ] TestSmtShim.OpBvConcat (4 ms) [ RUN ] TestSmtShim.OpBvExtract [ OK ] TestSmtShim.OpBvExtract (4 ms) [ RUN ] TestSmtShim.OpBvZext [ OK ] TestSmtShim.OpBvZext (5 ms) [ RUN ] TestSmtShim.OpBvSext [ OK ] TestSmtShim.OpBvSext (4 ms) [ RUN ] TestSmtShim.OpBvRotate [ OK ] TestSmtShim.OpBvRotate (4 ms) [ RUN ] TestSmtShim.OpBoolImply [ OK ] TestSmtShim.OpBoolImply (5 ms) [ RUN ] TestSmtShim.OpBoolIte [ OK ] TestSmtShim.OpBoolIte (4 ms) [ RUN ] TestSmtShim.OpBvIte [ OK ] TestSmtShim.OpBvIte (4 ms) [ RUN ] TestSmtShim.OpApplyFunc [ OK ] TestSmtShim.OpApplyFunc (5 ms) [ RUN ] TestSmtShim.ConstBool [ OK ] TestSmtShim.ConstBool (4 ms) [ RUN ] TestSmtShim.ConstBv [ OK ] TestSmtShim.ConstBv (4 ms) [ RUN ] TestSmtShim.ConstMem [ OK ] TestSmtShim.ConstMem (5 ms) [ RUN ] TestSmtShim.DiscreteUsage [ OK ] TestSmtShim.DiscreteUsage (5 ms) [----------] 41 tests from TestSmtShim (186 ms total) [----------] 1 test from TestSmtTrans [ RUN ] TestSmtTrans.ReplaceAndAddKeep [ OK ] TestSmtTrans.ReplaceAndAddKeep (76 ms) [----------] 1 test from TestSmtTrans (77 ms total) [----------] 3 tests from TestSort [ RUN ] TestSort.Boolean [ OK ] TestSort.Boolean (34 ms) [ RUN ] TestSort.Bitvector [ OK ] TestSort.Bitvector (24 ms) [ RUN ] TestSort.Memory [ OK ] TestSort.Memory (12 ms) [----------] 3 tests from TestSort (70 ms total) [----------] 5 tests from TestSymbol [ RUN ] TestSymbol.Construct [ OK ] TestSymbol.Construct (0 ms) [ RUN ] TestSymbol.Accessors [ OK ] TestSymbol.Accessors (0 ms) [ RUN ] TestSymbol.Copy [ OK ] TestSymbol.Copy (0 ms) [ RUN ] TestSymbol.Format [ OK ] TestSymbol.Format (0 ms) [ RUN ] TestSymbol.Compare [ OK ] TestSymbol.Compare (0 ms) [----------] 5 tests from TestSymbol (1 ms total) [----------] 9 tests from TestUnroll [ RUN ] TestUnroll.InstrSeqFlatSubs [ OK ] TestUnroll.InstrSeqFlatSubs (5 ms) [ RUN ] TestUnroll.InstrSeqFlatAssn [ OK ] TestUnroll.InstrSeqFlatAssn (4 ms) [ RUN ] TestUnroll.InstrSeqFlatNone [ OK ] TestUnroll.InstrSeqFlatNone (3 ms) [ RUN ] TestUnroll.InstrSeqSolve [ OK ] TestUnroll.InstrSeqSolve (23 ms) [ RUN ] TestUnroll.MonoFlatSubs [ OK ] TestUnroll.MonoFlatSubs (32 ms) [ RUN ] TestUnroll.MonoFlatAssn [ OK ] TestUnroll.MonoFlatAssn (29 ms) [ RUN ] TestUnroll.MonoFlatNone [ OK ] TestUnroll.MonoFlatNone (29 ms) [ RUN ] TestUnroll.MonoSolve [ OK ] TestUnroll.MonoSolve (58 ms) [ RUN ] TestUnroll.PathMonoSolve [ OK ] TestUnroll.PathMonoSolve (37 ms) [----------] 9 tests from TestUnroll (220 ms total) [----------] 1 test from TestUnrollerSmt [ RUN ] TestUnrollerSmt.z3 [ OK ] TestUnrollerSmt.z3 (8 ms) [----------] 1 test from TestUnrollerSmt (8 ms total) [----------] 12 tests from TestUtil [ RUN ] TestUtil.DirAppend [ OK ] TestUtil.DirAppend (1 ms) [ RUN ] TestUtil.CopyDir E0217 22:26:18.102280 9838 fs.cc:61] filesystem error: cannot create directory: File exists [/home/semaphore/ILAng/test/unit-data/fs/cpdst/dummy] [ OK ] TestUtil.CopyDir (0 ms) [ RUN ] TestUtil.FileNameFromDir [ OK ] TestUtil.FileNameFromDir (0 ms) [ RUN ] TestUtil.ExecShell 1 [ OK ] TestUtil.ExecShell (8 ms) [ RUN ] TestUtil.ExecShellOSPath CMakeFiles CTestTestfile.cmake Makefile unit_tests cmake_install.cmake extern tmp_portable.json [ OK ] TestUtil.ExecShellOSPath (8 ms) [ RUN ] TestUtil.ExecShellRedirect [ OK ] TestUtil.ExecShellRedirect (2022 ms) [ RUN ] TestUtil.ExecShellRedirectTimeOut [ OK ] TestUtil.ExecShellRedirectTimeOut (3025 ms) [ RUN ] TestUtil.RegularExpr [ OK ] TestUtil.RegularExpr (3 ms) [ RUN ] TestUtil.LongWidth [ OK ] TestUtil.LongWidth (1 ms) [ RUN ] TestUtil.LongWidth_unsigned [ OK ] TestUtil.LongWidth_unsigned (0 ms) [ RUN ] TestUtil.Int2Str [ OK ] TestUtil.Int2Str (0 ms) [ RUN ] TestUtil.StrTrim [ OK ] TestUtil.StrTrim (1 ms) [----------] 12 tests from TestUtil (5070 ms total) [----------] 9 tests from TestVerilogAnalysis [ RUN ] TestVerilogAnalysis.BaseFuncNoError [ OK ] TestVerilogAnalysis.BaseFuncNoError (3 ms) [ RUN ] TestVerilogAnalysis.Init [ OK ] TestVerilogAnalysis.Init (3 ms) [ RUN ] TestVerilogAnalysis.FnameMeta I0217 22:26:23.180307 9838 t_verilog_analysis.cc:67] Location of: m1.ex_wb_rd:/home/semaphore/ILAng/test/unit-data/vpipe/simple_pipe.v:38 I0217 22:26:23.180495 9838 t_verilog_analysis.cc:68] End loc of m1:/home/semaphore/ILAng/test/unit-data/vpipe/simple_pipe.v:220 [ OK ] TestVerilogAnalysis.FnameMeta (3 ms) [ RUN ] TestVerilogAnalysis.Include [ OK ] TestVerilogAnalysis.Include (1 ms) [ RUN ] TestVerilogAnalysis.RangeAnalysis E0217 22:26:23.182386 9838 verilog_const_parser.cc:164] unable to parse: (-1) E0217 22:26:23.182471 9838 verilog_const_parser.cc:164] unable to parse: d E0217 22:26:23.182572 9838 verilog_const_parser.cc:164] unable to parse: (1<<1) [ OK ] TestVerilogAnalysis.RangeAnalysis (4 ms) [ RUN ] TestVerilogAnalysis.RangeAnalysisOverwriteWidth W0217 22:26:23.186396 9838 verilog_analysis.cc:860] Overwriting width of signal: m1.i1.sig to 5(w=2 by analysis) W0217 22:26:23.187094 9838 verilog_analysis.cc:860] Overwriting width of signal: m1.in1 to 10(w=4 by analysis) W0217 22:26:23.187808 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0217 22:26:23.187862 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0217 22:26:23.187882 9838 verilog_analysis.cc:860] Overwriting width of signal: m1.in1 to 5(w=4 by analysis) W0217 22:26:23.187963 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0217 22:26:23.188017 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0217 22:26:23.188035 9838 verilog_const_parser.cc:164] unable to parse: W2 W0217 22:26:23.188078 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0217 22:26:23.188099 9838 verilog_const_parser.cc:164] unable to parse: W2 W0217 22:26:23.188153 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0217 22:26:23.188207 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0217 22:26:23.188227 9838 verilog_const_parser.cc:164] unable to parse: W2 W0217 22:26:23.188282 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0217 22:26:23.188298 9838 verilog_const_parser.cc:164] unable to parse: W2 W0217 22:26:23.188354 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0217 22:26:23.188374 9838 verilog_analysis.cc:860] Overwriting width of signal: m1.in1 to 10(w=4 by analysis) W0217 22:26:23.188408 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0217 22:26:23.188427 9838 verilog_const_parser.cc:164] unable to parse: W2 W0217 22:26:23.188460 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0217 22:26:23.188478 9838 verilog_const_parser.cc:164] unable to parse: W2 W0217 22:26:23.188513 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0217 22:26:23.188550 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0217 22:26:23.188568 9838 verilog_const_parser.cc:164] unable to parse: W2 W0217 22:26:23.188599 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0217 22:26:23.188630 9838 verilog_const_parser.cc:164] unable to parse: W2 W0217 22:26:23.188678 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0217 22:26:23.188692 9838 verilog_const_parser.cc:164] unable to parse: W2 W0217 22:26:23.188702 9838 verilog_analysis.cc:860] Overwriting width of signal: m1.in2 to 128(w=1 by analysis) W0217 22:26:23.188751 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0217 22:26:23.188787 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0217 22:26:23.188807 9838 verilog_const_parser.cc:164] unable to parse: W2 W0217 22:26:23.188825 9838 verilog_analysis.cc:860] Overwriting width of signal: m1.in2 to 256(w=1 by analysis) W0217 22:26:23.188858 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0217 22:26:23.188876 9838 verilog_const_parser.cc:164] unable to parse: W2 W0217 22:26:23.188910 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0217 22:26:23.188949 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0217 22:26:23.188967 9838 verilog_const_parser.cc:164] unable to parse: W2 W0217 22:26:23.189000 9838 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0217 22:26:23.189018 9838 verilog_const_parser.cc:164] unable to parse: W2 [ OK ] TestVerilogAnalysis.RangeAnalysisOverwriteWidth (4 ms) [ RUN ] TestVerilogAnalysis.AnalyzeName [ OK ] TestVerilogAnalysis.AnalyzeName (2 ms) [ RUN ] TestVerilogAnalysis.GetTopIo [ OK ] TestVerilogAnalysis.GetTopIo (4 ms) [ RUN ] TestVerilogAnalysis.GetTopIoNewFashion I0217 22:26:23.198387 9838 t_verilog_analysis.cc:527] End loc of m1:/home/semaphore/ILAng/test/unit-data/verilog_sample/t_pipe.v:218 [ OK ] TestVerilogAnalysis.GetTopIoNewFashion (3 ms) [----------] 9 tests from TestVerilogAnalysis (27 ms total) [----------] 12 tests from TestVerilogAnalysisErrHandling [ RUN ] TestVerilogAnalysisErrHandling.NoDoubleInstance [ OK ] TestVerilogAnalysisErrHandling.NoDoubleInstance (3 ms) [ RUN ] TestVerilogAnalysisErrHandling.EmptyFile [ OK ] TestVerilogAnalysisErrHandling.EmptyFile (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.VerilogFileNotFound [ OK ] TestVerilogAnalysisErrHandling.VerilogFileNotFound (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.VerilogSyntaxError line 2 - ERROR: syntax error, unexpected KW_REG, expecting SEMICOLON - 'reg' [ OK ] TestVerilogAnalysisErrHandling.VerilogSyntaxError (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.EmptyModuleName line 0 - ERROR: syntax error, unexpected OPEN_BRACKET, expecting SIMPLE_ID or ESCAPED_ID or MACRO_IDENTIFIER - '(' [ OK ] TestVerilogAnalysisErrHandling.EmptyModuleName (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.ModuleRedecl [ OK ] TestVerilogAnalysisErrHandling.ModuleRedecl (1 ms) [ RUN ] TestVerilogAnalysisErrHandling.MissingModuleDecl [ OK ] TestVerilogAnalysisErrHandling.MissingModuleDecl (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.ModuleDeclLoop [ OK ] TestVerilogAnalysisErrHandling.ModuleDeclLoop (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.NoSuchModuleAsTop E0217 22:26:23.203025 9838 verilog_analysis.cc:531] Cannot find declaration: nonexistingname [ OK ] TestVerilogAnalysisErrHandling.NoSuchModuleAsTop (1 ms) [ RUN ] TestVerilogAnalysisErrHandling.TwoTop [ OK ] TestVerilogAnalysisErrHandling.TwoTop (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.SigRedecl [ OK ] TestVerilogAnalysisErrHandling.SigRedecl (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.UnknownPortDirection [ OK ] TestVerilogAnalysisErrHandling.UnknownPortDirection (1 ms) [----------] 12 tests from TestVerilogAnalysisErrHandling (7 ms total) [----------] 10 tests from TestVerilogGen [ RUN ] TestVerilogGen.Init [ OK ] TestVerilogGen.Init (0 ms) [ RUN ] TestVerilogGen.VlgCnst [ OK ] TestVerilogGen.VlgCnst (50 ms) [ RUN ] TestVerilogGen.ParseInst [ OK ] TestVerilogGen.ParseInst (15 ms) [ RUN ] TestVerilogGen.CpReg [ OK ] TestVerilogGen.CpReg (10 ms) [ RUN ] TestVerilogGen.SimpleProc [ OK ] TestVerilogGen.SimpleProc (24 ms) [ RUN ] TestVerilogGen.AES_V [ OK ] TestVerilogGen.AES_V (191 ms) [ RUN ] TestVerilogGen.AES_C [ OK ] TestVerilogGen.AES_C (187 ms) [ RUN ] TestVerilogGen.GB_Low [ OK ] TestVerilogGen.GB_Low (63 ms) [ RUN ] TestVerilogGen.RBM [ OK ] TestVerilogGen.RBM (99 ms) [ RUN ] TestVerilogGen.OC [ OK ] TestVerilogGen.OC (30819 ms) [----------] 10 tests from TestVerilogGen (31458 ms total) [----------] 6 tests from TestVerilogExport [ RUN ] TestVerilogExport.check_reserved_name [ OK ] TestVerilogExport.check_reserved_name (1 ms) [ RUN ] TestVerilogExport.sanitizeName [ OK ] TestVerilogExport.sanitizeName (0 ms) [ RUN ] TestVerilogExport.get_width [ OK ] TestVerilogExport.get_width (0 ms) [ RUN ] TestVerilogExport.new_id [ OK ] TestVerilogExport.new_id (0 ms) [ RUN ] TestVerilogExport.internalfunc [ OK ] TestVerilogExport.internalfunc (0 ms) [ RUN ] TestVerilogExport.OPs [ OK ] TestVerilogExport.OPs (3 ms) [----------] 6 tests from TestVerilogExport (5 ms total) [----------] 1 test from TestVerilogMod [ RUN ] TestVerilogMod.Modify [ OK ] TestVerilogMod.Modify (2 ms) [----------] 1 test from TestVerilogMod (2 ms total) [----------] 25 tests from TestVlgTargetGen [ RUN ] TestVlgTargetGen.PipeExample [ OK ] TestVlgTargetGen.PipeExample (26 ms) [ RUN ] TestVlgTargetGen.PipeExampleZ3 E0217 22:26:54.722149 9838 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0217 22:26:54.754097 9838 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0217 22:26:54.788547 9838 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0217 22:26:54.823225 9838 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0217 22:26:54.858243 9838 vtarget_gen_yosys.cc:787] Executing Yosys failed! [ OK ] TestVlgTargetGen.PipeExampleZ3 (172 ms) [ RUN ] TestVlgTargetGen.PipeExampleGrain E0217 22:26:54.896175 9838 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0217 22:26:54.958370 9838 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0217 22:26:55.059702 9838 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0217 22:26:55.163082 9838 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0217 22:26:55.265909 9838 vtarget_gen_yosys.cc:787] Executing Yosys failed! [ OK ] TestVlgTargetGen.PipeExampleGrain (476 ms) [ RUN ] TestVlgTargetGen.PipeExampleGrainDeath [ OK ] TestVlgTargetGen.PipeExampleGrainDeath (22 ms) [ RUN ] TestVlgTargetGen.PipeExampleEldaricaDeath [ OK ] TestVlgTargetGen.PipeExampleEldaricaDeath (22 ms) [ RUN ] TestVlgTargetGen.PipeExampleBtor E0217 22:26:55.416487 9838 vtarget_gen_yosys.cc:721] Executing Yosys failed! E0217 22:26:55.443636 9838 vtarget_gen_yosys.cc:721] Executing Yosys failed! E0217 22:26:55.470917 9838 vtarget_gen_yosys.cc:721] Executing Yosys failed! E0217 22:26:55.498610 9838 vtarget_gen_yosys.cc:721] Executing Yosys failed! E0217 22:26:55.525954 9838 vtarget_gen_yosys.cc:721] Executing Yosys failed! [ OK ] TestVlgTargetGen.PipeExampleBtor (141 ms) [ RUN ] TestVlgTargetGen.PipeExampleAbc E0217 22:26:55.558424 9838 vtarget_gen_yosys.cc:1020] Executing Yosys failed! E0217 22:26:55.585093 9838 vtarget_gen_yosys.cc:1020] Executing Yosys failed! E0217 22:26:55.612227 9838 vtarget_gen_yosys.cc:1020] Executing Yosys failed! E0217 22:26:55.639967 9838 vtarget_gen_yosys.cc:1020] Executing Yosys failed! E0217 22:26:55.667165 9838 vtarget_gen_yosys.cc:1020] Executing Yosys failed! [ OK ] TestVlgTargetGen.PipeExampleAbc (141 ms) [ RUN ] TestVlgTargetGen.PipeExampleRfmapPost [ OK ] TestVlgTargetGen.PipeExampleRfmapPost (26 ms) [ RUN ] TestVlgTargetGen.PipeExampleJasperGold [ OK ] TestVlgTargetGen.PipeExampleJasperGold (15 ms) [ RUN ] TestVlgTargetGen.PipeExampleNotEqu [ OK ] TestVlgTargetGen.PipeExampleNotEqu (25 ms) [ RUN ] TestVlgTargetGen.Memory [ OK ] TestVlgTargetGen.Memory (5 ms) [ RUN ] TestVlgTargetGen.MemoryInternal [ OK ] TestVlgTargetGen.MemoryInternal (5 ms) [ RUN ] TestVlgTargetGen.MemoryInternalExternal [ OK ] TestVlgTargetGen.MemoryInternalExternal (7 ms) [ RUN ] TestVlgTargetGen.MemoryInternalExternalEntry6 [ OK ] TestVlgTargetGen.MemoryInternalExternalEntry6 (7 ms) [ RUN ] TestVlgTargetGen.MemoryRead [ OK ] TestVlgTargetGen.MemoryRead (2 ms) [ RUN ] TestVlgTargetGen.MemoryAbsRead [ OK ] TestVlgTargetGen.MemoryAbsRead (4 ms) [ RUN ] TestVlgTargetGen.MemoryReadAbsRead [ OK ] TestVlgTargetGen.MemoryReadAbsRead (2 ms) [ RUN ] TestVlgTargetGen.MemoryReadAbsReadJasperGold [ OK ] TestVlgTargetGen.MemoryReadAbsReadJasperGold (2 ms) [ RUN ] TestVlgTargetGen.UndetValue [ OK ] TestVlgTargetGen.UndetValue (3 ms) [ RUN ] TestVlgTargetGen.UndetFunc [ OK ] TestVlgTargetGen.UndetFunc (4 ms) [ RUN ] TestVlgTargetGen.UndetFuncIteUnknown [ OK ] TestVlgTargetGen.UndetFuncIteUnknown (2 ms) [ RUN ] TestVlgTargetGen.ResetAnnotation E0217 22:26:55.780339 9838 supplementary_info.cc:81] reset cycle must >= 1 E0217 22:26:55.780395 9838 supplementary_info.cc:95] reset-state is not implemented yet. E0217 22:26:55.780409 9838 supplementary_info.cc:97] reset-sequence is not implemented yet. E0217 22:26:55.782478 9838 supplementary_info.cc:19] Unable to parse `annotation` field, expect a map. E0217 22:26:55.785584 9838 supplementary_info.cc:43] memory-ports's must be string->string map E0217 22:26:55.785668 9838 supplementary_info.cc:51] port name : r2 should be one of ren/wen/raddr/waddr/rdata/wdata E0217 22:26:55.785707 9838 supplementary_info.cc:69] Unsupported memory export directive:unknown, expect internal/external E0217 22:26:55.792327 9838 supplementary_info.cc:95] reset-state is not implemented yet. E0217 22:26:55.792407 9838 supplementary_info.cc:97] reset-sequence is not implemented yet. [ OK ] TestVlgTargetGen.ResetAnnotation (15 ms) [ RUN ] TestVlgTargetGen.ResetAnnotationZ3 E0217 22:26:55.795253 9838 supplementary_info.cc:95] reset-state is not implemented yet. E0217 22:26:55.795284 9838 supplementary_info.cc:97] reset-sequence is not implemented yet. E0217 22:26:55.816448 9838 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0217 22:26:55.839130 9838 vtarget_gen_yosys.cc:787] Executing Yosys failed! [ OK ] TestVlgTargetGen.ResetAnnotationZ3 (47 ms) [ RUN ] TestVlgTargetGen.ResetAnnotationABC E0217 22:26:55.841945 9838 supplementary_info.cc:95] reset-state is not implemented yet. E0217 22:26:55.841975 9838 supplementary_info.cc:97] reset-sequence is not implemented yet. E0217 22:26:55.863458 9838 vtarget_gen_yosys.cc:1020] Executing Yosys failed! E0217 22:26:55.886019 9838 vtarget_gen_yosys.cc:1020] Executing Yosys failed! [ OK ] TestVlgTargetGen.ResetAnnotationABC (45 ms) [ RUN ] TestVlgTargetGen.AesExample [ OK ] TestVlgTargetGen.AesExample (0 ms) [----------] 25 tests from TestVlgTargetGen (1216 ms total) [----------] 9 tests from TestInvExtract [ RUN ] TestInvExtract.Abc [ OK ] TestInvExtract.Abc (1 ms) [ RUN ] TestInvExtract.PipeBlifGla [ OK ] TestInvExtract.PipeBlifGla (1 ms) [ RUN ] TestInvExtract.AbcAiger [ OK ] TestInvExtract.AbcAiger (4 ms) [ RUN ] TestInvExtract.AbcAigerGLA [ OK ] TestInvExtract.AbcAigerGLA (5 ms) [ RUN ] TestInvExtract.PipeAigerGLA [ OK ] TestInvExtract.PipeAigerGLA (4 ms) [ RUN ] TestInvExtract.GrainInvExtract E0217 22:26:55.961342 9838 grain_inv_parse.cc:99] Invariant refers to outside var:impout [ OK ] TestInvExtract.GrainInvExtract (60 ms) [ RUN ] TestInvExtract.Z3InvExtract [ OK ] TestInvExtract.Z3InvExtract (1 ms) [ RUN ] TestInvExtract.Z3InvExtractPipe [ OK ] TestInvExtract.Z3InvExtractPipe (4 ms) [ RUN ] TestInvExtract.Z3InvExtractRangeSpec E0217 22:26:55.967666 9838 chc_inv_in_wrapper.cc:38] Trying to rewind local_var_idx from 3 to 2 [ OK ] TestInvExtract.Z3InvExtractRangeSpec (2 ms) [----------] 9 tests from TestInvExtract (82 ms total) [----------] 2 tests from TestZ3Adapter [ RUN ] TestZ3Adapter.Construct [ OK ] TestZ3Adapter.Construct (9 ms) [ RUN ] TestZ3Adapter.Suffix [ OK ] TestZ3Adapter.Suffix (4 ms) [----------] 2 tests from TestZ3Adapter (13 ms total) [----------] 14 tests from TestZ3Expr [ RUN ] TestZ3Expr.XorBool [ OK ] TestZ3Expr.XorBool (4 ms) [ RUN ] TestZ3Expr.XorBv [ OK ] TestZ3Expr.XorBv (5 ms) [ RUN ] TestZ3Expr.NotNot [ OK ] TestZ3Expr.NotNot (3 ms) [ RUN ] TestZ3Expr.NegNeg [ OK ] TestZ3Expr.NegNeg (4 ms) [ RUN ] TestZ3Expr.Div [ OK ] TestZ3Expr.Div (6 ms) [ RUN ] TestZ3Expr.SRem [ OK ] TestZ3Expr.SRem (7 ms) [ RUN ] TestZ3Expr.URem [ OK ] TestZ3Expr.URem (9 ms) [ RUN ] TestZ3Expr.SMod [ OK ] TestZ3Expr.SMod (6 ms) [ RUN ] TestZ3Expr.LRotate [ OK ] TestZ3Expr.LRotate (4 ms) [ RUN ] TestZ3Expr.RRotate [ OK ] TestZ3Expr.RRotate (4 ms) [ RUN ] TestZ3Expr.LoadStore [ OK ] TestZ3Expr.LoadStore (4 ms) [ RUN ] TestZ3Expr.StoreLoad [ OK ] TestZ3Expr.StoreLoad (4 ms) [ RUN ] TestZ3Expr.Extract [ OK ] TestZ3Expr.Extract (3 ms) [ RUN ] TestZ3Expr.Concat [ OK ] TestZ3Expr.Concat (8 ms) [----------] 14 tests from TestZ3Expr (71 ms total) [----------] 13 tests from TestVlgVerifInvSyn [ RUN ] TestVlgVerifInvSyn.SimpleCntCegar E0217 22:26:56.078047 9838 vtarget_gen_inv_chc.cc:546] Executing Yosys failed! Confirmed synthesized invariants: 1==1 (1'b1) == (((!((m1.v) == (4'h3))) ||(!((m1.imp) == (4'h4)))) &&((!((m1.imp) == (4'he))) ||(!((m1.v) == (4'h9)))) &&((!((m1.imp) == (4'hd))) ||(!((m1.v) == (4'ha)))) &&((!((m1.imp) == (4'hc))) ||(!((m1.v) == (4'hb)))) &&((!((m1.imp) == (4'hb))) ||(!((m1.v) == (4'hc)))) &&((!((m1.imp) == (4'ha))) ||(!((m1.v) == (4'hd)))) &&((!((m1.v) == (4'he))) ||(!((m1.imp) == (4'h9)))) &&((!((m1.imp) == (4'h8))) ||(!((m1.v) == (4'hf)))) &&((!((m1.imp) == (4'h3))) ||(!((m1.v) == (4'h4)))) &&((!((m1.v) == (4'h6))) ||(!((m1.imp) == (4'h1)))) &&((!((m1.v) == (4'h7))) ||(!((m1.imp) == (4'h0)))) &&((!((m1.v) == (4'h8))) ||(!((m1.imp) == (4'hf)))) &&((!((m1.imp) == (4'h5))) ||(!((m1.v) == (4'h2)))) &&((!((m1.imp) == (4'h7))) ||(!((m1.v) == (4'h0)))) &&((!((m1.v) == (4'h5))) ||(!(m1.imp[1:1])) ||(m1.imp[0:0]) ||(m1.imp[2:2]) ||(m1.imp[3:3])) &&((!((m1.v) == (4'h1))) ||(!((m1.imp) == (4'h6))))) E0217 22:26:56.082880 9838 inv_syn_cegar.cc:844] Not loading the statistics state from initial time! [ OK ] TestVlgVerifInvSyn.SimpleCntCegar (34 ms) [ RUN ] TestVlgVerifInvSyn.SimpleCntCegarWithAssumptions E0217 22:26:56.113423 9838 vtarget_gen_inv_chc.cc:546] Executing Yosys failed! Confirmed synthesized invariants: 1==1 (1'b1) == (((!((m1.v) == (4'h3))) ||(!((m1.imp) == (4'h4)))) &&((!((m1.imp) == (4'he))) ||(!((m1.v) == (4'h9)))) &&((!((m1.imp) == (4'hd))) ||(!((m1.v) == (4'ha)))) &&((!((m1.imp) == (4'hc))) ||(!((m1.v) == (4'hb)))) &&((!((m1.imp) == (4'hb))) ||(!((m1.v) == (4'hc)))) &&((!((m1.imp) == (4'ha))) ||(!((m1.v) == (4'hd)))) &&((!((m1.v) == (4'he))) ||(!((m1.imp) == (4'h9)))) &&((!((m1.imp) == (4'h8))) ||(!((m1.v) == (4'hf)))) &&((!((m1.imp) == (4'h3))) ||(!((m1.v) == (4'h4)))) &&((!((m1.v) == (4'h6))) ||(!((m1.imp) == (4'h1)))) &&((!((m1.v) == (4'h7))) ||(!((m1.imp) == (4'h0)))) &&((!((m1.v) == (4'h8))) ||(!((m1.imp) == (4'hf)))) &&((!((m1.imp) == (4'h5))) ||(!((m1.v) == (4'h2)))) &&((!((m1.imp) == (4'h7))) ||(!((m1.v) == (4'h0)))) &&((!((m1.v) == (4'h5))) ||(!(m1.imp[1:1])) ||(m1.imp[0:0]) ||(m1.imp[2:2]) ||(m1.imp[3:3])) &&((!((m1.v) == (4'h1))) ||(!((m1.imp) == (4'h6))))) [ OK ] TestVlgVerifInvSyn.SimpleCntCegarWithAssumptions (30 ms) [ RUN ] TestVlgVerifInvSyn.LoadInvFromBeginning E0217 22:26:56.148780 9838 vtarget_gen_inv_chc.cc:546] Executing Yosys failed! Confirmed synthesized invariants: 1==1 (1'b1) == ((!((m1.imp) == (4'he))) ||(!((m1.v) == (4'h9)))) && (((!((m1.v) == (4'h3))) ||(!((m1.imp) == (4'h4)))) &&((!((m1.imp) == (4'hd))) ||(!((m1.v) == (4'ha)))) &&((!((m1.imp) == (4'hc))) ||(!((m1.v) == (4'hb)))) &&((!((m1.imp) == (4'hb))) ||(!((m1.v) == (4'hc)))) &&((!((m1.imp) == (4'ha))) ||(!((m1.v) == (4'hd)))) &&((!((m1.v) == (4'he))) ||(!((m1.imp) == (4'h9)))) &&((!((m1.imp) == (4'h8))) ||(!((m1.v) == (4'hf)))) &&((!((m1.imp) == (4'h3))) ||(!((m1.v) == (4'h4)))) &&((!((m1.v) == (4'h6))) ||(!((m1.imp) == (4'h1)))) &&((!((m1.v) == (4'h7))) ||(!((m1.imp) == (4'h0)))) &&((!((m1.v) == (4'h8))) ||(!((m1.imp) == (4'hf)))) &&((!((m1.imp) == (4'h5))) ||(!((m1.v) == (4'h2)))) &&((!((m1.imp) == (4'h7))) ||(!((m1.v) == (4'h0)))) &&((!((m1.v) == (4'h5))) ||(!(m1.imp[1:1])) ||(m1.imp[0:0]) ||(m1.imp[2:2]) ||(m1.imp[3:3])) &&((!((m1.v) == (4'h1))) ||(!((m1.imp) == (4'h6))))) (1'b1) == (((!((m1.v) == (4'h3))) ||(!((m1.imp) == (4'h4)))) &&((!((m1.imp) == (4'he))) ||(!((m1.v) == (4'h9)))) &&((!((m1.imp) == (4'hd))) ||(!((m1.v) == (4'ha)))) &&((!((m1.imp) == (4'hc))) ||(!((m1.v) == (4'hb)))) &&((!((m1.imp) == (4'hb))) ||(!((m1.v) == (4'hc)))) &&((!((m1.imp) == (4'ha))) ||(!((m1.v) == (4'hd)))) &&((!((m1.v) == (4'he))) ||(!((m1.imp) == (4'h9)))) &&((!((m1.imp) == (4'h8))) ||(!((m1.v) == (4'hf)))) &&((!((m1.imp) == (4'h3))) ||(!((m1.v) == (4'h4)))) &&((!((m1.v) == (4'h6))) ||(!((m1.imp) == (4'h1)))) &&((!((m1.v) == (4'h7))) ||(!((m1.imp) == (4'h0)))) &&((!((m1.v) == (4'h8))) ||(!((m1.imp) == (4'hf)))) &&((!((m1.imp) == (4'h5))) ||(!((m1.v) == (4'h2)))) &&((!((m1.imp) == (4'h7))) ||(!((m1.v) == (4'h0)))) &&((!((m1.v) == (4'h5))) ||(!(m1.imp[1:1])) ||(m1.imp[0:0]) ||(m1.imp[2:2]) ||(m1.imp[3:3])) &&((!((m1.v) == (4'h1))) ||(!((m1.imp) == (4'h6))))) E0217 22:26:56.180558 9838 vtarget_gen_inv_chc.cc:546] Executing Yosys failed! Confirmed synthesized invariants: 1==1 (1'b1) == ((!((m1.imp) == (4'he))) ||(!((m1.v) == (4'h9)))) && (((!((m1.v) == (4'h3))) ||(!((m1.imp) == (4'h4)))) &&((!((m1.imp) == (4'hd))) ||(!((m1.v) == (4'ha)))) &&((!((m1.imp) == (4'hc))) ||(!((m1.v) == (4'hb)))) &&((!((m1.imp) == (4'hb))) ||(!((m1.v) == (4'hc)))) &&((!((m1.imp) == (4'ha))) ||(!((m1.v) == (4'hd)))) &&((!((m1.v) == (4'he))) ||(!((m1.imp) == (4'h9)))) &&((!((m1.imp) == (4'h8))) ||(!((m1.v) == (4'hf)))) &&((!((m1.imp) == (4'h3))) ||(!((m1.v) == (4'h4)))) &&((!((m1.v) == (4'h6))) ||(!((m1.imp) == (4'h1)))) &&((!((m1.v) == (4'h7))) ||(!((m1.imp) == (4'h0)))) &&((!((m1.v) == (4'h8))) ||(!((m1.imp) == (4'hf)))) &&((!((m1.imp) == (4'h5))) ||(!((m1.v) == (4'h2)))) &&((!((m1.imp) == (4'h7))) ||(!((m1.v) == (4'h0)))) &&((!((m1.v) == (4'h5))) ||(!(m1.imp[1:1])) ||(m1.imp[0:0]) ||(m1.imp[2:2]) ||(m1.imp[3:3])) &&((!((m1.v) == (4'h1))) ||(!((m1.imp) == (4'h6))))) (1'b1) == (((!((m1.v) == (4'h3))) ||(!((m1.imp) == (4'h4)))) &&((!((m1.imp) == (4'he))) ||(!((m1.v) == (4'h9)))) &&((!((m1.imp) == (4'hd))) ||(!((m1.v) == (4'ha)))) &&((!((m1.imp) == (4'hc))) ||(!((m1.v) == (4'hb)))) &&((!((m1.imp) == (4'hb))) ||(!((m1.v) == (4'hc)))) &&((!((m1.imp) == (4'ha))) ||(!((m1.v) == (4'hd)))) &&((!((m1.v) == (4'he))) ||(!((m1.imp) == (4'h9)))) &&((!((m1.imp) == (4'h8))) ||(!((m1.v) == (4'hf)))) &&((!((m1.imp) == (4'h3))) ||(!((m1.v) == (4'h4)))) &&((!((m1.v) == (4'h6))) ||(!((m1.imp) == (4'h1)))) &&((!((m1.v) == (4'h7))) ||(!((m1.imp) == (4'h0)))) &&((!((m1.v) == (4'h8))) ||(!((m1.imp) == (4'hf)))) &&((!((m1.imp) == (4'h5))) ||(!((m1.v) == (4'h2)))) &&((!((m1.imp) == (4'h7))) ||(!((m1.v) == (4'h0)))) &&((!((m1.v) == (4'h5))) ||(!(m1.imp[1:1])) ||(m1.imp[0:0]) ||(m1.imp[2:2]) ||(m1.imp[3:3])) &&((!((m1.v) == (4'h1))) ||(!((m1.imp) == (4'h6))))) [ OK ] TestVlgVerifInvSyn.LoadInvFromBeginning (67 ms) [ RUN ] TestVlgVerifInvSyn.SimpleCntCegarPassed [ OK ] TestVlgVerifInvSyn.SimpleCntCegarPassed (2 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntAbc E0217 22:26:56.213052 9838 vtarget_gen_inv_abc.cc:568] Executing Yosys failed! Confirmed synthesized invariants: ~((m1.imp[0:0] & m1.v[0:0]) | (~m1.imp[0:0] & ~m1.v[0:0])) [ OK ] TestVlgVerifInvSyn.CegarCntAbc (30 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntAbcBlif E0217 22:26:56.243139 9838 vtarget_gen_inv_abc.cc:514] Executing Yosys failed! Confirmed synthesized invariants: ~((m1.imp[0:0] & m1.v[0:0]) | (~m1.imp[0:0] & ~m1.v[0:0])) [ OK ] TestVlgVerifInvSyn.CegarCntAbcBlif (28 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntAbcWithAssumption E0217 22:26:56.272203 9838 vtarget_gen_inv_abc.cc:568] Executing Yosys failed! [ OK ] TestVlgVerifInvSyn.CegarCntAbcWithAssumption (29 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntAbcInvStart E0217 22:26:56.301016 9838 vtarget_gen_inv_abc.cc:568] Executing Yosys failed! E0217 22:26:56.345060 9838 vtarget_gen_inv_abc.cc:568] Executing Yosys failed! Confirmed synthesized invariants: ~((m1impAndv[0:0] & m1.v[0:0]) | (~m1.imp[0:0] & ~m1.v[0:0])) ~((m1.imp[0:0] & m1.v[0:0]) | (~m1.imp[0:0] & ~m1.v[0:0])) [ OK ] TestVlgVerifInvSyn.CegarCntAbcInvStart (75 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntGrain E0217 22:26:56.375257 9838 vtarget_gen_inv_chc.cc:546] Executing Yosys failed! Confirmed synthesized invariants: (m1.imp) == (~(m1.v)) [ OK ] TestVlgVerifInvSyn.CegarCntGrain (31 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntGrainBackVars E0217 22:26:56.406105 9838 vtarget_gen_inv_chc.cc:546] Executing Yosys failed! Confirmed synthesized invariants: ((m1.imp) == (~(m1.v))) &&(!((m1.imp) == (~(m1.v)))) &&(((m1.imp) == (~(m1.v))) ||((m1.imp) == (~(m1.v)))) &&(((m1.imp) == (~(m1.v))) ? ((m1.imp) == (~(m1.v))) : ((m1.imp) == (~(m1.v)))) &&(((m1.imp) == (~(m1.v))) ^ ((m1.imp) == (~(m1.v)))) &&(!(((m1.imp) == (~(m1.v))) &&((m1.imp) == (~(m1.v))))) &&(({m1.v , m1.v}) == ({m1.imp , m1.imp})) &&((m1.imp) == ((m1.imp) &(m1.v))) &&((m1.imp) == (~((m1.imp) &(m1.v)))) &&((m1.imp) == ((m1.imp) |(m1.v))) &&((m1.imp) == (~((m1.imp) |(m1.v)))) &&((m1.imp) == ((m1.imp) ^ (m1.v))) &&((m1.imp) == (~((m1.imp) ^ (m1.v)))) &&((m1.imp) < (m1.v)) &&($signed(m1.imp) < $signed(m1.v)) &&((m1.imp) <= (m1.v)) &&($signed(m1.imp) <= $signed(m1.v)) &&((m1.imp) > (m1.v)) &&($signed(m1.imp) > $signed(m1.v)) &&((m1.imp) >= (m1.v)) &&($signed(m1.imp) >= $signed(m1.v)) &&((m1.imp) == (m1.v)) &&((( ~(m1.imp) + 'b1 )) == (m1.v)) &&(((m1.imp) +(m1.v) +(m1.v)) == (m1.v)) &&(((m1.imp) - (m1.v)) == (m1.v)) &&(((m1.imp) *(m1.v) *(m1.v)) == (m1.v)) &&(((m1.imp) / (m1.v)) == (m1.v)) &&(($signed(m1.imp) / $signed(m1.v)) == (m1.v)) &&(($signed(m1.imp) % $signed(m1.v)) == (m1.v)) &&(((m1.imp) % (m1.v)) == (m1.v)) &&(((m1.imp) << (2'b01)) == (m1.v)) &&(((m1.imp) >> (4'h1)) == (m1.v)) &&(((m1.imp) >>> (3'd3)) == (m1.v)) &&((__INV_EXT_new_local_var_5__[5:2]) == (m1.imp)) &&((m1.v[2:0]) == (m1.imp[2:0])) [ OK ] TestVlgVerifInvSyn.CegarCntGrainBackVars (39 ms) [ RUN ] TestVlgVerifInvSyn.CegarPipelineAbcAigEnhance E0217 22:26:56.465502 9838 vtarget_gen_inv_abc.cc:568] Executing Yosys failed! E0217 22:26:56.495694 9838 vtarget_gen_inv_enhance.cc:527] Executing Yosys failed! [ OK ] TestVlgVerifInvSyn.CegarPipelineAbcAigEnhance (107 ms) [ RUN ] TestVlgVerifInvSyn.SimpleCntRelChc E0217 22:26:56.550384 9838 vtarget_gen_relchc.cc:374] Executing Yosys failed! [ OK ] TestVlgVerifInvSyn.SimpleCntRelChc (27 ms) [ RUN ] TestVlgVerifInvSyn.SimpleCntRelChcNoStart E0217 22:26:56.574654 9838 vtarget_gen_relchc.cc:374] Executing Yosys failed! [ OK ] TestVlgVerifInvSyn.SimpleCntRelChcNoStart (24 ms) [----------] 13 tests from TestVlgVerifInvSyn (524 ms total) [----------] 2 tests from InvSynSupportAuxClass [ RUN ] InvSynSupportAuxClass.CexObj [ OK ] InvSynSupportAuxClass.CexObj (2 ms) [ RUN ] InvSynSupportAuxClass.InvCnf [ OK ] InvSynSupportAuxClass.InvCnf (0 ms) [----------] 2 tests from InvSynSupportAuxClass (2 ms total) [----------] Global test environment tear-down [==========] 336 tests from 45 test cases ran. (245877 ms total) [ PASSED ] 336 tests. Built target run_test ctest -R ExampleCMakeBuild Test project /home/semaphore/ILAng/build Start 2: ExampleCMakeBuild 1/1 Test #2: ExampleCMakeBuild ................ Passed 1.37 sec 100% tests passed, 0 tests failed out of 1 Total Test time (real) = 1.37 sec export SEMAPHORE_JOB_RESULT=passed