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_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_GIT_PR_SLUG Exporting SEMAPHORE_GIT_PR_SHA Exporting SEMAPHORE_GIT_PR_NUMBER Exporting SEMAPHORE_GIT_PR_NAME Exporting SEMAPHORE_GIT_PR_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 https://github.com/semaphoreci/toolbox/releases/download/v1.14.10/linux.tar toolbox/ toolbox/install-toolbox toolbox/when toolbox/sem-dockerize toolbox/sem-version toolbox/new-cache toolbox/sem-install toolbox/libchecksum toolbox/README.md toolbox/sem-service-check-params toolbox/system-metrics-collector toolbox/test-results toolbox/toolbox toolbox/artifact toolbox/install-package toolbox/ssh-session-cli toolbox/sem-service toolbox/spc toolbox/libcheckout toolbox/cache toolbox/retry 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 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 2946 Connecting to cache Running: ssh-keyscan -p 29920 -H 46.4.218.107 >> /home/semaphore/.ssh/known_hosts && 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 HEAD is now at b1d8e6cc9b45239c639ccf1bad4cb32e141ef1b9 sudo apt-get update 0% [Working] Hit:1 http://mirror.hetzner.de/ubuntu/packages bionic InRelease 0% [Connecting to de.archive.ubuntu.com] [Connecting to mirror.init7.net] [Conn 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% [Connecting to de.archive.ubuntu.com (141.30.62.22)] [Connecting to mirror.i 0% [1 InRelease gpgv 242 kB] [Connecting to de.archive.ubuntu.com (141.30.62.22 Get:5 http://dl.google.com/linux/chrome/deb stable InRelease [1,811 B] 0% [1 InRelease gpgv 242 kB] [Connecting to de.archive.ubuntu.com (141.30.62.22 Get:6 https://download.docker.com/linux/ubuntu bionic InRelease [64.4 kB] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Connecting to mirror.init7. 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Connecting to mirror.init7. Hit:7 https://dl.yarnpkg.com/debian stable InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Connecting to mirror.init7. Hit:8 http://de.archive.ubuntu.com/ubuntu bionic InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Waiti Get:9 http://ppa.launchpad.net/ansible/ansible/ubuntu trusty InRelease [16.0 kB] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [9 InR Hit:10 http://mirror.init7.net/ubuntu bionic InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [9 InRelease 14.2 kB/16.0 kB Get:11 https://packages.microsoft.com/repos/azure-cli bionic InRelease [3,965 B] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [9 InR Get:12 http://mirror.init7.net/ubuntu bionic-updates InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [12 InRelease 14.2 kB/88.7 k Get:13 http://de.archive.ubuntu.com/ubuntu bionic-security InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.5 kB/88.7 kB 15%] [12 InRelease 1 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.5 kB/88.7 kB 15%] [12 InRelease 1 Hit:14 https://storage.googleapis.com/bazel-apt stable InRelease 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.5 kB/88.7 kB 15%] [12 InRelease 4 0% [1 InRelease gpgv 242 kB] [13 InRelease 40.8 kB/88.7 kB 46%] [Connecting to 0% [13 InRelease 40.8 kB/88.7 kB 46%] [Waiting for headers] [Connecting to ppa. 0% [2 InRelease gpgv 88.7 kB] [13 InRelease 40.8 kB/88.7 kB 46%] [Waiting for h Get:15 http://mirror.init7.net/ubuntu bionic-backports InRelease [74.6 kB] 0% [2 InRelease gpgv 88.7 kB] [13 InRelease 40.8 kB/88.7 kB 46%] [15 InRelease 0% [2 InRelease gpgv 88.7 kB] [13 InRelease 40.8 kB/88.7 kB 46%] [Waiting for h 0% [2 InRelease gpgv 88.7 kB] [Waiting for headers] [Waiting for headers] [Wait Get:16 http://mirror.init7.net/ubuntu bionic-security InRelease [88.7 kB] 0% [2 InRelease gpgv 88.7 kB] [Waiting for headers] [16 InRelease 32.4 kB/88.7 0% [2 InRelease gpgv 88.7 kB] [Waiting for headers] [Waiting for headers] [Wait Get:17 http://ppa.launchpad.net/git-core/ppa/ubuntu bionic InRelease [20.8 kB] 0% [2 InRelease gpgv 88.7 kB] [Waiting for headers] [17 InRelease 0 B/20.8 kB 0 Get:18 http://de.archive.ubuntu.com/ubuntu bionic-updates InRelease [88.7 kB] 0% [2 InRelease gpgv 88.7 kB] [17 InRelease 14.2 kB/20.8 kB 68%] [Waiting for h 0% [2 InRelease gpgv 88.7 kB] [Connecting to ppa.launchpad.net (91.189.95.85)] 0% [Connecting to ppa.launchpad.net (91.189.95.85)] [Waiting for headers] [Conn 0% [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Connecting to ppa.launchpa Get:19 http://mirror.hetzner.de/ubuntu/packages bionic-updates/main i386 Packages [1,360 kB] 0% [3 InRelease gpgv 74.6 kB] [19 Packages 8,958 B/1,360 kB 1%] [Waiting for he 0% [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Waiting for headers] [Conn 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Wa Get:20 http://mirror.hetzner.de/ubuntu/packages bionic-updates/main amd64 Packages [2,252 kB] 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [20 Packages 4,096 B/2,25 Hit:21 http://ppa.launchpad.net/cwchien/gradle/ubuntu bionic InRelease 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [20 Packages 614 kB/2,252 Get:22 http://packages.cloud.google.com/apt cloud-sdk-bionic InRelease [6,786 B] 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [20 Packages 1,532 kB/2,2 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [20 Packages 1,586 kB/2,2 Get:23 http://mirror.hetzner.de/ubuntu/packages bionic-updates/main Translation-en [438 kB] 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [23 Translation-en 65.5 k 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:24 http://mirror.hetzner.de/ubuntu/packages bionic-updates/restricted amd64 Packages [493 kB] 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [24 Packages 0 B/493 kB 0 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Wa Get:25 http://mirror.hetzner.de/ubuntu/packages bionic-updates/restricted Translation-en [66.9 kB] 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [25 Translation-en 28.7 k 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Wa Get:26 http://mirror.hetzner.de/ubuntu/packages bionic-updates/universe i386 Packages [1,581 kB] 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [26 Packages 36.9 kB/1,58 Hit:27 http://ppa.launchpad.net/pypy/ppa/ubuntu bionic InRelease 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [26 Packages 640 kB/1,581 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:28 http://mirror.hetzner.de/ubuntu/packages bionic-updates/universe amd64 Packages [1,756 kB] 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [28 Packages 42.3 kB/1,75 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Wa Get:29 http://mirror.hetzner.de/ubuntu/packages bionic-updates/universe Translation-en [377 kB] 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [29 Translation-en 55.5 k 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:30 http://ppa.launchpad.net/deadsnakes/ppa/ubuntu bionic InRelease [15.9 kB] 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [30 InRelease 2,572 B/15. 0% [19 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Connected to packageclou 0% [19 Packages store 0 B] [Connected to packagecloud.io (54.241.210.185)] [Con 0% [19 Packages store 0 B] [4 InRelease gpgv 88.7 kB] [Connected to packageclou Get:31 https://baltocdn.com/helm/stable/debian all InRelease [7,652 B] 0% [19 Packages store 0 B] [4 InRelease gpgv 88.7 kB] [Connected to packageclou 0% [19 Packages store 0 B] [4 InRelease gpgv 88.7 kB] [Connected to packageclou 0% [4 InRelease gpgv 88.7 kB] [Connected to packagecloud.io (54.241.210.185)] [ 0% [20 Packages store 0 B] [4 InRelease gpgv 88.7 kB] [Connected to packageclou 0% [20 Packages store 0 B] [Connected to packagecloud.io (54.241.210.185)] [Wai 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [Connected to packageclou Get:32 http://mirror.hetzner.de/ubuntu/packages bionic-security/main i386 Packages [1,055 kB] 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [32 Packages 0 B/1,055 kB 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [Connected to packageclou Get:33 http://mirror.hetzner.de/ubuntu/packages bionic-security/main amd64 Packages [1,906 kB] 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [33 Packages 1,195 B/1,90 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [Waiting for headers] [Co Get:34 http://mirror.hetzner.de/ubuntu/packages bionic-security/main Translation-en [346 kB] 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [34 Translation-en 59.0 k 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [Connected to packageclou Get:35 http://mirror.hetzner.de/ubuntu/packages bionic-security/restricted amd64 Packages [469 kB] 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [35 Packages 4,096 B/469 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [Connected to packageclou Get:36 http://mirror.hetzner.de/ubuntu/packages bionic-security/restricted Translation-en [63.2 kB] 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [36 Translation-en 28.7 k 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [Waiting for headers] [Co Get:37 http://mirror.hetzner.de/ubuntu/packages bionic-security/universe amd64 Packages [1,141 kB] 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [37 Packages 32.3 kB/1,14 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [37 Packages 1,141 kB/1,1 Get:39 http://mirror.hetzner.de/ubuntu/packages bionic-security/universe i386 Packages [989 kB] 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [39 Packages 131 kB/989 k 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [Waiting for headers] [Wa Get:40 http://mirror.hetzner.de/ubuntu/packages bionic-security/universe Translation-en [261 kB] 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [40 Translation-en 63.8 k 0% [20 Packages store 0 B] [5 InRelease gpgv 1,811 B] [Waiting for headers] [Wa 0% [Connecting to scala.jfrog.io] [20 Packages store 0 B] [Waiting for headers] 0% [Connecting to scala.jfrog.io] [20 Packages store 0 B] [6 InRelease gpgv 64. Get:41 http://dl.google.com/linux/chrome/deb stable/main amd64 Packages [1,093 B] 0% [Connecting to scala.jfrog.io] [20 Packages store 0 B] [6 InRelease gpgv 64. 0% [Connecting to scala.jfrog.io] [20 Packages store 0 B] [6 InRelease gpgv 64. 0% [Connecting to scala.jfrog.io (35.155.113.66)] [20 Packages store 0 B] [Wait 0% [Connecting to scala.jfrog.io (35.155.113.66)] [20 Packages store 0 B] [7 In 0% [Connecting to scala.jfrog.io (35.155.113.66)] [20 Packages store 0 B] [7 In 0% [Connecting to d28dx6y1hfq314.cloudfront.net (65.9.58.117)] [Connecting to s 0% [Connecting to d28dx6y1hfq314.cloudfront.net (65.9.58.117)] [Connecting to s 0% [Connected to d28dx6y1hfq314.cloudfront.net (65.9.58.117)] [Connecting to sc 0% [Connected to d28dx6y1hfq314.cloudfront.net (65.9.58.117)] [Connecting to sc 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [23 Tran 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [23 Tran 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [10 InRe 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [24 Pack 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [24 Pack 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [11 InRe 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [25 Tran 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [11 InRe 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [26 Pack 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [26 Pack 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [26 Pack Get:44 https://packages.microsoft.com/repos/azure-cli bionic/main amd64 Packages [15.3 kB] 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [26 Pack 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [26 Pack 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [26 Pack Get:45 http://ppa.launchpad.net/ansible/ansible/ubuntu trusty/main i386 Packages [717 B] 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [26 Pack 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [26 Pack 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [26 Pack 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [12 InRe 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [28 Pack Get:46 http://ppa.launchpad.net/ansible/ansible/ubuntu trusty/main amd64 Packages [717 B] 0% [Waiting for headers] [Connected to scala.jfrog.io (35.155.113.66)] [28 Pack 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [15 InRe Get:47 http://mirror.init7.net/ubuntu bionic-updates/main amd64 Packages [2,252 kB] 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [15 InRe 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [47 Pack 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [13 InRe 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [13 InRe Get:48 http://mirror.init7.net/ubuntu bionic-updates/main i386 Packages [1,360 kB] 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [13 InRe 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [13 InRe Get:49 http://mirror.init7.net/ubuntu bionic-updates/main Translation-en [438 kB] 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [13 InRe 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [13 InRe Get:50 http://mirror.init7.net/ubuntu bionic-updates/restricted amd64 Packages [493 kB] 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [13 InRe Hit:38 https://scala.jfrog.io/artifactory/debian all InRelease 0% [Waiting for headers] [28 Packages store 0 B] [13 InRelease gpgv 88.7 kB] [5 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [13 InRe Get:51 http://mirror.init7.net/ubuntu bionic-updates/restricted Translation-en [66.9 kB] 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [13 InRe 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [13 InRe Get:52 http://mirror.init7.net/ubuntu bionic-updates/universe amd64 Packages [1,756 kB] 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [13 InRe 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [13 InRe Get:53 http://mirror.init7.net/ubuntu bionic-updates/universe i386 Packages [1,581 kB] 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [13 InRe 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [13 InRe Get:54 http://mirror.init7.net/ubuntu bionic-updates/universe Translation-en [377 kB] 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [13 InRe 0% [Waiting for headers] [Waiting for headers] [28 Packages store 0 B] [13 InRe 0% [Waiting for headers] [Waiting for headers] [13 InRelease gpgv 88.7 kB] 0% [Waiting for headers] [Waiting for headers] [29 Translation-en store 0 B] [1 0% [Waiting for headers] [Waiting for headers] [29 Translation-en store 0 B] 0% [Waiting for headers] [Waiting for headers] [29 Translation-en store 0 B] [1 Hit:43 https://packagecloud.io/github/git-lfs/ubuntu bionic InRelease 0% [Waiting for headers] [29 Translation-en store 0 B] [16 InRelease gpgv 88.7 Get:55 http://de.archive.ubuntu.com/ubuntu bionic-security/main amd64 Packages [1,906 kB] 0% [Waiting for headers] [29 Translation-en store 0 B] [16 InRelease gpgv 88.7 0% [Waiting for headers] [16 InRelease gpgv 88.7 kB] [55 Packages 40.8 kB/1,906 0% [Waiting for headers] [32 Packages store 0 B] [16 InRelease gpgv 88.7 kB] [5 0% [Waiting for headers] [32 Packages store 0 B] [55 Packages 95.5 kB/1,906 kB 0% [Waiting for headers] [32 Packages store 0 B] [18 InRelease gpgv 88.7 kB] [5 Get:56 http://mirror.init7.net/ubuntu bionic-security/main amd64 Packages [1,906 kB] 0% [Waiting for headers] [32 Packages store 0 B] [18 InRelease gpgv 88.7 kB] [5 Ign:42 https://scala.jfrog.io/artifactory/debian InRelease 0% [32 Packages store 0 B] [18 InRelease gpgv 88.7 kB] [55 Packages 205 kB/1,90 0% [32 Packages store 0 B] [18 InRelease gpgv 88.7 kB] [55 Packages 424 kB/1,90 Get:57 http://mirror.init7.net/ubuntu bionic-security/main i386 Packages [1,055 kB] 0% [32 Packages store 0 B] [18 InRelease gpgv 88.7 kB] [55 Packages 424 kB/1,90 0% [32 Packages store 0 B] [18 InRelease gpgv 88.7 kB] [55 Packages 862 kB/1,90 Get:58 http://mirror.init7.net/ubuntu bionic-security/main Translation-en [346 kB] 0% [32 Packages store 0 B] [18 InRelease gpgv 88.7 kB] [55 Packages 862 kB/1,90 0% [32 Packages store 0 B] [18 InRelease gpgv 88.7 kB] [55 Packages 862 kB/1,90 Get:59 http://mirror.init7.net/ubuntu bionic-security/restricted amd64 Packages [469 kB] 0% [32 Packages store 0 B] [18 InRelease gpgv 88.7 kB] [55 Packages 1,029 kB/1, 0% [32 Packages store 0 B] [18 InRelease gpgv 88.7 kB] [55 Packages 1,198 kB/1, Get:60 http://mirror.init7.net/ubuntu bionic-security/restricted Translation-en [63.2 kB] 0% [32 Packages store 0 B] [18 InRelease gpgv 88.7 kB] [55 Packages 1,198 kB/1, 0% [32 Packages store 0 B] [18 InRelease gpgv 88.7 kB] [55 Packages 1,225 kB/1, Get:61 http://mirror.init7.net/ubuntu bionic-security/universe amd64 Packages [1,141 kB] 0% [32 Packages store 0 B] [18 InRelease gpgv 88.7 kB] [55 Packages 1,225 kB/1, 0% [32 Packages store 0 B] [18 InRelease gpgv 88.7 kB] [55 Packages 1,906 kB/1, Get:62 http://mirror.init7.net/ubuntu bionic-security/universe i386 Packages [989 kB] 0% [32 Packages store 0 B] [18 InRelease gpgv 88.7 kB] [55 Packages 1,906 kB/1, 0% [32 Packages store 0 B] [18 InRelease gpgv 88.7 kB] [62 Packages 70.3 kB/989 0% [32 Packages store 0 B] [Waiting for headers] [62 Packages 428 kB/989 kB 43% 0% [32 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [Waiting for headers] [6 0% [32 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [Waiting for headers] [6 0% [Waiting for headers] [32 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [W Get:64 http://mirror.init7.net/ubuntu bionic-security/universe Translation-en [261 kB] 0% [Waiting for headers] [32 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [W Get:65 http://de.archive.ubuntu.com/ubuntu bionic-security/main i386 Packages [1,055 kB] 0% [Waiting for headers] [32 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [6 0% [Waiting for headers] [32 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [6 0% [Waiting for headers] [32 Packages store 0 B] [17 InRelease gpgv 20.8 kB] Get:66 http://de.archive.ubuntu.com/ubuntu bionic-security/main Translation-en [346 kB] 0% [Waiting for headers] [32 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [6 0% [Waiting for headers] [17 InRelease gpgv 20.8 kB] [66 Translation-en 29.9 kB 0% [Waiting for headers] [33 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [6 0% [Waiting for headers] [33 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [W Get:67 http://de.archive.ubuntu.com/ubuntu bionic-security/restricted amd64 Packages [469 kB] 0% [Waiting for headers] [33 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [6 0% [Waiting for headers] [33 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [W Get:68 http://de.archive.ubuntu.com/ubuntu bionic-security/restricted Translation-en [63.2 kB] 0% [Waiting for headers] [33 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [6 0% [Waiting for headers] [33 Packages store 0 B] [17 InRelease gpgv 20.8 kB] Get:69 http://de.archive.ubuntu.com/ubuntu bionic-security/universe i386 Packages [989 kB] 0% [Waiting for headers] [33 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [6 0% [Waiting for headers] [33 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [W Get:70 http://de.archive.ubuntu.com/ubuntu bionic-security/universe amd64 Packages [1,141 kB] 0% [Waiting for headers] [33 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [7 0% [Waiting for headers] [33 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [W Get:71 http://de.archive.ubuntu.com/ubuntu bionic-security/universe Translation-en [261 kB] 0% [Waiting for headers] [33 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [7 0% [Waiting for headers] [33 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [W Get:72 http://de.archive.ubuntu.com/ubuntu bionic-updates/main amd64 Packages [2,252 kB] 0% [Waiting for headers] [33 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [7 0% [Waiting for headers] [33 Packages store 0 B] [72 Packages 1,591 kB/2,252 kB 0% [Waiting for headers] [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [7 0% [Waiting for headers] [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [C Get:73 http://de.archive.ubuntu.com/ubuntu bionic-updates/main i386 Packages [1,360 kB] 0% [Waiting for headers] [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [7 0% [Waiting for headers] [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [W Get:74 http://de.archive.ubuntu.com/ubuntu bionic-updates/main Translation-en [438 kB] 0% [Waiting for headers] [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [7 0% [Waiting for headers] [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [W Get:75 http://de.archive.ubuntu.com/ubuntu bionic-updates/restricted amd64 Packages [493 kB] 0% [Waiting for headers] [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [7 0% [Waiting for headers] [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [W Get:76 http://de.archive.ubuntu.com/ubuntu bionic-updates/restricted Translation-en [66.9 kB] 0% [Waiting for headers] [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [7 Hit:63 https://scala.jfrog.io/artifactory/debian Release 0% [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [76 Translation-en 55.1 0% [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [Waiting for headers] [W Get:77 http://de.archive.ubuntu.com/ubuntu bionic-updates/universe i386 Packages [1,581 kB] 0% [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [77 Packages 53.5 kB/1,5 Get:78 http://ppa.launchpad.net/git-core/ppa/ubuntu bionic/main amd64 Packages [3,024 B] 0% [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [77 Packages 152 kB/1,58 0% [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [77 Packages 293 kB/1,58 0% [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [Connecting to ppa.launc Get:79 http://de.archive.ubuntu.com/ubuntu bionic-updates/universe amd64 Packages [1,756 kB] 0% [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [79 Packages 45.2 kB/1,7 0% [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [Waiting for headers] [W Get:80 http://de.archive.ubuntu.com/ubuntu bionic-updates/universe Translation-en [377 kB] 0% [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [80 Translation-en 58.5 Get:81 http://ppa.launchpad.net/git-core/ppa/ubuntu bionic/main i386 Packages [3,020 B] 0% [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [80 Translation-en 276 k 0% [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [80 Translation-en 289 k 0% [33 Packages store 0 B] [21 InRelease gpgv 15.4 kB] 0% [33 Packages store 0 B] 0% [33 Packages store 0 B] [22 InRelease gpgv 6,786 B] 0% [22 InRelease gpgv 6,786 B] 0% [34 Translation-en store 0 B] [22 InRelease gpgv 6,786 B] 0% [34 Translation-en store 0 B] 0% [34 Translation-en store 0 B] [27 InRelease gpgv 15.4 kB] [Waiting for heade Get:82 http://packages.cloud.google.com/apt cloud-sdk-bionic/main amd64 Packages [211 kB] 0% [34 Translation-en store 0 B] [27 InRelease gpgv 15.4 kB] [82 Packages 8,192 0% [34 Translation-en store 0 B] [82 Packages 205 kB/211 kB 97%] 0% [34 Translation-en store 0 B] [30 InRelease gpgv 15.9 kB] [82 Packages 205 k 0% [34 Translation-en store 0 B] [30 InRelease gpgv 15.9 kB] 0% [30 InRelease gpgv 15.9 kB] [Waiting for headers] 0% [35 Packages store 0 B] [30 InRelease gpgv 15.9 kB] [Waiting for headers] Get:83 http://packages.cloud.google.com/apt cloud-sdk-bionic/main i386 Packages [173 kB] 0% [35 Packages store 0 B] [30 InRelease gpgv 15.9 kB] [83 Packages 38.4 kB/173 0% [35 Packages store 0 B] [30 InRelease gpgv 15.9 kB] 0% [35 Packages store 0 B] 0% [35 Packages store 0 B] [31 InRelease gpgv 7,652 B] [Connecting to ppa.launc 0% [31 InRelease gpgv 7,652 B] [Connecting to ppa.launchpad.net (91.189.95.85)] 0% [36 Translation-en store 0 B] [31 InRelease gpgv 7,652 B] [Connecting to ppa 0% [31 InRelease gpgv 7,652 B] [Connecting to ppa.launchpad.net (91.189.95.85)] 0% [37 Packages store 0 B] [31 InRelease gpgv 7,652 B] [Connecting to ppa.launc Get:84 http://ppa.launchpad.net/deadsnakes/ppa/ubuntu bionic/main amd64 Packages [34.3 kB] 0% [37 Packages store 0 B] [31 InRelease gpgv 7,652 B] [84 Packages 2,670 B/34. 0% [37 Packages store 0 B] [84 Packages 11.4 kB/34.3 kB 33%] 0% [37 Packages store 0 B] [38 InRelease gpgv 3,558 B] [84 Packages 11.4 kB/34. Get:85 https://baltocdn.com/helm/stable/debian all/main amd64 Packages [2,348 B] 0% [37 Packages store 0 B] [38 InRelease gpgv 3,558 B] [84 Packages 14.3 kB/34. Get:86 https://baltocdn.com/helm/stable/debian all/main i386 Packages [2,344 B] 0% [37 Packages store 0 B] [38 InRelease gpgv 3,558 B] [84 Packages 22.9 kB/34. 0% [37 Packages store 0 B] [38 InRelease gpgv 3,558 B] [84 Packages 22.9 kB/34. 0% [37 Packages store 0 B] [38 InRelease gpgv 3,558 B] 0% [37 Packages store 0 B] [Waiting for headers] 0% [37 Packages store 0 B] [43 InRelease gpgv 24.4 kB] [Waiting for headers] Get:87 http://ppa.launchpad.net/deadsnakes/ppa/ubuntu bionic/main i386 Packages [34.2 kB] 0% [37 Packages store 0 B] [43 InRelease gpgv 24.4 kB] [87 Packages 2,670 B/34. 0% [43 InRelease gpgv 24.4 kB] [87 Packages 14.3 kB/34.2 kB 42%] 0% [39 Packages store 0 B] [43 InRelease gpgv 24.4 kB] [87 Packages 14.3 kB/34. 0% [39 Packages store 0 B] [43 InRelease gpgv 24.4 kB] 0% [39 Packages store 0 B] 0% [39 Packages store 0 B] [Release.gpg gpgv 815 B] 98% [39 Packages store 0 B] 98% [Working] 98% [40 Translation-en store 0 B] 98% [Working] 98% [41 Packages store 0 B] 98% [Working] 98% [44 Packages store 0 B] 98% [Working] 98% [45 Packages store 0 B] 98% [Working] 98% [46 Packages store 0 B] 98% [Working] 98% [47 Packages store 0 B] 98% [Working] 98% [48 Packages store 0 B] 98% [Working] 98% [49 Translation-en store 0 B] 99% [Working] 99% [50 Packages store 0 B] 99% [Working] 99% [51 Translation-en store 0 B] 99% [Working] 99% [52 Packages store 0 B] 99% [Working] 99% [53 Packages store 0 B] 99% [Working] 99% [54 Translation-en store 0 B] 99% [Working] 99% [56 Packages store 0 B] 99% [Working] 99% [57 Packages store 0 B] 99% [Working] 99% [58 Translation-en store 0 B] 99% [Working] 99% [59 Packages store 0 B] 99% [Working] 99% [60 Translation-en store 0 B] 99% [Working] 99% [61 Packages store 0 B] 99% [Working] 99% [55 Packages store 0 B] 99% [Working] 99% [62 Packages store 0 B] 99% [Working] 99% [64 Translation-en store 0 B] 99% [Working] 99% [65 Packages store 0 B] 99% [Working] 99% [66 Translation-en store 0 B] 99% [Working] 99% [67 Packages store 0 B] 99% [Working] 99% [68 Translation-en store 0 B] 99% [Working] 99% [69 Packages store 0 B] 99% [Working] 99% [70 Packages store 0 B] 99% [Working] 99% [71 Translation-en store 0 B] 99% [Working] 99% [72 Packages store 0 B] 99% [Working] 99% [73 Packages store 0 B] 99% [Working] 99% [74 Translation-en store 0 B] 99% [Working] 99% [75 Packages store 0 B] 100% [Working] 100% [76 Translation-en store 0 B] 100% [Working] 100% [78 Packages store 0 B] 100% [Working] 100% [77 Packages store 0 B] 100% [Working] 100% [79 Packages store 0 B] 100% [Working] 7,300 kB/s 0s 100% [81 Packages store 0 B] 7,300 kB/s 0s 100% [Working] 7,300 kB/s 0s 100% [80 Translation-en store 0 B] 7,300 kB/s 0s 100% [Working] 7,300 kB/s 0s 100% [82 Packages store 0 B] 7,300 kB/s 0s 100% [Working] 7,300 kB/s 0s 100% [83 Packages store 0 B] 7,300 kB/s 0s 100% [Working] 7,300 kB/s 0s 100% [85 Packages store 0 B] 7,300 kB/s 0s 100% [Working] 7,300 kB/s 0s 100% [86 Packages store 0 B] 7,300 kB/s 0s 100% [Working] 7,300 kB/s 0s 100% [84 Packages store 0 B] 7,300 kB/s 0s 100% [Working] 7,300 kB/s 0s 100% [87 Packages store 0 B] 7,300 kB/s 0s 100% [Working] 7,300 kB/s 0s Fetched 45.0 MB in 6s (7,174 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... 14% Reading package lists... 15% Reading package lists... 15% Reading package lists... 19% Reading package lists... 19% Reading package lists... 19% Reading package lists... 19% 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... 21% Reading package lists... 21% Reading package lists... 28% Reading package lists... 28% Reading package lists... 35% Reading package lists... 35% Reading package lists... 38% Reading package lists... 38% Reading package lists... 39% Reading package lists... 39% Reading package lists... 39% Reading package lists... 39% 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... 42% Reading package lists... 42% Reading package lists... 42% Reading package lists... 42% 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... 44% Reading package lists... 44% Reading package lists... 45% Reading package lists... 45% Reading package lists... 45% Reading package lists... 45% Reading package lists... 45% Reading package lists... 45% Reading package lists... 45% Reading package lists... 45% Reading package lists... 45% Reading package lists... 46% Reading package lists... 46% Reading package lists... 47% Reading package lists... 47% Reading package lists... 48% Reading package lists... 48% Reading package lists... 49% Reading package lists... 49% Reading package lists... 49% Reading package lists... 49% Reading package lists... 49% Reading package lists... 49% Reading package lists... 50% Reading package lists... 50% 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... 52% Reading package lists... 52% Reading package lists... 54% Reading package lists... 54% Reading package lists... 55% Reading package lists... 55% 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... 57% Reading package lists... 57% Reading package lists... 58% Reading package lists... 58% Reading package lists... 59% Reading package lists... 59% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% 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... 75% Reading package lists... 75% Reading package lists... 81% Reading package lists... 81% Reading package lists... 81% 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... 85% Reading package lists... 85% Reading package lists... 87% Reading package lists... 87% Reading package lists... 88% Reading package lists... 88% Reading package lists... 89% Reading package lists... 89% Reading package lists... 89% Reading package lists... 89% Reading package lists... 90% Reading package lists... 90% Reading package lists... 90% Reading package lists... 90% Reading package lists... 91% Reading package lists... 91% 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... 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... 97% Reading package lists... 97% Reading package lists... 97% Reading package lists... 97% 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... 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 25 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 11.4 kB/11.4 kB 100%] 9% [Working] 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 36.9 kB/5,183 kB 1%] 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 49.2 kB/5,204 kB 1%] 100% [Working] Fetched 10.8 MB in 0s (28.0 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 ... 274737 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.4) ... 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.33.0") -- 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: Submodule 'extern/vexpparser' (https://github.com/zhanghongce/vexpparser.git) registered for path 'vexpparser' Cloning into '/home/semaphore/ILAng/extern/vexpparser'... Submodule path 'vexpparser': checked out 'cc7c2524bdf6edd91deaddbd2fa9e8abcbf08427' -- Build Type: Debug -- 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 [ 5%] Linking CXX shared library libfmtd.so [ 6%] Linking CXX shared library libglogd.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 [ 8%] 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 ^^^^^^^^^^^^ [ 8%] Generating VCDScanner.cpp, VCDScanner.hpp Scanning dependencies of target vcdparser [ 8%] 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 [ 9%] 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 [ 10%] 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 [ 14%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDFile.cpp.o [ 14%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDFileParser.cpp.o [ 14%] 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 { ^^^^^^^^^^^ [ 15%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDValue.cpp.o [ 15%] Linking CXX shared library libvcdparser.so [ 16%] 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 [ 16%] Built target vcdparser [ 16%] Generating vexp_parser.cc, vexp_parser.hh Scanning dependencies of target verilogparser [ 17%] 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; ^~~~~~ [ 17%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_parser.tab.c.o [ 18%] Generating vexp_scanner.cpp /home/semaphore/ILAng/extern/vexpparser/src/vexp_scanner.l:247: warning, -s option given but default rule can be matched Scanning dependencies of target vexpparser [ 19%] Building CXX object extern/vexpparser/src/CMakeFiles/vexpparser.dir/vexp_scanner.cpp.o [ 20%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast.c.o [ 20%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast_mem.c.o [ 21%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast_util.c.o [ 21%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast_common.c.o [ 21%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_parser_wrapper.c.o [ 22%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_preprocessor.c.o [ 22%] Linking C shared library libverilogparser.so [ 22%] Building CXX object extern/vexpparser/src/CMakeFiles/vexpparser.dir/vexp_parser.cc.o [ 22%] Built target verilogparser Scanning dependencies of target gtest [ 23%] Building CXX object test/extern/googletest/googlemock/gtest/CMakeFiles/gtest.dir/src/gtest-all.cc.o [ 24%] Building CXX object extern/vexpparser/src/CMakeFiles/vexpparser.dir/vexp.cc.o [ 24%] Building CXX object extern/vexpparser/src/CMakeFiles/vexpparser.dir/interpreter.cpp.o [ 25%] Linking CXX shared library libvexpparser.so [ 25%] Built target vexpparser Scanning dependencies of target signalhandler_unittest [ 25%] Building CXX object extern/glog/CMakeFiles/signalhandler_unittest.dir/src/signalhandler_unittest.cc.o [ 26%] Linking CXX executable signalhandler_unittest [ 26%] Linking CXX shared library libgtestd.so [ 26%] Built target signalhandler_unittest Scanning dependencies of target stl_logging_unittest [ 26%] Building CXX object extern/glog/CMakeFiles/stl_logging_unittest.dir/src/stl_logging_unittest.cc.o [ 26%] Built target gtest Scanning dependencies of target stacktrace_unittest [ 26%] Building CXX object extern/glog/CMakeFiles/stacktrace_unittest.dir/src/stacktrace_unittest.cc.o [ 27%] Linking CXX executable stacktrace_unittest [ 27%] Built target stacktrace_unittest Scanning dependencies of target demangle_unittest [ 27%] Building CXX object extern/glog/CMakeFiles/demangle_unittest.dir/src/demangle_unittest.cc.o [ 27%] Linking CXX executable demangle_unittest [ 27%] Built target demangle_unittest Scanning dependencies of target logging_unittest [ 27%] Building CXX object extern/glog/CMakeFiles/logging_unittest.dir/src/logging_unittest.cc.o [ 28%] Linking CXX executable stl_logging_unittest [ 28%] Built target stl_logging_unittest Scanning dependencies of target symbolize_unittest [ 28%] Building CXX object extern/glog/CMakeFiles/symbolize_unittest.dir/src/symbolize_unittest.cc.o [ 29%] Linking CXX executable symbolize_unittest [ 29%] Built target symbolize_unittest Scanning dependencies of target utilities_unittest [ 29%] Building CXX object extern/glog/CMakeFiles/utilities_unittest.dir/src/utilities_unittest.cc.o [ 30%] Linking CXX executable logging_unittest [ 30%] Built target logging_unittest Scanning dependencies of target vcdparserexec [ 31%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparserexec.dir/main.cpp.o [ 32%] Linking CXX executable utilities_unittest [ 32%] Built target utilities_unittest Scanning dependencies of target verilogparserexec [ 33%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparserexec.dir/main.c.o [ 33%] Linking C executable verilogparserexec [ 33%] Built target verilogparserexec Scanning dependencies of target vexpparserexec [ 33%] Building CXX object extern/vexpparser/src/CMakeFiles/vexpparserexec.dir/vexp_test.cc.o [ 33%] Linking CXX executable vcdparserexec [ 33%] Built target vcdparserexec Scanning dependencies of target ilang [ 34%] Building CXX object src/CMakeFiles/ilang.dir/ilang++.cc.o [ 35%] Linking CXX executable vexpparserexec [ 35%] Built target vexpparserexec Scanning dependencies of target gmock [ 35%] Building CXX object test/extern/googletest/googlemock/CMakeFiles/gmock.dir/src/gmock-all.cc.o [ 35%] Linking CXX shared library libgmockd.so [ 35%] Built target gmock [ 35%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr.cc.o Scanning dependencies of target gtest_main [ 36%] Building CXX object test/extern/googletest/googlemock/gtest/CMakeFiles/gtest_main.dir/src/gtest_main.cc.o [ 37%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr_const.cc.o [ 37%] Linking CXX shared library libgtest_maind.so [ 37%] Built target gtest_main [ 37%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr_op.cc.o [ 38%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr_var.cc.o [ 38%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/func.cc.o [ 39%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/sort.cc.o [ 39%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/sort_value.cc.o [ 39%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast_hub.cc.o [ 40%] Building CXX object src/CMakeFiles/ilang.dir/ila/hash_ast.cc.o [ 40%] Building CXX object src/CMakeFiles/ilang.dir/ila/instr.cc.o [ 41%] Building CXX object src/CMakeFiles/ilang.dir/ila/instr_lvl_abs.cc.o [ 41%] Building CXX object src/CMakeFiles/ilang.dir/ila/object.cc.o [ 42%] Building CXX object src/CMakeFiles/ilang.dir/ila/symbol.cc.o [ 42%] Building CXX object src/CMakeFiles/ilang.dir/ila/transition.cc.o [ 43%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_infer_child_prog_cfg.cc.o [ 43%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_map_child_prog_entry.cc.o [ 44%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_rewrite_conditional_store.cc.o [ 44%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_rewrite_generic.cc.o [ 45%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_rewrite_store_load.cc.o [ 45%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_sanity_check_and_fix.cc.o [ 46%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_simplify_semantic.cc.o [ 46%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_simplify_syntactic.cc.o [ 46%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_abs_knob.cc.o [ 47%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_rewrite_expr.cc.o [ 47%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_rewrite_ila.cc.o [ 48%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_unroller.cc.o [ 48%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_unroller_smt.cc.o [ 49%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/v_eq_check_crr.cc.o [ 49%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/v_eq_check_bmc.cc.o [ 50%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/v_refinement.cc.o [ 50%] Building CXX object src/CMakeFiles/ilang.dir/mcm/ast_helper.cc.o [ 51%] Building CXX object src/CMakeFiles/ilang.dir/mcm/axiom_helper.cc.o [ 51%] Building CXX object src/CMakeFiles/ilang.dir/mcm/inter_ila_unroller.cc.o [ 52%] Building CXX object src/CMakeFiles/ilang.dir/mcm/memory_model.cc.o [ 52%] Building CXX object src/CMakeFiles/ilang.dir/mcm/sc_manual.cc.o [ 52%] Building CXX object src/CMakeFiles/ilang.dir/mcm/tso_manual.cc.o [ 53%] Building CXX object src/CMakeFiles/ilang.dir/target-json/ila_to_json_serializer.cc.o [ 53%] Building CXX object src/CMakeFiles/ilang.dir/target-json/interface.cc.o [ 54%] Building CXX object src/CMakeFiles/ilang.dir/target-json/json_to_ila_deserializer.cc.o [ 54%] Building CXX object src/CMakeFiles/ilang.dir/target-sc/ilator.cc.o [ 55%] Building CXX object src/CMakeFiles/ilang.dir/target-sc/ilator_dfs.cc.o [ 55%] Building CXX object src/CMakeFiles/ilang.dir/target-smt/smt_switch_itf.cc.o [ 56%] Building CXX object src/CMakeFiles/ilang.dir/target-smt/z3_expr_adapter.cc.o [ 56%] Building CXX object src/CMakeFiles/ilang.dir/util/log.cc.o [ 57%] Building CXX object src/CMakeFiles/ilang.dir/util/str_util.cc.o [ 57%] Building CXX object src/CMakeFiles/ilang.dir/util/fs.cc.o [ 58%] Building CXX object src/CMakeFiles/ilang.dir/util/posix_emu.cc.o [ 58%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_parse.cc.o [ 59%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_analysis.cc.o [ 59%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_const_parser.cc.o [ 59%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_analysis_wrapper.cc.o [ 60%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/vlog_parser_util.cc.o [ 60%] Building CXX object src/CMakeFiles/ilang.dir/verilog-out/verilog_gen.cc.o [ 61%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/cex_extract.cc.o [ 61%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/inv_obj.cc.o [ 62%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/inv_cnf.cc.o [ 62%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/inv_abc_parse.cc.o [ 63%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/grain_inv_parse.cc.o [ 63%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/directive.cc.o [ 64%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/gen_util.cc.o [ 64%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_impl.cc.o [ 65%] 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 [ 66%] 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_pono.cc.o [ 68%] 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.cc.o [ 69%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vlg_mod.cc.o [ 69%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/design_stat.cc.o [ 70%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/smt_ast.cc.o [ 70%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/yosys_smt_parser.cc.o [ 71%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/chc_inv_callback_fn.cc.o [ 71%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/chc_inv_in.cc.o [ 72%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/chc_inv_in_wrapper.cc.o [ 72%] Building CXX object src/CMakeFiles/ilang.dir/rfmap-in/verilog_rfmap.cc.o [ 72%] Building CXX object src/CMakeFiles/ilang.dir/rfmap-in/rfmap_typecheck.cc.o [ 73%] Building CXX object src/CMakeFiles/ilang.dir/rfmap-in/rfexpr_to_smt.cc.o [ 73%] Building CXX object src/CMakeFiles/ilang.dir/rfmap-in/rfexpr_shortcut.cc.o [ 74%] Linking CXX shared library libilang.so [ 74%] Built target ilang Scanning dependencies of target unit_tests [ 75%] 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/ila_sim_test.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 [ 81%] 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 [ 82%] 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 [ 88%] 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 [ 89%] 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 [ 90%] 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 [ 91%] Building CXX object test/CMakeFiles/unit_tests.dir/t_rfexpr_smt_out.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 [ 93%] 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 [ 94%] 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 [ 95%] 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 [ 27%] Built target verilogparser [ 28%] Built target verilogparserexec [ 32%] Built target vexpparser [ 33%] Built target vexpparserexec [ 72%] Built target ilang [ 73%] Built target gtest [ 73%] 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/VCDFile.hpp -- Installing: /usr/local/include/vcdparser/VCDValue.hpp -- Installing: /usr/local/include/vcdparser/VCDFileParser.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/smtlib2genvector.h -- Installing: /usr/local/include/smtparser/smtlib2charbuf.h -- Installing: /usr/local/include/smtparser/smtlib2abstractparser.h -- Installing: /usr/local/include/smtparser/smtlib2termparser.h -- Installing: /usr/local/include/smtparser/smtlib2vector.h -- Installing: /usr/local/include/smtparser/smtlib2abstractparser_private.h -- Installing: /usr/local/include/smtparser/smtlib2hashtable.h -- Installing: /usr/local/include/smtparser/smtlib2parserinterface.h -- Installing: /usr/local/include/smtparser/smtlib2types.h -- Installing: /usr/local/include/smtparser/smtlib2utils.h -- Installing: /usr/local/include/smtparser/smtlib2scanner.h -- Installing: /usr/local/include/smtparser/smtlib2parser.h -- Installing: /usr/local/include/smtparser/smtlib2stream.h -- Installing: /usr/local/include/smtparser/smtlib2yices.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_ast_mem.h -- Installing: /usr/local/include/verilogparser/verilog_ast_common.h -- Installing: /usr/local/include/verilogparser/verilog_preprocessor.h -- Installing: /usr/local/include/verilogparser/verilog_ast_util.h -- Installing: /usr/local/include/verilogparser/verilog_parser.h -- Installing: /usr/local/include/verilogparser/verilog_ast.h -- Installing: /usr/local/lib/cmake/vexpparser/vexpparserConfig.cmake -- Installing: /usr/local/lib/cmake/vexpparser/vexpparserConfigVersion.camke -- Installing: /usr/local/lib/cmake/vexpparser/vexpparserTargets.cmake -- Installing: /usr/local/lib/cmake/vexpparser/vexpparserTargets-debug.cmake -- Installing: /usr/local/lib/libvexpparser.so -- Set runtime path of "/usr/local/lib/libvexpparser.so" to "/usr/local/lib" -- Installing: /usr/local/bin/vexpparserexec -- Set runtime path of "/usr/local/bin/vexpparserexec" to "/usr/local/lib" -- Installing: /usr/local/include/vexpparser -- Installing: /usr/local/include/vexpparser/scanner.h -- Installing: /usr/local/include/vexpparser/vexp.h -- Installing: /usr/local/include/vexpparser/interpreter.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 308 tests from 44 test cases. [----------] Global test environment set-up. [----------] 2 tests from TestVerilogExportDeathTest [ RUN ] TestVerilogExportDeathTest.dup W1017 07:49:38.390245 10183 verilog_gen.cc:249] Redeclaration of x, ignored. W1017 07:49:38.395574 10183 verilog_gen.cc:257] Redeclaration of y, ignored. W1017 07:49:38.400629 10183 verilog_gen.cc:265] Redeclaration of z, ignored. [ OK ] TestVerilogExportDeathTest.dup (17 ms) [ RUN ] TestVerilogExportDeathTest.death [ OK ] TestVerilogExportDeathTest.death (6 ms) [----------] 2 tests from TestVerilogExportDeathTest (23 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 (28 ms) [ RUN ] Testasthub.BinaryOp [ OK ] Testasthub.BinaryOp (13 ms) [ RUN ] Testasthub.BinaryCompare [ OK ] Testasthub.BinaryCompare (11 ms) [ RUN ] Testasthub.Memory [ OK ] Testasthub.Memory (30 ms) [ RUN ] Testasthub.BitManipulation [ OK ] Testasthub.BitManipulation (0 ms) [ RUN ] Testasthub.FunctionUsage [ OK ] Testasthub.FunctionUsage (0 ms) [ RUN ] Testasthub.Others [ OK ] Testasthub.Others (20 ms) [ RUN ] Testasthub.TopEq [ OK ] Testasthub.TopEq (1 ms) [ RUN ] Testasthub.MemSize W1017 07:49:38.523998 10183 ast_hub.cc:319] Overwriting original paramters of mem(8, 8) [ OK ] Testasthub.MemSize (14 ms) [----------] 11 tests from Testasthub (121 ms total) [----------] 14 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 (2 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 W1017 07:49:38.543449 10183 ast_hub.cc:319] Overwriting original paramters of mem(16, 32) [ OK ] TestApi.EntryNum (16 ms) [ RUN ] TestApi.OutStream [ OK ] TestApi.OutStream (1 ms) [ RUN ] TestApi.VerilogGen W1017 07:49:38.557129 10183 verilog_gen.cc:1193] Currently, it does not translate the initial conditions W1017 07:49:38.557453 10183 verilog_gen.cc:1210] Valid condition for ILA: m is unset W1017 07:49:38.559569 10183 verilog_gen.cc:1337] For exporting a single instruction, the initial conditions are not exported, please be aware. W1017 07:49:38.559800 10183 verilog_gen.cc:1358] Valid condition for ILA: m is unset W1017 07:49:38.560887 10183 u_abs_knob.cc:343] Fetch not set for ILA.m W1017 07:49:38.561036 10183 u_abs_knob.cc:355] Valid not set for ILA.m I1017 07:49:38.561743 10183 u_abs_knob.cc:230] Flatten ILA.Load_ila_ W1017 07:49:38.561924 10183 verilog_gen.cc:1193] Currently, it does not translate the initial conditions W1017 07:49:38.562114 10183 verilog_gen.cc:1210] Valid condition for ILA: Load_ila_ is unset W1017 07:49:38.563046 10183 verilog_gen.cc:1337] For exporting a single instruction, the initial conditions are not exported, please be aware. W1017 07:49:38.563266 10183 verilog_gen.cc:1358] Valid condition for ILA: m is unset W1017 07:49:38.564070 10183 u_abs_knob.cc:343] Fetch not set for ILA.m W1017 07:49:38.564200 10183 u_abs_knob.cc:355] Valid not set for ILA.m I1017 07:49:38.565237 10183 u_abs_knob.cc:230] Flatten ILA.Add_ila_ W1017 07:49:38.565387 10183 verilog_gen.cc:1193] Currently, it does not translate the initial conditions W1017 07:49:38.565577 10183 verilog_gen.cc:1210] Valid condition for ILA: Add_ila_ is unset W1017 07:49:38.566931 10183 verilog_gen.cc:1337] For exporting a single instruction, the initial conditions are not exported, please be aware. W1017 07:49:38.567140 10183 verilog_gen.cc:1358] Valid condition for ILA: m is unset W1017 07:49:38.567800 10183 u_abs_knob.cc:343] Fetch not set for ILA.m W1017 07:49:38.567929 10183 u_abs_knob.cc:355] Valid not set for ILA.m I1017 07:49:38.568347 10183 u_abs_knob.cc:230] Flatten ILA.Store_ila_ W1017 07:49:38.568482 10183 verilog_gen.cc:1193] Currently, it does not translate the initial conditions W1017 07:49:38.568672 10183 verilog_gen.cc:1210] Valid condition for ILA: Store_ila_ is unset [ OK ] TestApi.VerilogGen (13 ms) [ RUN ] TestApi.Unroll [ OK ] TestApi.Unroll (60 ms) [ RUN ] TestApi.Log [ OK ] TestApi.Log (1 ms) [ RUN ] TestApi.UnrollPathFreeWithFunc [ OK ] TestApi.UnrollPathFreeWithFunc (19 ms) [ RUN ] TestApi.Portable [ OK ] TestApi.Portable (11 ms) [ RUN ] TestApi.RtlVerify [ OK ] TestApi.RtlVerify (5 ms) [----------] 14 tests from TestApi (133 ms total) [----------] 1 test from TestCase [ RUN ] TestCase.AES_V_C_EQ E1017 07:49:38.793586 10183 v_eq_check_crr.cc:563] Relation depends on uaes_ctr(128) -- not in refinement. [ OK ] TestCase.AES_V_C_EQ (1021 ms) [----------] 1 test from TestCase (1022 ms total) [----------] 9 tests from TestCopyTree [ RUN ] TestCopyTree.AES_V_TOP [ OK ] TestCopyTree.AES_V_TOP (906 ms) [ RUN ] TestCopyTree.AES_V_CHILD [ OK ] TestCopyTree.AES_V_CHILD (24549 ms) [ RUN ] TestCopyTree.AES_V [ OK ] TestCopyTree.AES_V (1107 ms) [ RUN ] TestCopyTree.AES_C_TOP [ OK ] TestCopyTree.AES_C_TOP (1461 ms) [ RUN ] TestCopyTree.AES_C_CHILD [ OK ] TestCopyTree.AES_C_CHILD (29 ms) [ RUN ] TestCopyTree.AES_C [ OK ] TestCopyTree.AES_C (1490 ms) [ RUN ] TestCopyTree.GB_LOW [ OK ] TestCopyTree.GB_LOW (72 ms) [ RUN ] TestCopyTree.RBM [ OK ] TestCopyTree.RBM (132 ms) [ RUN ] TestCopyTree.OC8051 [ OK ] TestCopyTree.OC8051 (10077 ms) [----------] 9 tests from TestCopyTree (39823 ms total) [----------] 3 tests from TestCrr [ RUN ] TestCrr.Refinement [ OK ] TestCrr.Refinement (1 ms) [ RUN ] TestCrr.Relation [ OK ] TestCrr.Relation (2 ms) [ RUN ] TestCrr.CompRefRel [ OK ] TestCrr.CompRefRel (12 ms) [----------] 3 tests from TestCrr (15 ms total) [----------] 4 tests from TestEqCheck [ RUN ] TestEqCheck.FF_Mono [ OK ] TestEqCheck.FF_Mono (431 ms) [ RUN ] TestEqCheck.CommDiag_HF [ OK ] TestEqCheck.CommDiag_HF (23307 ms) [ RUN ] TestEqCheck.IncCommDiag_HF [ OK ] TestEqCheck.IncCommDiag_HF (18632 ms) [ RUN ] TestEqCheck.NewIncCommDiag_HF [ OK ] TestEqCheck.NewIncCommDiag_HF (17325 ms) [----------] 4 tests from TestEqCheck (59695 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 (6 ms) [ RUN ] TestExprConst.BvZ3Expr [ OK ] TestExprConst.BvZ3Expr (4 ms) [ RUN ] TestExprConst.MemZ3Expr [ OK ] TestExprConst.MemZ3Expr (5 ms) [ RUN ] TestExprConst.BoolVal [ OK ] TestExprConst.BoolVal (24 ms) [ RUN ] TestExprConst.BvVal [ OK ] TestExprConst.BvVal (25 ms) [ RUN ] TestExprConst.MemVal [ OK ] TestExprConst.MemVal (23 ms) [ RUN ] TestExprConst.BvConstBitwidth [ OK ] TestExprConst.BvConstBitwidth (26 ms) [ RUN ] TestExprConst.BvConstNumeric [ OK ] TestExprConst.BvConstNumeric (67 ms) [----------] 9 tests from TestExprConst (180 ms total) [----------] 30 tests from TestExprOp [ RUN ] TestExprOp.Load [ OK ] TestExprOp.Load (8 ms) [ RUN ] TestExprOp.Store [ OK ] TestExprOp.Store (8 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 (3 ms) [ RUN ] TestExprOp.Not [ OK ] TestExprOp.Not (4 ms) [ RUN ] TestExprOp.Complement [ OK ] TestExprOp.Complement (3 ms) [ RUN ] TestExprOp.And [ OK ] TestExprOp.And (11 ms) [ RUN ] TestExprOp.Or [ OK ] TestExprOp.Or (10 ms) [ RUN ] TestExprOp.Xor [ OK ] TestExprOp.Xor (12 ms) [ RUN ] TestExprOp.LeftShift [ OK ] TestExprOp.LeftShift (7 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 (7 ms) [ RUN ] TestExprOp.Equal [ OK ] TestExprOp.Equal (15 ms) [ RUN ] TestExprOp.NotEqual [ OK ] TestExprOp.NotEqual (8 ms) [ RUN ] TestExprOp.LessThan [ OK ] TestExprOp.LessThan (7 ms) [ RUN ] TestExprOp.GreaterThan [ OK ] TestExprOp.GreaterThan (7 ms) [ RUN ] TestExprOp.LessThanOrEqual [ OK ] TestExprOp.LessThanOrEqual (7 ms) [ RUN ] TestExprOp.GreaterThanOrEqual [ OK ] TestExprOp.GreaterThanOrEqual (7 ms) [ RUN ] TestExprOp.UnsignedLessThan [ OK ] TestExprOp.UnsignedLessThan (8 ms) [ RUN ] TestExprOp.UnsignedGreaterThan [ OK ] TestExprOp.UnsignedGreaterThan (7 ms) [ RUN ] TestExprOp.UnsignedLessThanOrEqual [ OK ] TestExprOp.UnsignedLessThanOrEqual (7 ms) [ RUN ] TestExprOp.UnsignedGreaterThanOrEqual [ OK ] TestExprOp.UnsignedGreaterThanOrEqual (8 ms) [ RUN ] TestExprOp.Imply [ OK ] TestExprOp.Imply (3 ms) [ RUN ] TestExprOp.Ite [ OK ] TestExprOp.Ite (14 ms) [----------] 30 tests from TestExprOp (229 ms total) [----------] 7 tests from TestExprVar [ RUN ] TestExprVar.Construct [ OK ] TestExprVar.Construct (0 ms) [ RUN ] TestExprVar.BoolZ3Expr [ OK ] TestExprVar.BoolZ3Expr (3 ms) [ RUN ] TestExprVar.BvZ3Expr [ OK ] TestExprVar.BvZ3Expr (6 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 (14 ms total) [----------] 4 tests from TestFunc [ RUN ] TestFunc.Atom [ OK ] TestFunc.Atom (0 ms) [ RUN ] TestFunc.Unary [ OK ] TestFunc.Unary (22 ms) [ RUN ] TestFunc.Binary [ OK ] TestFunc.Binary (21 ms) [ RUN ] TestFunc.Multiple [ OK ] TestFunc.Multiple (0 ms) [----------] 4 tests from TestFunc (43 ms total) [----------] 4 tests from TestHashApi [ RUN ] TestHashApi.level0 [ OK ] TestHashApi.level0 (1 ms) [ RUN ] TestHashApi.level1 [ OK ] TestHashApi.level1 (0 ms) [ RUN ] TestHashApi.level2 [ OK ] TestHashApi.level2 (1 ms) [ RUN ] TestHashApi.ExplicitName [ OK ] TestHashApi.ExplicitName (0 ms) [----------] 4 tests from TestHashApi (2 ms total) [----------] 12 tests from TestInstrLvlAbs [ RUN ] TestInstrLvlAbs.Construct W1017 07:51:19.692418 10183 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 (65 ms) [ RUN ] TestInstrLvlAbs.State [ OK ] TestInstrLvlAbs.State (68 ms) [ RUN ] TestInstrLvlAbs.Init [ OK ] TestInstrLvlAbs.Init (23 ms) [ RUN ] TestInstrLvlAbs.Fetch [ OK ] TestInstrLvlAbs.Fetch (34 ms) [ RUN ] TestInstrLvlAbs.Valid [ OK ] TestInstrLvlAbs.Valid (35 ms) [ RUN ] TestInstrLvlAbs.Instr [ OK ] TestInstrLvlAbs.Instr (10 ms) [ RUN ] TestInstrLvlAbs.Child [ OK ] TestInstrLvlAbs.Child (10 ms) [ RUN ] TestInstrLvlAbs.SeqTran [ OK ] TestInstrLvlAbs.SeqTran (1 ms) [ RUN ] TestInstrLvlAbs.Print [ OK ] TestInstrLvlAbs.Print (0 ms) [----------] 12 tests from TestInstrLvlAbs (248 ms total) [----------] 2 tests from TestIlator [ RUN ] TestIlator.Default I1017 07:51:19.943485 10183 ilator.cc:78] Start generating SystemC simulator of ILA.TEST I1017 07:51:19.954061 10183 ilator.cc:108] Sucessfully generate SystemC simulator at /tmp/RF5BKW [ OK ] TestIlator.Default (14 ms) [ RUN ] TestIlator.Optimize I1017 07:51:19.957120 10183 p_simplify_syntactic.cc:15] Start pass: syntactic simplification I1017 07:51:19.966627 10183 p_rewrite_conditional_store.cc:111] Start pass: rewrite conditional store I1017 07:51:19.968683 10183 ilator.cc:78] Start generating SystemC simulator of ILA.TEST I1017 07:51:19.976554 10183 ilator.cc:108] Sucessfully generate SystemC simulator at /tmp/unCvrb [ OK ] TestIlator.Optimize (22 ms) [----------] 2 tests from TestIlator (36 ms total) [----------] 6 tests from TestInstr [ RUN ] TestInstr.Construct [ OK ] TestInstr.Construct (0 ms) [ RUN ] TestInstr.DecodeSimplified [ OK ] TestInstr.DecodeSimplified (46 ms) [ RUN ] TestInstr.DecodeNonSimplified [ OK ] TestInstr.DecodeNonSimplified (48 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 (95 ms total) [----------] 3 tests from TestInstrSeq [ RUN ] TestInstrSeq.ItEdge [ OK ] TestInstrSeq.ItEdge (0 ms) [ RUN ] TestInstrSeq.ItNode [ OK ] TestInstrSeq.ItNode (22 ms) [ RUN ] TestInstrSeq.AddTran [ OK ] TestInstrSeq.AddTran (0 ms) [----------] 3 tests from TestInstrSeq (22 ms total) [----------] 2 tests from TestKeyVec [ RUN ] TestKeyVec.StringString [ OK ] TestKeyVec.StringString (0 ms) [ RUN ] TestKeyVec.SymbolExpr [ OK ] TestKeyVec.SymbolExpr (0 ms) [----------] 2 tests from TestKeyVec (0 ms total) [----------] 1 test from TestLegacyBmc [ RUN ] TestLegacyBmc.FF I1017 07:51:20.096230 10183 v_eq_check_bmc.cc:158] [ModelGen.IlaOneHotFlat] One-hot Flat ILA: ILA.Flat_1 (0, 1) I1017 07:51:20.096329 10183 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.0 (0, 1) I1017 07:51:20.096868 10183 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.1 (0, 1) I1017 07:51:20.097679 10183 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.2 (0, 1) I1017 07:51:20.098686 10183 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.3 (0, 1) I1017 07:51:20.101258 10183 v_eq_check_bmc.cc:158] [ModelGen.IlaOneHotFlat] One-hot Flat ILA: ILA.Flat_2 (0, 1) I1017 07:51:20.101316 10183 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.0 (0, 1) I1017 07:51:20.101605 10183 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.1 (0, 1) I1017 07:51:20.102099 10183 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.2 (0, 1) I1017 07:51:20.102910 10183 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.3 (0, 1) [ OK ] TestLegacyBmc.FF (11 ms) [----------] 1 test from TestLegacyBmc (11 ms total) [----------] 6 tests from TestLog [ RUN ] TestLog.Level [ OK ] TestLog.Level (1 ms) [ RUN ] TestLog.Verbose [ OK ] TestLog.Verbose (0 ms) [ RUN ] TestLog.Death [ OK ] TestLog.Death (59 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 (60 ms total) [----------] 2 tests from TestMapSet [ RUN ] TestMapSet.IntInt [ OK ] TestMapSet.IntInt (0 ms) [ RUN ] TestMapSet.ExprInstr [ OK ] TestMapSet.ExprInstr (1 ms) [----------] 2 tests from TestMapSet (1 ms total) [----------] 2 tests from TestTraceStep [ RUN ] TestTraceStep.AccessDeduction [ OK ] TestTraceStep.AccessDeduction (0 ms) [ RUN ] TestTraceStep.ConvertZ3 [ OK ] TestTraceStep.ConvertZ3 (5 ms) [----------] 2 tests from TestTraceStep (5 ms total) [----------] 8 tests from TestMcm [ RUN ] TestMcm.SingleILAUnroll [ OK ] TestMcm.SingleILAUnroll (16 ms) [ RUN ] TestMcm.SingleILAUnrollOrderedReverse [ OK ] TestMcm.SingleILAUnrollOrderedReverse (15 ms) [ RUN ] TestMcm.SingleILAUnrollUnorderedReverse [ OK ] TestMcm.SingleILAUnrollUnorderedReverse (23 ms) [ RUN ] TestMcm.SingleIlaMcm [ OK ] TestMcm.SingleIlaMcm (53 ms) [ RUN ] TestMcm.RegBasedMcmSc [ OK ] TestMcm.RegBasedMcmSc (33 ms) [ RUN ] TestMcm.RegBasedMcmTso [ OK ] TestMcm.RegBasedMcmTso (33 ms) [ RUN ] TestMcm.McmSc [ OK ] TestMcm.McmSc (40 ms) [ RUN ] TestMcm.McmTso [ OK ] TestMcm.McmTso (42 ms) [----------] 8 tests from TestMcm (256 ms total) [----------] 1 test from TestMngrabsknob [ RUN ] TestMngrabsknob.FlattenIla [ OK ] TestMngrabsknob.FlattenIla (1 ms) [----------] 1 test from TestMngrabsknob (1 ms total) [----------] 5 tests from TestPass [ RUN ] TestPass.AES [ OK ] TestPass.AES (1443 ms) [ RUN ] TestPass.AES_128 [ OK ] TestPass.AES_128 (41522 ms) [ RUN ] TestPass.AES_C [ OK ] TestPass.AES_C (20384 ms) [ RUN ] TestPass.GB_LOW [ OK ] TestPass.GB_LOW (996 ms) [ RUN ] TestPass.RBM E1017 07:52:24.946463 10183 p_sanity_check_and_fix.cc:90] Fail adding default instruction E1017 07:52:28.684052 10183 p_sanity_check_and_fix.cc:90] Fail adding default instruction [ OK ] TestPass.RBM (3948 ms) [----------] 5 tests from TestPass (68293 ms total) [----------] 9 tests from TestPortable [ RUN ] TestPortable.AES_V_TOP [ OK ] TestPortable.AES_V_TOP (988 ms) [ RUN ] TestPortable.AES_V_CHILD [ OK ] TestPortable.AES_V_CHILD (25782 ms) [ RUN ] TestPortable.AES_V [ OK ] TestPortable.AES_V (1275 ms) [ RUN ] TestPortable.AES_C_TOP [ OK ] TestPortable.AES_C_TOP (1555 ms) [ RUN ] TestPortable.AES_C_CHILD [ OK ] TestPortable.AES_C_CHILD (42 ms) [ RUN ] TestPortable.AES_C [ OK ] TestPortable.AES_C (1574 ms) [ RUN ] TestPortable.GB_LOW [ OK ] TestPortable.GB_LOW (128 ms) [ RUN ] TestPortable.RBM [ OK ] TestPortable.RBM (238 ms) [ RUN ] TestPortable.OC8051 [ OK ] TestPortable.OC8051 (15189 ms) [----------] 9 tests from TestPortable (46771 ms total) [----------] 3 tests from TestSmtParse [ RUN ] TestSmtParse.Type E1017 07:53:15.493072 10183 smt_ast.cc:539] string : 0011(4) cast to width:3 [ OK ] TestSmtParse.Type (1 ms) [ RUN ] TestSmtParse.Parse [ OK ] TestSmtParse.Parse (28 ms) [ RUN ] TestSmtParse.ChcParse [ OK ] TestSmtParse.ChcParse (48 ms) [----------] 3 tests from TestSmtParse (77 ms total) [----------] 41 tests from TestSmtShim [ RUN ] TestSmtShim.OpBoolNot [ OK ] TestSmtShim.OpBoolNot (5 ms) [ RUN ] TestSmtShim.OpBvNeg [ OK ] TestSmtShim.OpBvNeg (4 ms) [ RUN ] TestSmtShim.OpBvComplement [ OK ] TestSmtShim.OpBvComplement (5 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 (4 ms) [ RUN ] TestSmtShim.OpBoolXor [ OK ] TestSmtShim.OpBoolXor (5 ms) [ RUN ] TestSmtShim.OpBvXor [ OK ] TestSmtShim.OpBvXor (5 ms) [ RUN ] TestSmtShim.OpBvShl [ OK ] TestSmtShim.OpBvShl (4 ms) [ RUN ] TestSmtShim.OpBvAshr [ OK ] TestSmtShim.OpBvAshr (4 ms) [ RUN ] TestSmtShim.OpBvLshr [ OK ] TestSmtShim.OpBvLshr (5 ms) [ RUN ] TestSmtShim.OpBvAdd [ OK ] TestSmtShim.OpBvAdd (5 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 (5 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 (5 ms) [ RUN ] TestSmtShim.OpBvSleSgt [ OK ] TestSmtShim.OpBvSleSgt (5 ms) [ RUN ] TestSmtShim.OpBvSltSgteq [ OK ] TestSmtShim.OpBvSltSgteq (5 ms) [ RUN ] TestSmtShim.OpBvUltUge [ OK ] TestSmtShim.OpBvUltUge (5 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 (5 ms) [ RUN ] TestSmtShim.OpBvZext [ OK ] TestSmtShim.OpBvZext (5 ms) [ RUN ] TestSmtShim.OpBvSext [ OK ] TestSmtShim.OpBvSext (4 ms) [ RUN ] TestSmtShim.OpBvRotate [ OK ] TestSmtShim.OpBvRotate (5 ms) [ RUN ] TestSmtShim.OpBoolImply [ OK ] TestSmtShim.OpBoolImply (4 ms) [ RUN ] TestSmtShim.OpBoolIte [ OK ] TestSmtShim.OpBoolIte (5 ms) [ RUN ] TestSmtShim.OpBvIte [ OK ] TestSmtShim.OpBvIte (4 ms) [ RUN ] TestSmtShim.OpApplyFunc [ OK ] TestSmtShim.OpApplyFunc (5 ms) [ RUN ] TestSmtShim.ConstBool [ OK ] TestSmtShim.ConstBool (5 ms) [ RUN ] TestSmtShim.ConstBv [ OK ] TestSmtShim.ConstBv (5 ms) [ RUN ] TestSmtShim.ConstMem [ OK ] TestSmtShim.ConstMem (5 ms) [ RUN ] TestSmtShim.DiscreteUsage [ OK ] TestSmtShim.DiscreteUsage (4 ms) [----------] 41 tests from TestSmtShim (194 ms total) [----------] 1 test from TestSmtTrans [ RUN ] TestSmtTrans.ReplaceAndAddKeep [ OK ] TestSmtTrans.ReplaceAndAddKeep (80 ms) [----------] 1 test from TestSmtTrans (80 ms total) [----------] 1 test from TestRfexpr [ RUN ] TestRfexpr.ToSmt [ OK ] TestRfexpr.ToSmt (2 ms) [----------] 1 test from TestRfexpr (2 ms total) [----------] 3 tests from TestSort [ RUN ] TestSort.Boolean [ OK ] TestSort.Boolean (38 ms) [ RUN ] TestSort.Bitvector [ OK ] TestSort.Bitvector (29 ms) [ RUN ] TestSort.Memory [ OK ] TestSort.Memory (16 ms) [----------] 3 tests from TestSort (83 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 (1 ms) [----------] 5 tests from TestSymbol (1 ms total) [----------] 9 tests from TestUnroll [ RUN ] TestUnroll.InstrSeqFlatSubs [ OK ] TestUnroll.InstrSeqFlatSubs (6 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 (34 ms) [ RUN ] TestUnroll.MonoFlatAssn [ OK ] TestUnroll.MonoFlatAssn (31 ms) [ RUN ] TestUnroll.MonoFlatNone [ OK ] TestUnroll.MonoFlatNone (31 ms) [ RUN ] TestUnroll.MonoSolve [ OK ] TestUnroll.MonoSolve (59 ms) [ RUN ] TestUnroll.PathMonoSolve [ OK ] TestUnroll.PathMonoSolve (39 ms) [----------] 9 tests from TestUnroll (230 ms total) [----------] 1 test from TestUnrollerSmt [ RUN ] TestUnrollerSmt.z3 [ OK ] TestUnrollerSmt.z3 (9 ms) [----------] 1 test from TestUnrollerSmt (9 ms total) [----------] 12 tests from TestUtil [ RUN ] TestUtil.DirAppend [ OK ] TestUtil.DirAppend (1 ms) [ RUN ] TestUtil.CopyDir E1017 07:53:16.169579 10183 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 (11 ms) [ RUN ] TestUtil.ExecShellOSPath CMakeFiles CTestTestfile.cmake Makefile unit_tests cmake_install.cmake extern tmp_portable.json [ OK ] TestUtil.ExecShellOSPath (9 ms) [ RUN ] TestUtil.ExecShellRedirect [ OK ] TestUtil.ExecShellRedirect (2025 ms) [ RUN ] TestUtil.ExecShellRedirectTimeOut [ OK ] TestUtil.ExecShellRedirectTimeOut (3017 ms) [ RUN ] TestUtil.RegularExpr [ OK ] TestUtil.RegularExpr (3 ms) [ RUN ] TestUtil.LongWidth [ OK ] TestUtil.LongWidth (0 ms) [ RUN ] TestUtil.LongWidth_unsigned [ OK ] TestUtil.LongWidth_unsigned (1 ms) [ RUN ] TestUtil.Int2Str [ OK ] TestUtil.Int2Str (0 ms) [ RUN ] TestUtil.StrTrim [ OK ] TestUtil.StrTrim (0 ms) [----------] 12 tests from TestUtil (5067 ms total) [----------] 10 tests from TestVerilogAnalysis [ RUN ] TestVerilogAnalysis.BaseFuncNoError [ OK ] TestVerilogAnalysis.BaseFuncNoError (4 ms) [ RUN ] TestVerilogAnalysis.Init [ OK ] TestVerilogAnalysis.Init (2 ms) [ RUN ] TestVerilogAnalysis.FnameMeta I1017 07:53:21.244760 10183 t_verilog_analysis.cc:67] Location of: m1.ex_wb_rd:/home/semaphore/ILAng/test/unit-data/vpipe/simple_pipe.v:38 I1017 07:53:21.244863 10183 t_verilog_analysis.cc:68] End loc of m1:/home/semaphore/ILAng/test/unit-data/vpipe/simple_pipe.v:220 [ OK ] TestVerilogAnalysis.FnameMeta (4 ms) [ RUN ] TestVerilogAnalysis.Include [ OK ] TestVerilogAnalysis.Include (0 ms) [ RUN ] TestVerilogAnalysis.RangeAnalysisArray [ OK ] TestVerilogAnalysis.RangeAnalysisArray (1 ms) [ RUN ] TestVerilogAnalysis.RangeAnalysis E1017 07:53:21.247671 10183 verilog_const_parser.cc:164] unable to parse: (-1) E1017 07:53:21.247748 10183 verilog_const_parser.cc:164] unable to parse: d E1017 07:53:21.247843 10183 verilog_const_parser.cc:164] unable to parse: (1<<1) E1017 07:53:21.247880 10183 verilog_const_parser.cc:164] unable to parse: (-1) E1017 07:53:21.247906 10183 verilog_const_parser.cc:164] unable to parse: d E1017 07:53:21.247941 10183 verilog_const_parser.cc:164] unable to parse: (1<<1) [ OK ] TestVerilogAnalysis.RangeAnalysis (5 ms) [ RUN ] TestVerilogAnalysis.RangeAnalysisOverwriteWidth W1017 07:53:21.252125 10183 verilog_analysis.cc:860] Overwriting width of signal: m1.i1.sig to 5(w=2 by analysis) W1017 07:53:21.252820 10183 verilog_analysis.cc:860] Overwriting width of signal: m1.in1 to 10(w=4 by analysis) W1017 07:53:21.253593 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W1017 07:53:21.253641 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W1017 07:53:21.253651 10183 verilog_analysis.cc:860] Overwriting width of signal: m1.in1 to 5(w=4 by analysis) W1017 07:53:21.253734 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W1017 07:53:21.253784 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E1017 07:53:21.253798 10183 verilog_const_parser.cc:164] unable to parse: W2 W1017 07:53:21.253841 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E1017 07:53:21.253854 10183 verilog_const_parser.cc:164] unable to parse: W2 W1017 07:53:21.253901 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W1017 07:53:21.253950 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E1017 07:53:21.253963 10183 verilog_const_parser.cc:164] unable to parse: W2 W1017 07:53:21.254014 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E1017 07:53:21.254029 10183 verilog_const_parser.cc:164] unable to parse: W2 W1017 07:53:21.254081 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W1017 07:53:21.254093 10183 verilog_analysis.cc:860] Overwriting width of signal: m1.in1 to 10(w=4 by analysis) W1017 07:53:21.254123 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E1017 07:53:21.254135 10183 verilog_const_parser.cc:164] unable to parse: W2 W1017 07:53:21.254164 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E1017 07:53:21.254175 10183 verilog_const_parser.cc:164] unable to parse: W2 W1017 07:53:21.254204 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W1017 07:53:21.254236 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E1017 07:53:21.254248 10183 verilog_const_parser.cc:164] unable to parse: W2 W1017 07:53:21.254277 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E1017 07:53:21.254288 10183 verilog_const_parser.cc:164] unable to parse: W2 W1017 07:53:21.254324 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E1017 07:53:21.254336 10183 verilog_const_parser.cc:164] unable to parse: W2 W1017 07:53:21.254343 10183 verilog_analysis.cc:860] Overwriting width of signal: m1.in2 to 128(w=1 by analysis) W1017 07:53:21.254387 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W1017 07:53:21.254420 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E1017 07:53:21.254432 10183 verilog_const_parser.cc:164] unable to parse: W2 W1017 07:53:21.254437 10183 verilog_analysis.cc:860] Overwriting width of signal: m1.in2 to 256(w=1 by analysis) W1017 07:53:21.254465 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E1017 07:53:21.254477 10183 verilog_const_parser.cc:164] unable to parse: W2 W1017 07:53:21.254504 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W1017 07:53:21.254537 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E1017 07:53:21.254549 10183 verilog_const_parser.cc:164] unable to parse: W2 W1017 07:53:21.254577 10183 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E1017 07:53:21.254588 10183 verilog_const_parser.cc:164] unable to parse: W2 [ OK ] TestVerilogAnalysis.RangeAnalysisOverwriteWidth (3 ms) [ RUN ] TestVerilogAnalysis.AnalyzeName [ OK ] TestVerilogAnalysis.AnalyzeName (3 ms) [ RUN ] TestVerilogAnalysis.GetTopIo [ OK ] TestVerilogAnalysis.GetTopIo (4 ms) [ RUN ] TestVerilogAnalysis.GetTopIoNewFashion I1017 07:53:21.263839 10183 t_verilog_analysis.cc:561] End loc of m1:/home/semaphore/ILAng/test/unit-data/verilog_sample/t_pipe.v:218 [ OK ] TestVerilogAnalysis.GetTopIoNewFashion (3 ms) [----------] 10 tests from TestVerilogAnalysis (29 ms total) [----------] 12 tests from TestVerilogAnalysisErrHandling [ RUN ] TestVerilogAnalysisErrHandling.NoDoubleInstance [ OK ] TestVerilogAnalysisErrHandling.NoDoubleInstance (2 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 (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.MissingModuleDecl [ OK ] TestVerilogAnalysisErrHandling.MissingModuleDecl (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.ModuleDeclLoop [ OK ] TestVerilogAnalysisErrHandling.ModuleDeclLoop (1 ms) [ RUN ] TestVerilogAnalysisErrHandling.NoSuchModuleAsTop E1017 07:53:21.268518 10183 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 (1 ms) [ RUN ] TestVerilogAnalysisErrHandling.UnknownPortDirection [ OK ] TestVerilogAnalysisErrHandling.UnknownPortDirection (0 ms) [----------] 12 tests from TestVerilogAnalysisErrHandling (6 ms total) [----------] 10 tests from TestVerilogGen [ RUN ] TestVerilogGen.Init [ OK ] TestVerilogGen.Init (0 ms) [ RUN ] TestVerilogGen.VlgCnst [ OK ] TestVerilogGen.VlgCnst (61 ms) [ RUN ] TestVerilogGen.ParseInst [ OK ] TestVerilogGen.ParseInst (17 ms) [ RUN ] TestVerilogGen.CpReg [ OK ] TestVerilogGen.CpReg (10 ms) [ RUN ] TestVerilogGen.SimpleProc [ OK ] TestVerilogGen.SimpleProc (26 ms) [ RUN ] TestVerilogGen.AES_V [ OK ] TestVerilogGen.AES_V (204 ms) [ RUN ] TestVerilogGen.AES_C [ OK ] TestVerilogGen.AES_C (201 ms) [ RUN ] TestVerilogGen.GB_Low [ OK ] TestVerilogGen.GB_Low (68 ms) [ RUN ] TestVerilogGen.RBM [ OK ] TestVerilogGen.RBM (105 ms) [ RUN ] TestVerilogGen.OC [ OK ] TestVerilogGen.OC (32246 ms) [----------] 10 tests from TestVerilogGen (32938 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 (4 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) [----------] 16 tests from TestVlgTargetGen [ RUN ] TestVlgTargetGen.PipeExample [ OK ] TestVlgTargetGen.PipeExample (45 ms) [ RUN ] TestVlgTargetGen.PipeExampleRfmapPost [ OK ] TestVlgTargetGen.PipeExampleRfmapPost (40 ms) [ RUN ] TestVlgTargetGen.PipeStallRfmapShortNoValueHolder [ OK ] TestVlgTargetGen.PipeStallRfmapShortNoValueHolder (64 ms) [ RUN ] TestVlgTargetGen.PipeStallRfmapShort [ OK ] TestVlgTargetGen.PipeStallRfmapShort (35 ms) [ RUN ] TestVlgTargetGen.PipeStallRfmap [ OK ] TestVlgTargetGen.PipeStallRfmap (37 ms) [ RUN ] TestVlgTargetGen.PipeExampleJasperGold [ OK ] TestVlgTargetGen.PipeExampleJasperGold (32 ms) [ RUN ] TestVlgTargetGen.PipeExampleNotEqu [ OK ] TestVlgTargetGen.PipeExampleNotEqu (42 ms) [ RUN ] TestVlgTargetGen.Memory [ OK ] TestVlgTargetGen.Memory (9 ms) [ RUN ] TestVlgTargetGen.MemoryInternal [ OK ] TestVlgTargetGen.MemoryInternal (3 ms) [ RUN ] TestVlgTargetGen.MemoryInternalExternal [ OK ] TestVlgTargetGen.MemoryInternalExternal (15 ms) [ RUN ] TestVlgTargetGen.MemoryInternalExternalEntry6 [ OK ] TestVlgTargetGen.MemoryInternalExternalEntry6 (19 ms) [ RUN ] TestVlgTargetGen.MemoryRead [ OK ] TestVlgTargetGen.MemoryRead (4 ms) [ RUN ] TestVlgTargetGen.MemoryReadAbsReadJasperGold [ OK ] TestVlgTargetGen.MemoryReadAbsReadJasperGold (4 ms) [ RUN ] TestVlgTargetGen.UndetValue [ OK ] TestVlgTargetGen.UndetValue (6 ms) [ RUN ] TestVlgTargetGen.UndetFunc [ OK ] TestVlgTargetGen.UndetFunc (10 ms) [ RUN ] TestVlgTargetGen.ResetAnnotation [ OK ] TestVlgTargetGen.ResetAnnotation (6 ms) [----------] 16 tests from TestVlgTargetGen (371 ms total) [----------] 2 tests from TestZ3Adapter [ RUN ] TestZ3Adapter.Construct [ OK ] TestZ3Adapter.Construct (8 ms) [ RUN ] TestZ3Adapter.Suffix [ OK ] TestZ3Adapter.Suffix (3 ms) [----------] 2 tests from TestZ3Adapter (11 ms total) [----------] 14 tests from TestZ3Expr [ RUN ] TestZ3Expr.XorBool [ OK ] TestZ3Expr.XorBool (4 ms) [ RUN ] TestZ3Expr.XorBv [ OK ] TestZ3Expr.XorBv (4 ms) [ RUN ] TestZ3Expr.NotNot [ OK ] TestZ3Expr.NotNot (4 ms) [ RUN ] TestZ3Expr.NegNeg [ OK ] TestZ3Expr.NegNeg (3 ms) [ RUN ] TestZ3Expr.Div [ OK ] TestZ3Expr.Div (5 ms) [ RUN ] TestZ3Expr.SRem [ OK ] TestZ3Expr.SRem (6 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 (3 ms) [ RUN ] TestZ3Expr.StoreLoad [ OK ] TestZ3Expr.StoreLoad (4 ms) [ RUN ] TestZ3Expr.Extract [ OK ] TestZ3Expr.Extract (4 ms) [ RUN ] TestZ3Expr.Concat [ OK ] TestZ3Expr.Concat (7 ms) [----------] 14 tests from TestZ3Expr (68 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 [==========] 308 tests from 44 test cases ran. (256279 ms total) [ PASSED ] 308 tests. Built target run_test ctest -R ExampleCMakeBuild Test project /home/semaphore/ILAng/build Start 2: ExampleCMakeBuild 1/1 Test #2: ExampleCMakeBuild ................***Failed 0.89 sec 0% tests passed, 1 tests failed out of 1 Total Test time (real) = 0.90 sec The following tests FAILED: 2 - ExampleCMakeBuild (Failed) Errors while running CTest export SEMAPHORE_JOB_RESULT=failed