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_PRIVATE_KEY_PATH Exporting SEMAPHORE_CACHE_USERNAME Exporting SEMAPHORE_CACHE_URL Exporting SEMAPHORE_GIT_URL Exporting SEMAPHORE_GIT_DIR Exporting SEMAPHORE_GIT_SHA Exporting SEMAPHORE_GIT_REPO_SLUG Exporting SEMAPHORE_GIT_REF Exporting SEMAPHORE_GIT_COMMIT_RANGE Exporting SEMAPHORE_GIT_REF_TYPE Exporting SEMAPHORE_GIT_BRANCH Exporting SEMAPHORE_WORKFLOW_ID Exporting SEMAPHORE_WORKFLOW_NUMBER Exporting SEMAPHORE_WORKFLOW_RERUN Exporting SEMAPHORE_WORKFLOW_TRIGGERED_BY_HOOK Exporting SEMAPHORE_WORKFLOW_HOOK_SOURCE Exporting SEMAPHORE_WORKFLOW_TRIGGERED_BY_SCHEDULE Exporting SEMAPHORE_WORKFLOW_TRIGGERED_BY_API Exporting SEMAPHORE_PIPELINE_ARTEFACT_ID Exporting SEMAPHORE_PIPELINE_ID Exporting SEMAPHORE_PIPELINE_RERUN Exporting SEMAPHORE_PIPELINE_PROMOTION Exporting SEMAPHORE_PIPELINE_PROMOTED_BY Exporting SEMAPHORE_PIPELINE_0_ARTEFACT_ID Injecting Files Injecting /home/semaphore/.ssh/semaphore_cache_key with file mode 0600 Injecting .ssh/id_rsa with file mode 0600 Setting up the Semaphore toolbox Running: dowloadPath=$(curl -s -L --retry 5 http://packages.semaphoreci.com/toolbox/linux) && echo $dowloadPath && curl -s -L --retry 5 --connect-timeout 3 $dowloadPath -o /tmp/toolbox.tar && tar -xvf /tmp/toolbox.tar && mv toolbox ~/.toolbox && bash ~/.toolbox/install-toolbox && source ~/.toolbox/toolbox && echo 'source ~/.toolbox/toolbox' >> ~/.bash_profile && if [ -f /etc/init.d/xvfb ]; then /etc/init.d/xvfb start; fi https://github.com/semaphoreci/toolbox/releases/download/v1.10.0/linux.tar toolbox/ toolbox/artifact toolbox/sem-dockerize toolbox/sem-service-check-params toolbox/sem-service toolbox/ssh-session-cli toolbox/spc toolbox/cache toolbox/toolbox toolbox/sem-install toolbox/test-results toolbox/install-package toolbox/libcheckout toolbox/retry toolbox/sem-version toolbox/README.md toolbox/when toolbox/libchecksum toolbox/system-metrics-collector toolbox/install-toolbox 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 2556 Connecting to cache Running: ssh-keyscan -p 29920 -H 195.201.55.114 >> /home/semaphore/.ssh/known_hosts && ssh-add /home/semaphore/.ssh/semaphore_cache_key # 195.201.55.114:29920 SSH-2.0-OpenSSH_7.6p1 Ubuntu-4ubuntu0.3 # 195.201.55.114:29920 SSH-2.0-OpenSSH_7.6p1 Ubuntu-4ubuntu0.3 # 195.201.55.114:29920 SSH-2.0-OpenSSH_7.6p1 Ubuntu-4ubuntu0.3 Identity added: /home/semaphore/.ssh/semaphore_cache_key (/home/semaphore/.ssh/semaphore_cache_key) checkout Performing shallow clone with depth: 50 HEAD is now at 14ff87e Automatically encoded tiniest of fragments! sudo apt-get update 0% [Working] Hit:1 http://mirror.hetzner.de/ubuntu/packages bionic InRelease 0% [Connecting to de.archive.ubuntu.com (141.30.62.24)] [Connecting to mirror.i Get:2 http://mirror.hetzner.de/ubuntu/packages bionic-updates InRelease [88.7 kB] Get:3 http://mirror.hetzner.de/ubuntu/packages bionic-backports InRelease [74.6 kB] Get:4 http://mirror.hetzner.de/ubuntu/packages bionic-security InRelease [88.7 kB] Hit:5 http://mirror.init7.net/ubuntu bionic InRelease Get:6 http://dl.google.com/linux/chrome/deb stable InRelease [1,811 B] 0% [Connecting to de.archive.ubuntu.com (141.30.62.24)] [Waiting for headers] [ 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Waiti Get:7 http://mirror.init7.net/ubuntu bionic-updates InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [7 InRelease 14.2 kB/88.7 kB Hit:8 http://ppa.launchpad.net/ansible/ansible/ubuntu trusty InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [7 InRelease 14.2 kB/88.7 kB Get:9 https://baltocdn.com/helm/stable/debian all InRelease [7,651 B] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [7 InRelease 14.2 kB/88.7 kB 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [7 InRelease 14.2 kB/88.7 kB Hit:10 http://de.archive.ubuntu.com/ubuntu bionic InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [7 InRelease 14.2 kB/88.7 kB Hit:11 https://dl.yarnpkg.com/debian stable InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [7 InRelease 43.2 kB/88.7 kB Get:12 https://download.docker.com/linux/ubuntu bionic InRelease [64.4 kB] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [7 InRelease 43.2 kB/88.7 kB Hit:13 https://storage.googleapis.com/bazel-apt stable InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [7 InRelease 43.2 kB/88.7 kB 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [7 InRelease 43.2 kB/88.7 kB 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Conne Get:14 http://de.archive.ubuntu.com/ubuntu bionic-security InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [14 InRelease 12.1 kB/88.7 kB 14%] [Waiting for he Get:15 http://mirror.init7.net/ubuntu bionic-backports InRelease [74.6 kB] 0% [1 InRelease gpgv 242 kB] [14 InRelease 13.4 kB/88.7 kB 15%] [Waiting for he Hit:16 http://ppa.launchpad.net/git-core/ppa/ubuntu bionic InRelease 0% [1 InRelease gpgv 242 kB] [14 InRelease 13.4 kB/88.7 kB 15%] [Waiting for he Get:17 http://mirror.init7.net/ubuntu bionic-security InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [14 InRelease 13.4 kB/88.7 kB 15%] [17 InRelease 3 0% [1 InRelease gpgv 242 kB] [14 InRelease 13.4 kB/88.7 kB 15%] [Connecting to 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Conne Get:18 http://packages.cloud.google.com/apt cloud-sdk-bionic InRelease [6,780 B] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Conne 0% [Waiting for headers] [Waiting for headers] [Waiting for headers] [Connectin Hit:19 http://ppa.launchpad.net/cwchien/gradle/ubuntu bionic InRelease 0% [Waiting for headers] [Connecting to ppa.launchpad.net (91.189.95.85)] [Wait 0% [2 InRelease gpgv 88.7 kB] [Waiting for headers] [Connecting to ppa.launchpa Hit:20 https://packages.microsoft.com/repos/azure-cli bionic InRelease 0% [2 InRelease gpgv 88.7 kB] [Waiting for headers] [Connecting to ppa.launchpa Get:21 http://de.archive.ubuntu.com/ubuntu bionic-updates InRelease [88.7 kB] 0% [2 InRelease gpgv 88.7 kB] [21 InRelease 25.8 kB/88.7 kB 29%] [Connecting to 0% [2 InRelease gpgv 88.7 kB] [Connecting to ppa.launchpad.net (91.189.95.85)] Hit:22 http://ppa.launchpad.net/pypy/ppa/ubuntu bionic InRelease 0% [2 InRelease gpgv 88.7 kB] [Connecting to ppa.launchpad.net (91.189.95.85)] 0% [Waiting for headers] [Connected to packagecloud.io (13.57.162.155)] 0% [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Waiting for headers] [Conn Get:23 http://mirror.hetzner.de/ubuntu/packages bionic-updates/main amd64 Packages [2,130 kB] Hit:24 http://ppa.launchpad.net/deadsnakes/ppa/ubuntu bionic InRelease 0% [3 InRelease gpgv 74.6 kB] [23 Packages 740 kB/2,130 kB 35%] [Connected to p 0% [3 InRelease gpgv 74.6 kB] [Connected to packagecloud.io (13.57.162.155)] 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:25 http://mirror.hetzner.de/ubuntu/packages bionic-updates/main i386 Packages [1,311 kB] 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [25 Packages 33.1 kB/1,31 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Connected to packageclou Get:26 http://mirror.hetzner.de/ubuntu/packages bionic-updates/main Translation-en [422 kB] 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [26 Translation-en 0 B/42 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Connected to packageclou Get:27 http://mirror.hetzner.de/ubuntu/packages bionic-updates/restricted amd64 Packages [389 kB] 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [27 Packages 0 B/389 kB 0 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Connected to packageclou Get:28 http://mirror.hetzner.de/ubuntu/packages bionic-updates/restricted Translation-en [52.8 kB] 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [28 Translation-en 0 B/52 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Connected to packageclou Get:29 http://mirror.hetzner.de/ubuntu/packages bionic-updates/universe i386 Packages [1,568 kB] 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [29 Packages 0 B/1,568 kB 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Connected to packageclou Get:30 http://mirror.hetzner.de/ubuntu/packages bionic-updates/universe amd64 Packages [1,738 kB] 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [30 Packages 0 B/1,738 kB 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Connected to packageclou 0% [23 Packages store 0 B] [Connected to packagecloud.io (13.57.162.155)] 0% [23 Packages store 0 B] [4 InRelease gpgv 88.7 kB] [Connected to packageclou 0% [23 Packages store 0 B] [Connected to packagecloud.io (13.57.162.155)] 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [Waiting for headers] [Con Get:31 http://mirror.hetzner.de/ubuntu/packages bionic-security/main amd64 Packages [1,783 kB] 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [31 Packages 27.3 kB/1,783 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [Connected to packagecloud Get:32 http://mirror.hetzner.de/ubuntu/packages bionic-security/main i386 Packages [1,006 kB] 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [32 Packages 6,988 B/1,006 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [Connected to packagecloud Get:33 http://mirror.hetzner.de/ubuntu/packages bionic-security/main Translation-en [329 kB] 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [33 Translation-en 0 B/329 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [Connected to packagecloud Get:34 http://mirror.hetzner.de/ubuntu/packages bionic-security/universe amd64 Packages [1,131 kB] 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [34 Packages 0 B/1,131 kB 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [Connected to packagecloud Get:35 http://mirror.hetzner.de/ubuntu/packages bionic-security/universe i386 Packages [983 kB] 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [35 Packages 0 B/983 kB 0% 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [Connected to packagecloud 0% [5 InRelease gpgv 242 kB] [Connected to packagecloud.io (13.57.162.155)] 0% [25 Packages store 0 B] [5 InRelease gpgv 242 kB] [Connected to packagecloud 0% [25 Packages store 0 B] [Waiting for headers] 0% [25 Packages store 0 B] [6 InRelease gpgv 1,811 B] [Waiting for headers] 0% [25 Packages store 0 B] [Waiting for headers] 0% [25 Packages store 0 B] [8 InRelease gpgv 16.0 kB] [Waiting for headers] [Wa Get:36 http://dl.google.com/linux/chrome/deb stable/main amd64 Packages [1,100 B] 0% [25 Packages store 0 B] [8 InRelease gpgv 16.0 kB] [Waiting for headers] 0% [8 InRelease gpgv 16.0 kB] [Waiting for headers] 0% [26 Translation-en store 0 B] [8 InRelease gpgv 16.0 kB] [Waiting for header 0% [26 Translation-en store 0 B] [Waiting for headers] 0% [26 Translation-en store 0 B] [9 InRelease gpgv 7,651 B] [Waiting for header 0% [26 Translation-en store 0 B] [9 InRelease gpgv 7,651 B] 0% [Connected to d28dx6y1hfq314.cloudfront.net (143.204.101.67)] [9 InRelease g 0% [Connected to d28dx6y1hfq314.cloudfront.net (143.204.101.67)] [27 Packages s 0% [Waiting for headers] [27 Packages store 0 B] 0% [Waiting for headers] [27 Packages store 0 B] [10 InRelease gpgv 242 kB] Get:38 https://baltocdn.com/helm/stable/debian all/main amd64 Packages [2,144 B] 0% [Waiting for headers] [27 Packages store 0 B] [10 InRelease gpgv 242 kB] Get:39 https://baltocdn.com/helm/stable/debian all/main i386 Packages [2,136 B] 0% [Waiting for headers] [27 Packages store 0 B] [10 InRelease gpgv 242 kB] [39 0% [Waiting for headers] [27 Packages store 0 B] [10 InRelease gpgv 242 kB] 0% [Waiting for headers] [10 InRelease gpgv 242 kB] 0% [Waiting for headers] [28 Translation-en store 0 B] [10 InRelease gpgv 242 k 0% [Waiting for headers] [10 InRelease gpgv 242 kB] 0% [Waiting for headers] [29 Packages store 0 B] [10 InRelease gpgv 242 kB] 0% [Waiting for headers] [29 Packages store 0 B] 0% [Waiting for headers] [29 Packages store 0 B] [11 InRelease gpgv 17.1 kB] 0% [Waiting for headers] [29 Packages store 0 B] 0% [Waiting for headers] [29 Packages store 0 B] [13 InRelease gpgv 2,256 B] 0% [Waiting for headers] [29 Packages store 0 B] 0% [Waiting for headers] [29 Packages store 0 B] [12 InRelease gpgv 64.4 kB] 0% [Waiting for headers] [12 InRelease gpgv 64.4 kB] 0% [Waiting for headers] [30 Packages store 0 B] [12 InRelease gpgv 64.4 kB] 0% [Waiting for headers] [30 Packages store 0 B] 0% [Waiting for headers] [30 Packages store 0 B] [7 InRelease gpgv 88.7 kB] 0% [Waiting for headers] [30 Packages store 0 B] 0% [Waiting for headers] [30 Packages store 0 B] [15 InRelease gpgv 74.6 kB] Get:40 http://mirror.init7.net/ubuntu bionic-updates/main amd64 Packages [2,130 kB] 0% [Waiting for headers] [30 Packages store 0 B] [15 InRelease gpgv 74.6 kB] [4 0% [Waiting for headers] [30 Packages store 0 B] [40 Packages 470 kB/2,130 kB 2 0% [Waiting for headers] [30 Packages store 0 B] [16 InRelease gpgv 20.8 kB] [4 0% [Waiting for headers] [30 Packages store 0 B] [16 InRelease gpgv 20.8 kB] Get:41 http://mirror.init7.net/ubuntu bionic-updates/main i386 Packages [1,311 kB] 0% [Waiting for headers] [30 Packages store 0 B] [16 InRelease gpgv 20.8 kB] [4 0% [Waiting for headers] [16 InRelease gpgv 20.8 kB] [41 Packages 1,147 kB/1,31 0% [Waiting for headers] [31 Packages store 0 B] [16 InRelease gpgv 20.8 kB] [4 0% [Waiting for headers] [31 Packages store 0 B] [16 InRelease gpgv 20.8 kB] [W Get:42 http://mirror.init7.net/ubuntu bionic-updates/main Translation-en [422 kB] 0% [Waiting for headers] [31 Packages store 0 B] [16 InRelease gpgv 20.8 kB] [4 0% [Waiting for headers] [31 Packages store 0 B] [16 InRelease gpgv 20.8 kB] Get:43 http://mirror.init7.net/ubuntu bionic-updates/restricted amd64 Packages [389 kB] 0% [Waiting for headers] [31 Packages store 0 B] [16 InRelease gpgv 20.8 kB] [4 0% [Waiting for headers] [31 Packages store 0 B] [16 InRelease gpgv 20.8 kB] [W Get:44 http://mirror.init7.net/ubuntu bionic-updates/restricted Translation-en [52.8 kB] 0% [Waiting for headers] [31 Packages store 0 B] [16 InRelease gpgv 20.8 kB] [4 0% [Waiting for headers] [31 Packages store 0 B] [16 InRelease gpgv 20.8 kB] [W Get:45 http://mirror.init7.net/ubuntu bionic-updates/universe amd64 Packages [1,738 kB] 0% [Waiting for headers] [31 Packages store 0 B] [16 InRelease gpgv 20.8 kB] [4 0% [Waiting for headers] [31 Packages store 0 B] [16 InRelease gpgv 20.8 kB] [W Get:46 http://mirror.init7.net/ubuntu bionic-updates/universe i386 Packages [1,568 kB] 0% [Waiting for headers] [31 Packages store 0 B] [16 InRelease gpgv 20.8 kB] [4 0% [Waiting for headers] [31 Packages store 0 B] [16 InRelease gpgv 20.8 kB] 0% [Waiting for headers] [31 Packages store 0 B] 0% [Waiting for headers] [31 Packages store 0 B] [17 InRelease gpgv 88.7 kB] 0% [Waiting for headers] [31 Packages store 0 B] 0% [Waiting for headers] [31 Packages store 0 B] [14 InRelease gpgv 88.7 kB] Hit:37 https://packagecloud.io/github/git-lfs/ubuntu bionic InRelease 0% [31 Packages store 0 B] [14 InRelease gpgv 88.7 kB] [Waiting for headers] Get:47 http://mirror.init7.net/ubuntu bionic-security/main i386 Packages [1,006 kB] 0% [31 Packages store 0 B] [14 InRelease gpgv 88.7 kB] [47 Packages 31.6 kB/1,0 0% [31 Packages store 0 B] [14 InRelease gpgv 88.7 kB] 0% [31 Packages store 0 B] [Waiting for headers] 0% [31 Packages store 0 B] [18 InRelease gpgv 6,780 B] [Waiting for headers] [W 0% [18 InRelease gpgv 6,780 B] [Waiting for headers] [Waiting for headers] 0% [32 Packages store 0 B] [18 InRelease gpgv 6,780 B] [Waiting for headers] [W Get:48 http://de.archive.ubuntu.com/ubuntu bionic-security/main amd64 Packages [1,783 kB] 0% [32 Packages store 0 B] [18 InRelease gpgv 6,780 B] [48 Packages 12.1 kB/1,7 0% [32 Packages store 0 B] [48 Packages 90.1 kB/1,783 kB 5%] [Waiting for heade 0% [32 Packages store 0 B] [19 InRelease gpgv 15.4 kB] [48 Packages 90.1 kB/1,7 Get:49 http://mirror.init7.net/ubuntu bionic-security/main amd64 Packages [1,783 kB] 0% [32 Packages store 0 B] [19 InRelease gpgv 15.4 kB] [48 Packages 90.1 kB/1,7 0% [32 Packages store 0 B] [19 InRelease gpgv 15.4 kB] [48 Packages 194 kB/1,78 Get:50 http://mirror.init7.net/ubuntu bionic-security/main Translation-en [329 kB] 0% [32 Packages store 0 B] [19 InRelease gpgv 15.4 kB] [48 Packages 194 kB/1,78 Get:51 http://packages.cloud.google.com/apt cloud-sdk-bionic/main amd64 Packages [193 kB] 0% [32 Packages store 0 B] [19 InRelease gpgv 15.4 kB] [48 Packages 194 kB/1,78 0% [32 Packages store 0 B] [19 InRelease gpgv 15.4 kB] [48 Packages 194 kB/1,78 Get:52 http://mirror.init7.net/ubuntu bionic-security/universe amd64 Packages [1,131 kB] 0% [32 Packages store 0 B] [19 InRelease gpgv 15.4 kB] [48 Packages 194 kB/1,78 0% [32 Packages store 0 B] [19 InRelease gpgv 15.4 kB] [48 Packages 399 kB/1,78 0% [32 Packages store 0 B] [19 InRelease gpgv 15.4 kB] [48 Packages 399 kB/1,78 Get:53 http://mirror.init7.net/ubuntu bionic-security/universe i386 Packages [983 kB] 0% [32 Packages store 0 B] [19 InRelease gpgv 15.4 kB] [48 Packages 399 kB/1,78 0% [32 Packages store 0 B] [19 InRelease gpgv 15.4 kB] [48 Packages 812 kB/1,78 Get:54 http://packages.cloud.google.com/apt cloud-sdk-bionic/main i386 Packages [162 kB] 0% [32 Packages store 0 B] [19 InRelease gpgv 15.4 kB] [48 Packages 812 kB/1,78 0% [32 Packages store 0 B] [19 InRelease gpgv 15.4 kB] [48 Packages 812 kB/1,78 0% [19 InRelease gpgv 15.4 kB] [48 Packages 812 kB/1,783 kB 46%] 0% [33 Translation-en store 0 B] [19 InRelease gpgv 15.4 kB] [48 Packages 812 k 0% [33 Translation-en store 0 B] [19 InRelease gpgv 15.4 kB] 0% [33 Translation-en store 0 B] [Waiting for headers] 0% [33 Translation-en store 0 B] [20 InRelease gpgv 3,965 B] [Waiting for heade Get:55 http://de.archive.ubuntu.com/ubuntu bionic-security/main i386 Packages [1,006 kB] 0% [33 Translation-en store 0 B] [20 InRelease gpgv 3,965 B] [55 Packages 9,343 0% [20 InRelease gpgv 3,965 B] [55 Packages 830 kB/1,006 kB 83%] 0% [34 Packages store 0 B] [20 InRelease gpgv 3,965 B] [55 Packages 830 kB/1,00 0% [34 Packages store 0 B] [55 Packages 830 kB/1,006 kB 83%] 0% [34 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [55 Packages 830 kB/1,00 0% [34 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [Waiting for headers] Get:56 http://de.archive.ubuntu.com/ubuntu bionic-security/main Translation-en [329 kB] 0% [34 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [56 Translation-en 46.2 0% [34 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [Waiting for headers] Get:57 http://de.archive.ubuntu.com/ubuntu bionic-security/universe amd64 Packages [1,131 kB] 0% [34 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [57 Packages 16.4 kB/1,1 0% [34 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [Waiting for headers] Get:58 http://de.archive.ubuntu.com/ubuntu bionic-security/universe i386 Packages [983 kB] 0% [34 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [58 Packages 27.9 kB/983 0% [34 Packages store 0 B] [21 InRelease gpgv 88.7 kB] 0% [34 Packages store 0 B] 0% [34 Packages store 0 B] [22 InRelease gpgv 15.4 kB] Get:59 http://de.archive.ubuntu.com/ubuntu bionic-updates/main amd64 Packages [2,131 kB] 0% [34 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [59 Packages 21.7 kB/2,1 0% [22 InRelease gpgv 15.4 kB] [59 Packages 1,141 kB/2,131 kB 54%] 0% [35 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [59 Packages 1,207 kB/2, 0% [35 Packages store 0 B] [59 Packages 1,273 kB/2,131 kB 60%] 0% [35 Packages store 0 B] [24 InRelease gpgv 15.9 kB] [59 Packages 1,283 kB/2, 0% [35 Packages store 0 B] [24 InRelease gpgv 15.9 kB] Get:60 http://de.archive.ubuntu.com/ubuntu bionic-updates/main i386 Packages [1,311 kB] 0% [35 Packages store 0 B] [24 InRelease gpgv 15.9 kB] [60 Packages 16.2 kB/1,3 0% [35 Packages store 0 B] [24 InRelease gpgv 15.9 kB] [Waiting for headers] Get:61 http://de.archive.ubuntu.com/ubuntu bionic-updates/main Translation-en [422 kB] 0% [35 Packages store 0 B] [24 InRelease gpgv 15.9 kB] [61 Translation-en 58.7 0% [35 Packages store 0 B] [24 InRelease gpgv 15.9 kB] [Waiting for headers] Get:62 http://de.archive.ubuntu.com/ubuntu bionic-updates/restricted amd64 Packages [389 kB] 0% [35 Packages store 0 B] [24 InRelease gpgv 15.9 kB] [62 Packages 24.6 kB/389 0% [35 Packages store 0 B] [24 InRelease gpgv 15.9 kB] [Waiting for headers] Get:63 http://de.archive.ubuntu.com/ubuntu bionic-updates/restricted Translation-en [52.8 kB] 0% [35 Packages store 0 B] [24 InRelease gpgv 15.9 kB] [63 Translation-en 34.0 0% [35 Packages store 0 B] [24 InRelease gpgv 15.9 kB] [Waiting for headers] Get:64 http://de.archive.ubuntu.com/ubuntu bionic-updates/universe i386 Packages [1,568 kB] 0% [35 Packages store 0 B] [24 InRelease gpgv 15.9 kB] [64 Packages 46.6 kB/1,5 0% [35 Packages store 0 B] [64 Packages 1,558 kB/1,568 kB 99%] 0% [35 Packages store 0 B] [37 InRelease gpgv 23.2 kB] [64 Packages 1,558 kB/1, 0% [37 InRelease gpgv 23.2 kB] [64 Packages 1,558 kB/1,568 kB 99%] 0% [36 Packages store 0 B] [37 InRelease gpgv 23.2 kB] [64 Packages 1,558 kB/1, 0% [37 InRelease gpgv 23.2 kB] [64 Packages 1,558 kB/1,568 kB 99%] 0% [38 Packages store 0 B] [37 InRelease gpgv 23.2 kB] [64 Packages 1,558 kB/1, 0% [37 InRelease gpgv 23.2 kB] [64 Packages 1,558 kB/1,568 kB 99%] 0% [39 Packages store 0 B] [37 InRelease gpgv 23.2 kB] [64 Packages 1,558 kB/1, 0% [37 InRelease gpgv 23.2 kB] [64 Packages 1,558 kB/1,568 kB 99%] 0% [40 Packages store 0 B] [37 InRelease gpgv 23.2 kB] [64 Packages 1,558 kB/1, 0% [40 Packages store 0 B] [37 InRelease gpgv 23.2 kB] Get:65 http://de.archive.ubuntu.com/ubuntu bionic-updates/universe amd64 Packages [1,738 kB] 0% [40 Packages store 0 B] [37 InRelease gpgv 23.2 kB] [65 Packages 19.9 kB/1,7 0% [40 Packages store 0 B] [37 InRelease gpgv 23.2 kB] 99% [40 Packages store 0 B] 99% [Working] 99% [41 Packages store 0 B] 99% [Working] 99% [42 Translation-en store 0 B] 99% [Working] 99% [43 Packages store 0 B] 99% [Working] 99% [44 Translation-en store 0 B] 99% [Working] 99% [45 Packages store 0 B] 99% [Working] 99% [46 Packages store 0 B] 99% [Working] 99% [47 Packages store 0 B] 99% [Working] 99% [49 Packages store 0 B] 99% [Working] 99% [50 Translation-en store 0 B] 99% [Working] 99% [51 Packages store 0 B] 99% [Working] 99% [52 Packages store 0 B] 99% [Working] 99% [53 Packages store 0 B] 99% [Working] 99% [54 Packages store 0 B] 100% [Working] 100% [48 Packages store 0 B] 100% [Working] 100% [55 Packages store 0 B] 100% [Working] 100% [56 Translation-en store 0 B] 100% [Working] 100% [57 Packages store 0 B] 100% [Working] 100% [58 Packages store 0 B] 100% [Working] 100% [59 Packages store 0 B] 100% [Working] 100% [60 Packages store 0 B] 100% [Working] 100% [61 Translation-en store 0 B] 100% [Working] 100% [62 Packages store 0 B] 100% [Working] 100% [63 Translation-en store 0 B] 100% [Working] 100% [64 Packages store 0 B] 100% [Working] 100% [65 Packages store 0 B] 100% [Working] Fetched 39.7 MB in 5s (7,383 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... 9% Reading package lists... 9% Reading package lists... 14% Reading package lists... 16% Reading package lists... 16% 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... 20% Reading package lists... 20% Reading package lists... 21% Reading package lists... 21% Reading package lists... 22% Reading package lists... 22% Reading package lists... 22% Reading package lists... 22% Reading package lists... 22% Reading package lists... 22% Reading package lists... 22% Reading package lists... 22% Reading package lists... 29% Reading package lists... 29% Reading package lists... 36% Reading package lists... 36% 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... 40% Reading package lists... 40% Reading package lists... 41% Reading package lists... 41% Reading package lists... 42% Reading package lists... 42% Reading package lists... 43% Reading package lists... 43% Reading package lists... 43% Reading package lists... 43% Reading package lists... 43% Reading package lists... 43% 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... 45% Reading package lists... 47% 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... 49% Reading package lists... 49% Reading package lists... 51% Reading package lists... 51% Reading package lists... 52% Reading package lists... 52% Reading package lists... 53% Reading package lists... 53% Reading package lists... 53% Reading package lists... 53% Reading package lists... 53% Reading package lists... 53% Reading package lists... 53% Reading package lists... 53% 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... 57% Reading package lists... 57% Reading package lists... 57% Reading package lists... 57% 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... 67% Reading package lists... 67% 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... 82% Reading package lists... 82% Reading package lists... 85% Reading package lists... 85% Reading package lists... 86% Reading package lists... 86% Reading package lists... 86% Reading package lists... 86% Reading package lists... 86% Reading package lists... 86% 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... 90% Reading package lists... 90% 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... 91% 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... 93% Reading package lists... 93% Reading package lists... 95% Reading package lists... 95% 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... 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 9 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% [Waiting for headers] Get:3 http://de.archive.ubuntu.com/ubuntu bionic/main amd64 libfl-dev amd64 2.6.4-6 [6,320 B] 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] 14% [4 libz3-4 190 kB/5,183 kB 4%] 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 64.2 kB/64.2 kB 100%] 58% [Working] Get:6 http://de.archive.ubuntu.com/ubuntu bionic/universe amd64 z3 amd64 4.4.1-0.3build4 [5,204 kB] 58% [6 z3 53.3 kB/5,204 kB 1%] 100% [Working] Fetched 10.8 MB in 0s (29.7 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 ... 247781 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.32.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: -- 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 libglogd.so [ 6%] Linking CXX shared library libfmtd.so [ 6%] Built target glog [ 7%] Generating VCDParser.cpp, VCDParser.hpp /home/semaphore/ILAng/extern/vcd-parser/src/VCDParser.ypp: warning: 3 shift/reduce conflicts [-Wconflicts-sr] [ 7%] Built target fmt [ 7%] Generating smtlib2flexlexer.c, smtlib2flexlexer.h [ 7%] Generating smtlib2bisonparser.c, smtlib2bisonparser.h /home/semaphore/ILAng/extern/smt-parser/src/smtlib2bisonparser.y:70.1-12: warning: deprecated directive, use ‘%pure-parser’ [-Wdeprecated] %pure_parser ^^^^^^^^^^^^ /home/semaphore/ILAng/extern/smt-parser/src/smtlib2bisonparser.y:72.1-13: warning: deprecated directive, use ‘%name-prefix’ [-Wdeprecated] %name-prefix="smtlib2_parser_" ^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/smt-parser/src/smtlib2bisonparser.y:96.1-12: warning: deprecated directive, use ‘%token-table’ [-Wdeprecated] %token_table ^^^^^^^^^^^^ [ 7%] Generating VCDScanner.cpp, VCDScanner.hpp Scanning dependencies of target vcdparser [ 7%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDScanner.cpp.o Scanning dependencies of target smtparser [ 8%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2flexlexer.c.o [ 8%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2bisonparser.c.o [ 9%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2hashtable.c.o [ 9%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2abstractparser.c.o [ 10%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2termparser.c.o [ 10%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2utils.c.o [ 11%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2vector.c.o [ 11%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2charbuf.c.o [ 11%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDParser.cpp.o [ 12%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2stream.c.o [ 12%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2scanner.c.o [ 13%] Linking C shared library libsmtparser.so [ 13%] Built target smtparser [ 14%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDFile.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] [ 14%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDFileParser.cpp.o /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 [ 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%] Linking CXX shared library libvcdparser.so 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%] Built target vcdparser [ 17%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_parser.tab.c.o Scanning dependencies of target gtest [ 17%] Building CXX object test/extern/googletest/googlemock/gtest/CMakeFiles/gtest.dir/src/gtest-all.cc.o [ 18%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast.c.o [ 18%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast_mem.c.o [ 19%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast_util.c.o [ 19%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast_common.c.o [ 20%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_parser_wrapper.c.o [ 20%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_preprocessor.c.o [ 21%] Linking C shared library libverilogparser.so [ 21%] Built target verilogparser Scanning dependencies of target signalhandler_unittest [ 21%] Building CXX object extern/glog/CMakeFiles/signalhandler_unittest.dir/src/signalhandler_unittest.cc.o [ 22%] Linking CXX executable signalhandler_unittest [ 22%] Built target signalhandler_unittest Scanning dependencies of target stl_logging_unittest [ 22%] Building CXX object extern/glog/CMakeFiles/stl_logging_unittest.dir/src/stl_logging_unittest.cc.o [ 23%] Linking CXX executable stl_logging_unittest [ 23%] Built target stl_logging_unittest Scanning dependencies of target stacktrace_unittest [ 23%] Building CXX object extern/glog/CMakeFiles/stacktrace_unittest.dir/src/stacktrace_unittest.cc.o [ 24%] Linking CXX executable stacktrace_unittest [ 24%] Built target stacktrace_unittest Scanning dependencies of target demangle_unittest [ 24%] Building CXX object extern/glog/CMakeFiles/demangle_unittest.dir/src/demangle_unittest.cc.o [ 25%] Linking CXX shared library libgtestd.so [ 25%] Built target gtest Scanning dependencies of target logging_unittest [ 25%] Building CXX object extern/glog/CMakeFiles/logging_unittest.dir/src/logging_unittest.cc.o [ 25%] Linking CXX executable demangle_unittest [ 25%] Built target demangle_unittest Scanning dependencies of target symbolize_unittest [ 25%] Building CXX object extern/glog/CMakeFiles/symbolize_unittest.dir/src/symbolize_unittest.cc.o [ 26%] Linking CXX executable symbolize_unittest [ 26%] Built target symbolize_unittest Scanning dependencies of target utilities_unittest [ 26%] Building CXX object extern/glog/CMakeFiles/utilities_unittest.dir/src/utilities_unittest.cc.o [ 27%] Linking CXX executable logging_unittest [ 27%] Built target logging_unittest Scanning dependencies of target vcdparserexec [ 28%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparserexec.dir/main.cpp.o [ 29%] Linking CXX executable utilities_unittest [ 29%] Built target utilities_unittest Scanning dependencies of target verilogparserexec [ 29%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparserexec.dir/main.c.o [ 30%] Linking C executable verilogparserexec [ 30%] Built target verilogparserexec Scanning dependencies of target ilang [ 31%] Building CXX object src/CMakeFiles/ilang.dir/ilang++.cc.o [ 31%] Linking CXX executable vcdparserexec [ 31%] Built target vcdparserexec [ 31%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr.cc.o Scanning dependencies of target gmock [ 31%] Building CXX object test/extern/googletest/googlemock/CMakeFiles/gmock.dir/src/gmock-all.cc.o [ 32%] Linking CXX shared library libgmockd.so [ 32%] Built target gmock [ 33%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr_const.cc.o Scanning dependencies of target gtest_main [ 33%] Building CXX object test/extern/googletest/googlemock/gtest/CMakeFiles/gtest_main.dir/src/gtest_main.cc.o [ 33%] Linking CXX shared library libgtest_maind.so [ 33%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr_op.cc.o [ 33%] Built target gtest_main [ 34%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr_var.cc.o [ 34%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/func.cc.o [ 35%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/sort.cc.o [ 35%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/sort_value.cc.o [ 36%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast_hub.cc.o [ 36%] Building CXX object src/CMakeFiles/ilang.dir/ila/hash_ast.cc.o [ 37%] Building CXX object src/CMakeFiles/ilang.dir/ila/instr.cc.o [ 37%] Building CXX object src/CMakeFiles/ilang.dir/ila/instr_lvl_abs.cc.o [ 38%] Building CXX object src/CMakeFiles/ilang.dir/ila/object.cc.o [ 38%] Building CXX object src/CMakeFiles/ilang.dir/ila/symbol.cc.o [ 39%] Building CXX object src/CMakeFiles/ilang.dir/ila/transition.cc.o [ 39%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_infer_child_prog_cfg.cc.o [ 40%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_map_child_prog_entry.cc.o [ 40%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_rewrite_conditional_store.cc.o [ 40%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_rewrite_generic.cc.o [ 41%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_rewrite_store_load.cc.o [ 41%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_sanity_check_and_fix.cc.o [ 42%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_simplify_semantic.cc.o [ 42%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_simplify_syntactic.cc.o [ 43%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_abs_knob.cc.o [ 43%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_rewrite_expr.cc.o [ 44%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_rewrite_ila.cc.o [ 44%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_unroller.cc.o [ 45%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_unroller_smt.cc.o [ 45%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/v_eq_check_crr.cc.o [ 46%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/v_eq_check_bmc.cc.o [ 46%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/v_refinement.cc.o [ 47%] Building CXX object src/CMakeFiles/ilang.dir/mcm/ast_helper.cc.o [ 47%] Building CXX object src/CMakeFiles/ilang.dir/mcm/axiom_helper.cc.o [ 48%] Building CXX object src/CMakeFiles/ilang.dir/mcm/inter_ila_unroller.cc.o [ 48%] Building CXX object src/CMakeFiles/ilang.dir/mcm/memory_model.cc.o [ 49%] Building CXX object src/CMakeFiles/ilang.dir/mcm/sc_manual.cc.o [ 49%] Building CXX object src/CMakeFiles/ilang.dir/mcm/tso_manual.cc.o [ 49%] Building CXX object src/CMakeFiles/ilang.dir/target-json/ila_to_json_serializer.cc.o [ 50%] Building CXX object src/CMakeFiles/ilang.dir/target-json/interface.cc.o [ 50%] Building CXX object src/CMakeFiles/ilang.dir/target-json/json_to_ila_deserializer.cc.o [ 51%] Building CXX object src/CMakeFiles/ilang.dir/target-sc/ilator.cc.o [ 51%] Building CXX object src/CMakeFiles/ilang.dir/target-sc/ilator_dfs.cc.o [ 52%] Building CXX object src/CMakeFiles/ilang.dir/target-smt/smt_switch_itf.cc.o [ 52%] Building CXX object src/CMakeFiles/ilang.dir/target-smt/z3_expr_adapter.cc.o [ 53%] Building CXX object src/CMakeFiles/ilang.dir/util/log.cc.o [ 53%] Building CXX object src/CMakeFiles/ilang.dir/util/str_util.cc.o [ 54%] Building CXX object src/CMakeFiles/ilang.dir/util/fs.cc.o [ 54%] Building CXX object src/CMakeFiles/ilang.dir/util/posix_emu.cc.o [ 55%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_parse.cc.o [ 55%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_analysis.cc.o [ 56%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_const_parser.cc.o [ 56%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_analysis_wrapper.cc.o [ 57%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/vlog_parser_util.cc.o [ 57%] Building CXX object src/CMakeFiles/ilang.dir/verilog-out/verilog_gen.cc.o [ 58%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/cex_extract.cc.o [ 58%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/rel_chc.cc.o [ 58%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/inv_obj.cc.o [ 59%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/inv_cnf.cc.o [ 59%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/inv_abc_parse.cc.o [ 60%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/inv_syn_cegar.cc.o [ 60%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/grain_inv_parse.cc.o [ 61%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/vtarget_gen_inv_chc.cc.o [ 61%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/vtarget_gen_inv_abc.cc.o [ 62%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/vtarget_gen_inv_enhance.cc.o [ 62%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/directive.cc.o [ 63%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/gen_util.cc.o [ 63%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/var_extract.cc.o [ 64%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_impl.cc.o [ 64%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target.cc.o [ 65%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_as.cc.o [ 65%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_connect.cc.o [ 66%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_misc.cc.o [ 66%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_cond.cc.o [ 67%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_inv_syn_support.cc.o [ 67%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_cosa.cc.o [ 67%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_jasper.cc.o [ 68%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_yosys.cc.o [ 68%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_relchc.cc.o [ 69%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen.cc.o [ 69%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vlg_mod.cc.o [ 70%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/absmem.cc.o [ 70%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/design_stat.cc.o [ 71%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/supplementary_info.cc.o [ 71%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/smt_ast.cc.o [ 72%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/yosys_smt_parser.cc.o [ 72%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/chc_inv_callback_fn.cc.o [ 73%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/chc_inv_in.cc.o [ 73%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/chc_inv_in_wrapper.cc.o [ 74%] Linking CXX shared library libilang.so [ 74%] Built target ilang Scanning dependencies of target unit_tests [ 74%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/eq_ilas.cc.o [ 74%] 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 [ 82%] Building CXX object test/CMakeFiles/unit_tests.dir/t_expr_op.cc.o [ 82%] Building CXX object test/CMakeFiles/unit_tests.dir/t_expr_var.cc.o [ 83%] Building CXX object test/CMakeFiles/unit_tests.dir/t_func.cc.o [ 83%] Building CXX object test/CMakeFiles/unit_tests.dir/t_hash_ast.cc.o [ 83%] Building CXX object test/CMakeFiles/unit_tests.dir/t_ila.cc.o [ 84%] Building CXX object test/CMakeFiles/unit_tests.dir/t_ilator.cc.o [ 84%] Building CXX object test/CMakeFiles/unit_tests.dir/t_instr.cc.o [ 85%] Building CXX object test/CMakeFiles/unit_tests.dir/t_instr_seq.cc.o [ 85%] Building CXX object test/CMakeFiles/unit_tests.dir/t_keyvec.cc.o [ 86%] Building CXX object test/CMakeFiles/unit_tests.dir/t_legacy_bmc.cc.o [ 86%] Building CXX object test/CMakeFiles/unit_tests.dir/t_log.cc.o [ 87%] Building CXX object test/CMakeFiles/unit_tests.dir/t_main.cc.o [ 87%] Building CXX object test/CMakeFiles/unit_tests.dir/t_mapset.cc.o [ 88%] Building CXX object test/CMakeFiles/unit_tests.dir/t_mcm.cc.o [ 88%] Building CXX object test/CMakeFiles/unit_tests.dir/t_mngr_absknob.cc.o [ 89%] Building CXX object test/CMakeFiles/unit_tests.dir/t_pass.cc.o [ 89%] Building CXX object test/CMakeFiles/unit_tests.dir/t_portable.cc.o [ 90%] Building CXX object test/CMakeFiles/unit_tests.dir/t_smt_in.cc.o [ 90%] Building CXX object test/CMakeFiles/unit_tests.dir/t_smt_shim.cc.o [ 91%] Building CXX object test/CMakeFiles/unit_tests.dir/t_smt_switch_itf.cc.o [ 91%] Building CXX object test/CMakeFiles/unit_tests.dir/t_smt_trans.cc.o [ 92%] Building CXX object test/CMakeFiles/unit_tests.dir/t_sort.cc.o [ 92%] Building CXX object test/CMakeFiles/unit_tests.dir/t_symbol.cc.o [ 92%] Building CXX object test/CMakeFiles/unit_tests.dir/t_unroll_seq.cc.o [ 93%] Building CXX object test/CMakeFiles/unit_tests.dir/t_unroller_smt.cc.o [ 93%] Building CXX object test/CMakeFiles/unit_tests.dir/t_util.cc.o [ 94%] Building CXX object test/CMakeFiles/unit_tests.dir/t_verilog_analysis.cc.o [ 94%] Building CXX object test/CMakeFiles/unit_tests.dir/t_verilog_analysis_error.cc.o [ 95%] Building CXX object test/CMakeFiles/unit_tests.dir/t_verilog_gen.cc.o [ 95%] Building CXX object test/CMakeFiles/unit_tests.dir/t_verilog_mod.cc.o [ 96%] Building CXX object test/CMakeFiles/unit_tests.dir/t_vtarget_gen.cc.o [ 96%] Building CXX object test/CMakeFiles/unit_tests.dir/t_inv_extract.cc.o [ 97%] Building CXX object test/CMakeFiles/unit_tests.dir/t_z3adapter.cc.o [ 97%] Building CXX object test/CMakeFiles/unit_tests.dir/t_z3sanity.cc.o [ 98%] Building CXX object test/CMakeFiles/unit_tests.dir/t_inv_syn.cc.o [ 98%] Building CXX object test/CMakeFiles/unit_tests.dir/t_inv_obj.cc.o [100%] Linking CXX executable unit_tests [100%] Built target unit_tests sudo make install [ 4%] Built target glog [ 5%] Built target signalhandler_unittest [ 6%] Built target stl_logging_unittest [ 7%] Built target stacktrace_unittest [ 7%] Built target demangle_unittest [ 8%] Built target logging_unittest [ 9%] Built target symbolize_unittest [ 10%] Built target utilities_unittest [ 12%] Built target fmt [ 15%] Built target vcdparser [ 16%] Built target vcdparserexec [ 22%] Built target smtparser [ 28%] Built target verilogparser [ 29%] Built target verilogparserexec [ 72%] Built target ilang [ 73%] Built target gtest [ 74%] Built target gmock [ 74%] Built target gtest_main [100%] Built target unit_tests Install the project... -- Install configuration: "Debug" -- Installing: /usr/local/lib/cmake/ilang/ilangConfig.cmake -- Installing: /usr/local/lib/cmake/ilang/ilangConfigVersion.cmake -- Installing: /usr/local/lib/cmake/ilang/ilangTargets.cmake -- Installing: /usr/local/lib/cmake/ilang/ilangTargets-debug.cmake -- Installing: /usr/local/lib/libglogd.so.0.4.0 -- Installing: /usr/local/lib/libglogd.so.0 -- Installing: /usr/local/lib/libglogd.so -- Set runtime path of "/usr/local/lib/libglogd.so.0.4.0" to "/usr/local/lib" -- Installing: /usr/local/include/glog/logging.h -- Installing: /usr/local/include/glog/raw_logging.h -- Installing: /usr/local/include/glog/stl_logging.h -- Installing: /usr/local/include/glog/vlog_is_on.h -- Installing: /usr/local/include/glog/log_severity.h -- Installing: /usr/local/lib/cmake/glog/glog-config.cmake -- Installing: /usr/local/lib/cmake/glog/glog-config-version.cmake -- Installing: /usr/local/lib/cmake/glog/glog-targets.cmake -- Installing: /usr/local/lib/cmake/glog/glog-targets-debug.cmake -- Up-to-date: /usr/local/include -- Installing: /usr/local/include/nlohmann -- Installing: /usr/local/include/nlohmann/json.hpp -- Installing: /usr/local/lib/cmake/nlohmann_json/nlohmann_jsonConfig.cmake -- Installing: /usr/local/lib/cmake/nlohmann_json/nlohmann_jsonConfigVersion.cmake -- Installing: /usr/local/lib/cmake/nlohmann_json/nlohmann_jsonTargets.cmake -- Installing: /usr/local/lib/cmake/fmt/fmt-config.cmake -- Installing: /usr/local/lib/cmake/fmt/fmt-config-version.cmake -- Installing: /usr/local/lib/cmake/fmt/fmt-targets.cmake -- Installing: /usr/local/lib/cmake/fmt/fmt-targets-debug.cmake -- Installing: /usr/local/lib/libfmtd.so.6.1.2 -- Installing: /usr/local/lib/libfmtd.so.6 -- Installing: /usr/local/lib/libfmtd.so -- Set runtime path of "/usr/local/lib/libfmtd.so.6.1.2" to "/usr/local/lib" -- Installing: /usr/local/include/fmt/chrono.h -- Installing: /usr/local/include/fmt/color.h -- Installing: /usr/local/include/fmt/compile.h -- Installing: /usr/local/include/fmt/core.h -- Installing: /usr/local/include/fmt/format.h -- Installing: /usr/local/include/fmt/format-inl.h -- Installing: /usr/local/include/fmt/locale.h -- Installing: /usr/local/include/fmt/ostream.h -- Installing: /usr/local/include/fmt/posix.h -- Installing: /usr/local/include/fmt/printf.h -- Installing: /usr/local/include/fmt/ranges.h -- Installing: /usr/local/lib/pkgconfig/fmt.pc -- Installing: /usr/local/lib/cmake/vcdparser/vcdparserConfig.cmake -- Installing: /usr/local/lib/cmake/vcdparser/vcdparserConfigVersion.camke -- Installing: /usr/local/lib/cmake/vcdparser/vcdparserTargets.cmake -- Installing: /usr/local/lib/cmake/vcdparser/vcdparserTargets-debug.cmake -- Installing: /usr/local/lib/libvcdparser.so -- Set runtime path of "/usr/local/lib/libvcdparser.so" to "/usr/local/lib" -- Installing: /usr/local/bin/vcdparserexec -- Set runtime path of "/usr/local/bin/vcdparserexec" to "/usr/local/lib" -- Installing: /usr/local/include/vcdparser -- Installing: /usr/local/include/vcdparser/VCDFileParser.hpp -- Installing: /usr/local/include/vcdparser/VCDTypes.hpp -- Installing: /usr/local/include/vcdparser/VCDFile.hpp -- Installing: /usr/local/include/vcdparser/VCDValue.hpp -- Installing: /usr/local/lib/cmake/smtparser/smtparserConfig.cmake -- Installing: /usr/local/lib/cmake/smtparser/smtparserConfigVersion.camke -- Installing: /usr/local/lib/cmake/smtparser/smtparserTargets.cmake -- Installing: /usr/local/lib/cmake/smtparser/smtparserTargets-debug.cmake -- Installing: /usr/local/lib/libsmtparser.so -- Set runtime path of "/usr/local/lib/libsmtparser.so" to "/usr/local/lib" -- Installing: /usr/local/include/smtparser -- Installing: /usr/local/include/smtparser/smtlib2abstractparser.h -- Installing: /usr/local/include/smtparser/smtlib2vector.h -- Installing: /usr/local/include/smtparser/smtlib2stream.h -- Installing: /usr/local/include/smtparser/smtlib2yices.h -- Installing: /usr/local/include/smtparser/smtlib2scanner.h -- Installing: /usr/local/include/smtparser/smtlib2hashtable.h -- Installing: /usr/local/include/smtparser/smtlib2parser.h -- Installing: /usr/local/include/smtparser/smtlib2utils.h -- Installing: /usr/local/include/smtparser/smtlib2types.h -- Installing: /usr/local/include/smtparser/smtlib2charbuf.h -- Installing: /usr/local/include/smtparser/smtlib2abstractparser_private.h -- Installing: /usr/local/include/smtparser/smtlib2parserinterface.h -- Installing: /usr/local/include/smtparser/smtlib2termparser.h -- Installing: /usr/local/include/smtparser/smtlib2genvector.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_common.h -- Installing: /usr/local/include/verilogparser/verilog_parser.h -- Installing: /usr/local/include/verilogparser/verilog_ast_mem.h -- Installing: /usr/local/include/verilogparser/verilog_ast_util.h -- Installing: /usr/local/include/verilogparser/verilog_ast.h -- Installing: /usr/local/include/verilogparser/verilog_preprocessor.h -- Installing: /usr/local/lib/libilang.so -- Set runtime path of "/usr/local/lib/libilang.so" to "/usr/local/lib" -- Installing: /usr/local/include/ilang/ilang++.h -- Installing: /usr/local/include/ilang/config.h -- Installing: /usr/local/include/ilang/util/log.h make run_test Scanning dependencies of target run_test Running main() from /home/semaphore/ILAng/extern/googletest/googletest/src/gtest_main.cc [==========] Running 336 tests from 45 test cases. [----------] Global test environment set-up. [----------] 2 tests from TestVerilogExportDeathTest [ RUN ] TestVerilogExportDeathTest.dup W0702 22:45:30.379010 9366 verilog_gen.cc:248] Redeclaration of x, ignored. W0702 22:45:30.385195 9366 verilog_gen.cc:256] Redeclaration of y, ignored. W0702 22:45:30.390888 9366 verilog_gen.cc:264] Redeclaration of z, ignored. [ OK ] TestVerilogExportDeathTest.dup (18 ms) [ RUN ] TestVerilogExportDeathTest.death [ OK ] TestVerilogExportDeathTest.death (5 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 (0 ms) [ RUN ] Testasthub.UnaryOp [ OK ] Testasthub.UnaryOp (29 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 W0702 22:45:30.510653 9366 ast_hub.cc:319] Overwriting original paramters of mem(8, 8) [ OK ] Testasthub.MemSize (15 ms) [----------] 11 tests from Testasthub (119 ms total) [----------] 13 tests from TestApi [ RUN ] TestApi.LogicShift [ OK ] TestApi.LogicShift (0 ms) [ RUN ] TestApi.Construct [ OK ] TestApi.Construct (0 ms) [ RUN ] TestApi.ExprOps [ OK ] TestApi.ExprOps (2 ms) [ RUN ] TestApi.Function [ OK ] TestApi.Function (0 ms) [ RUN ] TestApi.NonConstruct [ OK ] TestApi.NonConstruct (0 ms) [ RUN ] TestApi.ReplaceArg [ OK ] TestApi.ReplaceArg (1 ms) [ RUN ] TestApi.EntryNum W0702 22:45:30.528604 9366 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 W0702 22:45:30.541602 9366 verilog_gen.cc:1190] Currently, it does not translate the initial conditions W0702 22:45:30.541777 9366 verilog_gen.cc:1207] Valid condition for ILA: m is unset W0702 22:45:30.543288 9366 verilog_gen.cc:1317] For exporting a single instruction, the initial conditions are not exported, please be aware. W0702 22:45:30.543331 9366 verilog_gen.cc:1338] Valid condition for ILA: m is unset W0702 22:45:30.544016 9366 u_abs_knob.cc:343] Fetch not set for ILA.m W0702 22:45:30.544032 9366 u_abs_knob.cc:355] Valid not set for ILA.m I0702 22:45:30.544584 9366 u_abs_knob.cc:230] Flatten ILA.Load_ila_ W0702 22:45:30.544641 9366 verilog_gen.cc:1190] Currently, it does not translate the initial conditions W0702 22:45:30.544677 9366 verilog_gen.cc:1207] Valid condition for ILA: Load_ila_ is unset W0702 22:45:30.545469 9366 verilog_gen.cc:1317] For exporting a single instruction, the initial conditions are not exported, please be aware. W0702 22:45:30.545509 9366 verilog_gen.cc:1338] Valid condition for ILA: m is unset W0702 22:45:30.546137 9366 u_abs_knob.cc:343] Fetch not set for ILA.m W0702 22:45:30.546150 9366 u_abs_knob.cc:355] Valid not set for ILA.m I0702 22:45:30.547081 9366 u_abs_knob.cc:230] Flatten ILA.Add_ila_ W0702 22:45:30.547111 9366 verilog_gen.cc:1190] Currently, it does not translate the initial conditions W0702 22:45:30.547142 9366 verilog_gen.cc:1207] Valid condition for ILA: Add_ila_ is unset W0702 22:45:30.548334 9366 verilog_gen.cc:1317] For exporting a single instruction, the initial conditions are not exported, please be aware. W0702 22:45:30.548372 9366 verilog_gen.cc:1338] Valid condition for ILA: m is unset W0702 22:45:30.548887 9366 u_abs_knob.cc:343] Fetch not set for ILA.m W0702 22:45:30.548897 9366 u_abs_knob.cc:355] Valid not set for ILA.m I0702 22:45:30.549139 9366 u_abs_knob.cc:230] Flatten ILA.Store_ila_ W0702 22:45:30.549165 9366 verilog_gen.cc:1190] Currently, it does not translate the initial conditions W0702 22:45:30.549199 9366 verilog_gen.cc:1207] Valid condition for ILA: Store_ila_ is unset [ OK ] TestApi.VerilogGen (9 ms) [ RUN ] TestApi.Unroll [ OK ] TestApi.Unroll (59 ms) [ RUN ] TestApi.Log [ OK ] TestApi.Log (0 ms) [ RUN ] TestApi.UnrollPathFreeWithFunc [ OK ] TestApi.UnrollPathFreeWithFunc (19 ms) [ RUN ] TestApi.Portable [ OK ] TestApi.Portable (10 ms) [----------] 13 tests from TestApi (117 ms total) [----------] 1 test from TestCase [ RUN ] TestCase.AES_V_C_EQ E0702 22:45:30.762063 9366 v_eq_check_crr.cc:563] Relation depends on uaes_ctr(128) -- not in refinement. [ OK ] TestCase.AES_V_C_EQ (996 ms) [----------] 1 test from TestCase (996 ms total) [----------] 9 tests from TestCopyTree [ RUN ] TestCopyTree.AES_V_TOP [ OK ] TestCopyTree.AES_V_TOP (883 ms) [ RUN ] TestCopyTree.AES_V_CHILD [ OK ] TestCopyTree.AES_V_CHILD (23658 ms) [ RUN ] TestCopyTree.AES_V [ OK ] TestCopyTree.AES_V (1080 ms) [ RUN ] TestCopyTree.AES_C_TOP [ OK ] TestCopyTree.AES_C_TOP (1415 ms) [ RUN ] TestCopyTree.AES_C_CHILD [ OK ] TestCopyTree.AES_C_CHILD (28 ms) [ RUN ] TestCopyTree.AES_C [ OK ] TestCopyTree.AES_C (1422 ms) [ RUN ] TestCopyTree.GB_LOW [ OK ] TestCopyTree.GB_LOW (68 ms) [ RUN ] TestCopyTree.RBM [ OK ] TestCopyTree.RBM (129 ms) [ RUN ] TestCopyTree.OC8051 [ OK ] TestCopyTree.OC8051 (10031 ms) [----------] 9 tests from TestCopyTree (38714 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 (430 ms) [ RUN ] TestEqCheck.CommDiag_HF [ OK ] TestEqCheck.CommDiag_HF (21878 ms) [ RUN ] TestEqCheck.IncCommDiag_HF [ OK ] TestEqCheck.IncCommDiag_HF (17002 ms) [ RUN ] TestEqCheck.NewIncCommDiag_HF [ OK ] TestEqCheck.NewIncCommDiag_HF (15854 ms) [----------] 4 tests from TestEqCheck (55164 ms total) [----------] 2 tests from TestExpr [ RUN ] TestExpr.ReplaceArgIdx [ OK ] TestExpr.ReplaceArgIdx (1 ms) [ RUN ] TestExpr.ReplaceArgExpr [ OK ] TestExpr.ReplaceArgExpr (1 ms) [----------] 2 tests from TestExpr (2 ms total) [----------] 9 tests from TestExprConst [ RUN ] TestExprConst.Construct [ OK ] TestExprConst.Construct (0 ms) [ RUN ] TestExprConst.BoolZ3Expr [ OK ] TestExprConst.BoolZ3Expr (5 ms) [ RUN ] TestExprConst.BvZ3Expr [ OK ] TestExprConst.BvZ3Expr (5 ms) [ RUN ] TestExprConst.MemZ3Expr [ OK ] TestExprConst.MemZ3Expr (4 ms) [ RUN ] TestExprConst.BoolVal [ OK ] TestExprConst.BoolVal (22 ms) [ RUN ] TestExprConst.BvVal [ OK ] TestExprConst.BvVal (22 ms) [ RUN ] TestExprConst.MemVal [ OK ] TestExprConst.MemVal (21 ms) [ RUN ] TestExprConst.BvConstBitwidth [ OK ] TestExprConst.BvConstBitwidth (23 ms) [ RUN ] TestExprConst.BvConstNumeric [ OK ] TestExprConst.BvConstNumeric (60 ms) [----------] 9 tests from TestExprConst (162 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 (8 ms) [ RUN ] TestExprOp.Negate [ OK ] TestExprOp.Negate (3 ms) [ RUN ] TestExprOp.Not [ OK ] TestExprOp.Not (4 ms) [ RUN ] TestExprOp.Complement [ OK ] TestExprOp.Complement (4 ms) [ RUN ] TestExprOp.And [ OK ] TestExprOp.And (10 ms) [ RUN ] TestExprOp.Or [ OK ] TestExprOp.Or (11 ms) [ RUN ] TestExprOp.Xor [ OK ] TestExprOp.Xor (10 ms) [ RUN ] TestExprOp.LeftShift [ OK ] TestExprOp.LeftShift (7 ms) [ RUN ] TestExprOp.RightShift [ OK ] TestExprOp.RightShift (8 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 (9 ms) [ RUN ] TestExprOp.LessThan [ OK ] TestExprOp.LessThan (7 ms) [ RUN ] TestExprOp.GreaterThan [ OK ] TestExprOp.GreaterThan (8 ms) [ RUN ] TestExprOp.LessThanOrEqual [ OK ] TestExprOp.LessThanOrEqual (7 ms) [ RUN ] TestExprOp.GreaterThanOrEqual [ OK ] TestExprOp.GreaterThanOrEqual (8 ms) [ RUN ] TestExprOp.UnsignedLessThan [ OK ] TestExprOp.UnsignedLessThan (7 ms) [ RUN ] TestExprOp.UnsignedGreaterThan [ OK ] TestExprOp.UnsignedGreaterThan (7 ms) [ RUN ] TestExprOp.UnsignedLessThanOrEqual [ OK ] TestExprOp.UnsignedLessThanOrEqual (8 ms) [ RUN ] TestExprOp.UnsignedGreaterThanOrEqual [ OK ] TestExprOp.UnsignedGreaterThanOrEqual (7 ms) [ RUN ] TestExprOp.Imply [ OK ] TestExprOp.Imply (4 ms) [ RUN ] TestExprOp.Ite [ OK ] TestExprOp.Ite (13 ms) [----------] 30 tests from TestExprOp (231 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 (7 ms) [ RUN ] TestExprVar.MemZ3Expr [ OK ] TestExprVar.MemZ3Expr (4 ms) [ RUN ] TestExprVar.BoolPrint [ OK ] TestExprVar.BoolPrint (0 ms) [ RUN ] TestExprVar.BvPrint [ OK ] TestExprVar.BvPrint (0 ms) [ RUN ] TestExprVar.MemPrint [ OK ] TestExprVar.MemPrint (0 ms) [----------] 7 tests from TestExprVar (14 ms total) [----------] 4 tests from TestFunc [ RUN ] TestFunc.Atom [ OK ] TestFunc.Atom (0 ms) [ RUN ] TestFunc.Unary [ OK ] TestFunc.Unary (21 ms) [ RUN ] TestFunc.Binary [ OK ] TestFunc.Binary (21 ms) [ RUN ] TestFunc.Multiple [ OK ] TestFunc.Multiple (0 ms) [----------] 4 tests from TestFunc (42 ms total) [----------] 4 tests from TestHashApi [ RUN ] TestHashApi.level0 [ OK ] TestHashApi.level0 (0 ms) [ RUN ] TestHashApi.level1 [ OK ] TestHashApi.level1 (1 ms) [ RUN ] TestHashApi.level2 [ OK ] TestHashApi.level2 (0 ms) [ RUN ] TestHashApi.ExplicitName [ OK ] TestHashApi.ExplicitName (0 ms) [----------] 4 tests from TestHashApi (2 ms total) [----------] 12 tests from TestInstrLvlAbs [ RUN ] TestInstrLvlAbs.Construct W0702 22:47:05.980033 9366 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 (61 ms) [ RUN ] TestInstrLvlAbs.State [ OK ] TestInstrLvlAbs.State (64 ms) [ RUN ] TestInstrLvlAbs.Init [ OK ] TestInstrLvlAbs.Init (21 ms) [ RUN ] TestInstrLvlAbs.Fetch [ OK ] TestInstrLvlAbs.Fetch (34 ms) [ RUN ] TestInstrLvlAbs.Valid [ OK ] TestInstrLvlAbs.Valid (33 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 (234 ms total) [----------] 2 tests from TestIlator [ RUN ] TestIlator.Default I0702 22:47:06.217247 9366 ilator.cc:78] Start generating SystemC simulator of ILA.TEST I0702 22:47:06.226914 9366 ilator.cc:108] Sucessfully generate SystemC simulator at /tmp/6vIaeD [ OK ] TestIlator.Default (13 ms) [ RUN ] TestIlator.Optimize I0702 22:47:06.229656 9366 p_simplify_syntactic.cc:15] Start pass: syntactic simplification I0702 22:47:06.238607 9366 p_rewrite_conditional_store.cc:111] Start pass: rewrite conditional store I0702 22:47:06.240597 9366 ilator.cc:78] Start generating SystemC simulator of ILA.TEST I0702 22:47:06.248390 9366 ilator.cc:108] Sucessfully generate SystemC simulator at /tmp/d0elPe [ OK ] TestIlator.Optimize (21 ms) [----------] 2 tests from TestIlator (34 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 (46 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 (92 ms total) [----------] 3 tests from TestInstrSeq [ RUN ] TestInstrSeq.ItEdge [ OK ] TestInstrSeq.ItEdge (0 ms) [ RUN ] TestInstrSeq.ItNode [ OK ] TestInstrSeq.ItNode (21 ms) [ RUN ] TestInstrSeq.AddTran [ OK ] TestInstrSeq.AddTran (0 ms) [----------] 3 tests from TestInstrSeq (21 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 I0702 22:47:06.363514 9366 v_eq_check_bmc.cc:158] [ModelGen.IlaOneHotFlat] One-hot Flat ILA: ILA.Flat_1 (0, 1) I0702 22:47:06.363557 9366 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.0 (0, 1) I0702 22:47:06.363842 9366 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.1 (0, 1) I0702 22:47:06.364293 9366 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.2 (0, 1) I0702 22:47:06.365037 9366 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.3 (0, 1) I0702 22:47:06.367496 9366 v_eq_check_bmc.cc:158] [ModelGen.IlaOneHotFlat] One-hot Flat ILA: ILA.Flat_2 (0, 1) I0702 22:47:06.367527 9366 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.0 (0, 1) I0702 22:47:06.367774 9366 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.1 (0, 1) I0702 22:47:06.368196 9366 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.2 (0, 1) I0702 22:47:06.368927 9366 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.3 (0, 1) [ OK ] TestLegacyBmc.FF (10 ms) [----------] 1 test from TestLegacyBmc (10 ms total) [----------] 6 tests from TestLog [ RUN ] TestLog.Level [ OK ] TestLog.Level (1 ms) [ RUN ] TestLog.Verbose [ OK ] TestLog.Verbose (0 ms) [ RUN ] TestLog.Death [ OK ] TestLog.Death (56 ms) [ RUN ] TestLog.DebugEnable [ OK ] TestLog.DebugEnable (0 ms) [ RUN ] TestLog.DebugDisable [ OK ] TestLog.DebugDisable (1 ms) [ RUN ] TestLog.Clear [ OK ] TestLog.Clear (0 ms) [----------] 6 tests from TestLog (58 ms total) [----------] 2 tests from TestMapSet [ RUN ] TestMapSet.IntInt [ OK ] TestMapSet.IntInt (0 ms) [ RUN ] TestMapSet.ExprInstr [ OK ] TestMapSet.ExprInstr (0 ms) [----------] 2 tests from TestMapSet (0 ms total) [----------] 2 tests from TestTraceStep [ RUN ] TestTraceStep.AccessDeduction [ OK ] TestTraceStep.AccessDeduction (1 ms) [ RUN ] TestTraceStep.ConvertZ3 [ OK ] TestTraceStep.ConvertZ3 (4 ms) [----------] 2 tests from TestTraceStep (5 ms total) [----------] 8 tests from TestMcm [ RUN ] TestMcm.SingleILAUnroll [ OK ] TestMcm.SingleILAUnroll (16 ms) [ RUN ] TestMcm.SingleILAUnrollOrderedReverse [ OK ] TestMcm.SingleILAUnrollOrderedReverse (15 ms) [ RUN ] TestMcm.SingleILAUnrollUnorderedReverse [ OK ] TestMcm.SingleILAUnrollUnorderedReverse (22 ms) [ RUN ] TestMcm.SingleIlaMcm [ OK ] TestMcm.SingleIlaMcm (52 ms) [ RUN ] TestMcm.RegBasedMcmSc [ OK ] TestMcm.RegBasedMcmSc (32 ms) [ RUN ] TestMcm.RegBasedMcmTso [ OK ] TestMcm.RegBasedMcmTso (33 ms) [ RUN ] TestMcm.McmSc [ OK ] TestMcm.McmSc (40 ms) [ RUN ] TestMcm.McmTso [ OK ] TestMcm.McmTso (41 ms) [----------] 8 tests from TestMcm (251 ms total) [----------] 1 test from TestMngrabsknob [ RUN ] TestMngrabsknob.FlattenIla [ OK ] TestMngrabsknob.FlattenIla (0 ms) [----------] 1 test from TestMngrabsknob (0 ms total) [----------] 5 tests from TestPass [ RUN ] TestPass.AES [ OK ] TestPass.AES (1440 ms) [ RUN ] TestPass.AES_128 [ OK ] TestPass.AES_128 (40719 ms) [ RUN ] TestPass.AES_C [ OK ] TestPass.AES_C (20260 ms) [ RUN ] TestPass.GB_LOW [ OK ] TestPass.GB_LOW (986 ms) [ RUN ] TestPass.RBM E0702 22:48:10.259387 9366 p_sanity_check_and_fix.cc:90] Fail adding default instruction E0702 22:48:13.944274 9366 p_sanity_check_and_fix.cc:90] Fail adding default instruction [ OK ] TestPass.RBM (3890 ms) [----------] 5 tests from TestPass (67295 ms total) [----------] 9 tests from TestPortable [ RUN ] TestPortable.AES_V_TOP [ OK ] TestPortable.AES_V_TOP (946 ms) [ RUN ] TestPortable.AES_V_CHILD [ OK ] TestPortable.AES_V_CHILD (24144 ms) [ RUN ] TestPortable.AES_V [ OK ] TestPortable.AES_V (1265 ms) [ RUN ] TestPortable.AES_C_TOP [ OK ] TestPortable.AES_C_TOP (1485 ms) [ RUN ] TestPortable.AES_C_CHILD [ OK ] TestPortable.AES_C_CHILD (41 ms) [ RUN ] TestPortable.AES_C [ OK ] TestPortable.AES_C (1493 ms) [ RUN ] TestPortable.GB_LOW [ OK ] TestPortable.GB_LOW (123 ms) [ RUN ] TestPortable.RBM [ OK ] TestPortable.RBM (232 ms) [ RUN ] TestPortable.OC8051 [ OK ] TestPortable.OC8051 (14590 ms) [----------] 9 tests from TestPortable (44319 ms total) [----------] 3 tests from TestSmtParse [ RUN ] TestSmtParse.Type E0702 22:48:58.299824 9366 smt_ast.cc:539] string : 0011(4) cast to width:3 [ OK ] TestSmtParse.Type (0 ms) [ RUN ] TestSmtParse.Parse [ OK ] TestSmtParse.Parse (28 ms) [ RUN ] TestSmtParse.ChcParse [ OK ] TestSmtParse.ChcParse (45 ms) [----------] 3 tests from TestSmtParse (73 ms total) [----------] 41 tests from TestSmtShim [ RUN ] TestSmtShim.OpBoolNot [ OK ] TestSmtShim.OpBoolNot (5 ms) [ RUN ] TestSmtShim.OpBvNeg [ OK ] TestSmtShim.OpBvNeg (5 ms) [ RUN ] TestSmtShim.OpBvComplement [ OK ] TestSmtShim.OpBvComplement (4 ms) [ RUN ] TestSmtShim.OpBoolAnd [ OK ] TestSmtShim.OpBoolAnd (4 ms) [ RUN ] TestSmtShim.OpBvAnd [ OK ] TestSmtShim.OpBvAnd (5 ms) [ RUN ] TestSmtShim.OpBoolOr [ OK ] TestSmtShim.OpBoolOr (5 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 (5 ms) [ RUN ] TestSmtShim.OpBvLshr [ OK ] TestSmtShim.OpBvLshr (5 ms) [ RUN ] TestSmtShim.OpBvAdd [ OK ] TestSmtShim.OpBvAdd (4 ms) [ RUN ] TestSmtShim.OpBvSub [ OK ] TestSmtShim.OpBvSub (4 ms) [ RUN ] TestSmtShim.OpBvAddSub [ OK ] TestSmtShim.OpBvAddSub (5 ms) [ RUN ] TestSmtShim.OpBvMul [ OK ] TestSmtShim.OpBvMul (5 ms) [ RUN ] TestSmtShim.OpBvDiv [ OK ] TestSmtShim.OpBvDiv (4 ms) [ RUN ] TestSmtShim.OpBvSrem [ OK ] TestSmtShim.OpBvSrem (5 ms) [ RUN ] TestSmtShim.OpBvUrem [ OK ] TestSmtShim.OpBvUrem (5 ms) [ RUN ] TestSmtShim.OpBvSmod [ OK ] TestSmtShim.OpBvSmod (5 ms) [ RUN ] TestSmtShim.OpBvSltSge [ OK ] TestSmtShim.OpBvSltSge (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 (4 ms) [ RUN ] TestSmtShim.OpBvUltUgteq [ OK ] TestSmtShim.OpBvUltUgteq (5 ms) [ RUN ] TestSmtShim.OpMemLoad [ OK ] TestSmtShim.OpMemLoad (5 ms) [ RUN ] TestSmtShim.OpMemStore [ OK ] TestSmtShim.OpMemStore (4 ms) [ RUN ] TestSmtShim.OpBvConcat [ OK ] TestSmtShim.OpBvConcat (5 ms) [ RUN ] TestSmtShim.OpBvExtract [ OK ] TestSmtShim.OpBvExtract (4 ms) [ RUN ] TestSmtShim.OpBvZext [ OK ] TestSmtShim.OpBvZext (5 ms) [ RUN ] TestSmtShim.OpBvSext [ OK ] TestSmtShim.OpBvSext (4 ms) [ RUN ] TestSmtShim.OpBvRotate [ OK ] TestSmtShim.OpBvRotate (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 (4 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 (191 ms total) [----------] 1 test from TestSmtTrans [ RUN ] TestSmtTrans.ReplaceAndAddKeep [ OK ] TestSmtTrans.ReplaceAndAddKeep (78 ms) [----------] 1 test from TestSmtTrans (78 ms total) [----------] 3 tests from TestSort [ RUN ] TestSort.Boolean [ OK ] TestSort.Boolean (38 ms) [ RUN ] TestSort.Bitvector [ OK ] TestSort.Bitvector (25 ms) [ RUN ] TestSort.Memory [ OK ] TestSort.Memory (13 ms) [----------] 3 tests from TestSort (76 ms total) [----------] 5 tests from TestSymbol [ RUN ] TestSymbol.Construct [ OK ] TestSymbol.Construct (0 ms) [ RUN ] TestSymbol.Accessors [ OK ] TestSymbol.Accessors (1 ms) [ RUN ] TestSymbol.Copy [ OK ] TestSymbol.Copy (0 ms) [ RUN ] TestSymbol.Format [ OK ] TestSymbol.Format (0 ms) [ RUN ] TestSymbol.Compare [ OK ] TestSymbol.Compare (0 ms) [----------] 5 tests from TestSymbol (1 ms total) [----------] 9 tests from TestUnroll [ RUN ] TestUnroll.InstrSeqFlatSubs [ OK ] TestUnroll.InstrSeqFlatSubs (5 ms) [ RUN ] TestUnroll.InstrSeqFlatAssn [ OK ] TestUnroll.InstrSeqFlatAssn (4 ms) [ RUN ] TestUnroll.InstrSeqFlatNone [ OK ] TestUnroll.InstrSeqFlatNone (3 ms) [ RUN ] TestUnroll.InstrSeqSolve [ OK ] TestUnroll.InstrSeqSolve (23 ms) [ RUN ] TestUnroll.MonoFlatSubs [ OK ] TestUnroll.MonoFlatSubs (32 ms) [ RUN ] TestUnroll.MonoFlatAssn [ OK ] TestUnroll.MonoFlatAssn (30 ms) [ RUN ] TestUnroll.MonoFlatNone [ OK ] TestUnroll.MonoFlatNone (29 ms) [ RUN ] TestUnroll.MonoSolve [ OK ] TestUnroll.MonoSolve (57 ms) [ RUN ] TestUnroll.PathMonoSolve [ OK ] TestUnroll.PathMonoSolve (38 ms) [----------] 9 tests from TestUnroll (221 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 (0 ms) [ RUN ] TestUtil.CopyDir E0702 22:48:58.949044 9366 fs.cc:61] filesystem error: cannot create directory: File exists [/home/semaphore/ILAng/test/unit-data/fs/cpdst/dummy] [ OK ] TestUtil.CopyDir (1 ms) [ RUN ] TestUtil.FileNameFromDir [ OK ] TestUtil.FileNameFromDir (0 ms) [ RUN ] TestUtil.ExecShell 1 [ OK ] TestUtil.ExecShell (9 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 (2023 ms) [ RUN ] TestUtil.ExecShellRedirectTimeOut [ OK ] TestUtil.ExecShellRedirectTimeOut (3020 ms) [ RUN ] TestUtil.RegularExpr [ OK ] TestUtil.RegularExpr (3 ms) [ RUN ] TestUtil.LongWidth [ OK ] TestUtil.LongWidth (1 ms) [ RUN ] TestUtil.LongWidth_unsigned [ OK ] TestUtil.LongWidth_unsigned (1 ms) [ RUN ] TestUtil.Int2Str [ OK ] TestUtil.Int2Str (0 ms) [ RUN ] TestUtil.StrTrim [ OK ] TestUtil.StrTrim (0 ms) [----------] 12 tests from TestUtil (5068 ms total) [----------] 9 tests from TestVerilogAnalysis [ RUN ] TestVerilogAnalysis.BaseFuncNoError [ OK ] TestVerilogAnalysis.BaseFuncNoError (3 ms) [ RUN ] TestVerilogAnalysis.Init [ OK ] TestVerilogAnalysis.Init (3 ms) [ RUN ] TestVerilogAnalysis.FnameMeta I0702 22:49:04.024983 9366 t_verilog_analysis.cc:67] Location of: m1.ex_wb_rd:/home/semaphore/ILAng/test/unit-data/vpipe/simple_pipe.v:38 I0702 22:49:04.025174 9366 t_verilog_analysis.cc:68] End loc of m1:/home/semaphore/ILAng/test/unit-data/vpipe/simple_pipe.v:220 [ OK ] TestVerilogAnalysis.FnameMeta (3 ms) [ RUN ] TestVerilogAnalysis.Include [ OK ] TestVerilogAnalysis.Include (0 ms) [ RUN ] TestVerilogAnalysis.RangeAnalysis E0702 22:49:04.026993 9366 verilog_const_parser.cc:164] unable to parse: (-1) E0702 22:49:04.027062 9366 verilog_const_parser.cc:164] unable to parse: d E0702 22:49:04.027163 9366 verilog_const_parser.cc:164] unable to parse: (1<<1) [ OK ] TestVerilogAnalysis.RangeAnalysis (5 ms) [ RUN ] TestVerilogAnalysis.RangeAnalysisOverwriteWidth W0702 22:49:04.031105 9366 verilog_analysis.cc:860] Overwriting width of signal: m1.i1.sig to 5(w=2 by analysis) W0702 22:49:04.031760 9366 verilog_analysis.cc:860] Overwriting width of signal: m1.in1 to 10(w=4 by analysis) W0702 22:49:04.032471 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0702 22:49:04.032521 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0702 22:49:04.032531 9366 verilog_analysis.cc:860] Overwriting width of signal: m1.in1 to 5(w=4 by analysis) W0702 22:49:04.032605 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0702 22:49:04.032651 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0702 22:49:04.032665 9366 verilog_const_parser.cc:164] unable to parse: W2 W0702 22:49:04.032706 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0702 22:49:04.032718 9366 verilog_const_parser.cc:164] unable to parse: W2 W0702 22:49:04.032764 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0702 22:49:04.032809 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0702 22:49:04.032822 9366 verilog_const_parser.cc:164] unable to parse: W2 W0702 22:49:04.032887 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0702 22:49:04.032900 9366 verilog_const_parser.cc:164] unable to parse: W2 W0702 22:49:04.032954 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0702 22:49:04.032968 9366 verilog_analysis.cc:860] Overwriting width of signal: m1.in1 to 10(w=4 by analysis) W0702 22:49:04.032994 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0702 22:49:04.033006 9366 verilog_const_parser.cc:164] unable to parse: W2 W0702 22:49:04.033032 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0702 22:49:04.033044 9366 verilog_const_parser.cc:164] unable to parse: W2 W0702 22:49:04.033071 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0702 22:49:04.033100 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0702 22:49:04.033113 9366 verilog_const_parser.cc:164] unable to parse: W2 W0702 22:49:04.033138 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0702 22:49:04.033150 9366 verilog_const_parser.cc:164] unable to parse: W2 W0702 22:49:04.033185 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0702 22:49:04.033197 9366 verilog_const_parser.cc:164] unable to parse: W2 W0702 22:49:04.033205 9366 verilog_analysis.cc:860] Overwriting width of signal: m1.in2 to 128(w=1 by analysis) W0702 22:49:04.033242 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0702 22:49:04.033273 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0702 22:49:04.033285 9366 verilog_const_parser.cc:164] unable to parse: W2 W0702 22:49:04.033293 9366 verilog_analysis.cc:860] Overwriting width of signal: m1.in2 to 256(w=1 by analysis) W0702 22:49:04.033318 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0702 22:49:04.033330 9366 verilog_const_parser.cc:164] unable to parse: W2 W0702 22:49:04.033355 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0702 22:49:04.033385 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0702 22:49:04.033397 9366 verilog_const_parser.cc:164] unable to parse: W2 W0702 22:49:04.033423 9366 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0702 22:49:04.033434 9366 verilog_const_parser.cc:164] unable to parse: W2 [ OK ] TestVerilogAnalysis.RangeAnalysisOverwriteWidth (3 ms) [ RUN ] TestVerilogAnalysis.AnalyzeName [ OK ] TestVerilogAnalysis.AnalyzeName (2 ms) [ RUN ] TestVerilogAnalysis.GetTopIo [ OK ] TestVerilogAnalysis.GetTopIo (4 ms) [ RUN ] TestVerilogAnalysis.GetTopIoNewFashion I0702 22:49:04.042127 9366 t_verilog_analysis.cc:527] End loc of m1:/home/semaphore/ILAng/test/unit-data/verilog_sample/t_pipe.v:218 [ OK ] TestVerilogAnalysis.GetTopIoNewFashion (3 ms) [----------] 9 tests from TestVerilogAnalysis (26 ms total) [----------] 12 tests from TestVerilogAnalysisErrHandling [ RUN ] TestVerilogAnalysisErrHandling.NoDoubleInstance [ OK ] TestVerilogAnalysisErrHandling.NoDoubleInstance (2 ms) [ RUN ] TestVerilogAnalysisErrHandling.EmptyFile [ OK ] TestVerilogAnalysisErrHandling.EmptyFile (1 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 E0702 22:49:04.046468 9366 verilog_analysis.cc:531] Cannot find declaration: nonexistingname [ OK ] TestVerilogAnalysisErrHandling.NoSuchModuleAsTop (1 ms) [ RUN ] TestVerilogAnalysisErrHandling.TwoTop [ OK ] TestVerilogAnalysisErrHandling.TwoTop (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.SigRedecl [ OK ] TestVerilogAnalysisErrHandling.SigRedecl (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.UnknownPortDirection [ OK ] TestVerilogAnalysisErrHandling.UnknownPortDirection (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 (55 ms) [ RUN ] TestVerilogGen.ParseInst [ OK ] TestVerilogGen.ParseInst (15 ms) [ RUN ] TestVerilogGen.CpReg [ OK ] TestVerilogGen.CpReg (8 ms) [ RUN ] TestVerilogGen.SimpleProc [ OK ] TestVerilogGen.SimpleProc (24 ms) [ RUN ] TestVerilogGen.AES_V [ OK ] TestVerilogGen.AES_V (189 ms) [ RUN ] TestVerilogGen.AES_C [ OK ] TestVerilogGen.AES_C (188 ms) [ RUN ] TestVerilogGen.GB_Low [ OK ] TestVerilogGen.GB_Low (62 ms) [ RUN ] TestVerilogGen.RBM [ OK ] TestVerilogGen.RBM (99 ms) [ RUN ] TestVerilogGen.OC [ OK ] TestVerilogGen.OC (31323 ms) [----------] 10 tests from TestVerilogGen (31963 ms total) [----------] 6 tests from TestVerilogExport [ RUN ] TestVerilogExport.check_reserved_name [ OK ] TestVerilogExport.check_reserved_name (1 ms) [ RUN ] TestVerilogExport.sanitizeName [ OK ] TestVerilogExport.sanitizeName (0 ms) [ RUN ] TestVerilogExport.get_width [ OK ] TestVerilogExport.get_width (0 ms) [ RUN ] TestVerilogExport.new_id [ OK ] TestVerilogExport.new_id (0 ms) [ RUN ] TestVerilogExport.internalfunc [ OK ] TestVerilogExport.internalfunc (0 ms) [ RUN ] TestVerilogExport.OPs [ OK ] TestVerilogExport.OPs (3 ms) [----------] 6 tests from TestVerilogExport (4 ms total) [----------] 1 test from TestVerilogMod [ RUN ] TestVerilogMod.Modify [ OK ] TestVerilogMod.Modify (3 ms) [----------] 1 test from TestVerilogMod (3 ms total) [----------] 25 tests from TestVlgTargetGen [ RUN ] TestVlgTargetGen.PipeExample [ OK ] TestVlgTargetGen.PipeExample (27 ms) [ RUN ] TestVlgTargetGen.PipeExampleZ3 E0702 22:49:36.071583 9366 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0702 22:49:36.103610 9366 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0702 22:49:36.138806 9366 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0702 22:49:36.174392 9366 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0702 22:49:36.209789 9366 vtarget_gen_yosys.cc:787] Executing Yosys failed! [ OK ] TestVlgTargetGen.PipeExampleZ3 (175 ms) [ RUN ] TestVlgTargetGen.PipeExampleGrain E0702 22:49:36.247973 9366 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0702 22:49:36.310762 9366 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0702 22:49:36.414033 9366 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0702 22:49:36.519512 9366 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0702 22:49:36.625082 9366 vtarget_gen_yosys.cc:787] Executing Yosys failed! [ OK ] TestVlgTargetGen.PipeExampleGrain (486 ms) [ RUN ] TestVlgTargetGen.PipeExampleGrainDeath [ OK ] TestVlgTargetGen.PipeExampleGrainDeath (24 ms) [ RUN ] TestVlgTargetGen.PipeExampleEldaricaDeath [ OK ] TestVlgTargetGen.PipeExampleEldaricaDeath (24 ms) [ RUN ] TestVlgTargetGen.PipeExampleBtor E0702 22:49:36.783035 9366 vtarget_gen_yosys.cc:721] Executing Yosys failed! E0702 22:49:36.810689 9366 vtarget_gen_yosys.cc:721] Executing Yosys failed! E0702 22:49:36.839056 9366 vtarget_gen_yosys.cc:721] Executing Yosys failed! E0702 22:49:36.867619 9366 vtarget_gen_yosys.cc:721] Executing Yosys failed! E0702 22:49:36.895689 9366 vtarget_gen_yosys.cc:721] Executing Yosys failed! [ OK ] TestVlgTargetGen.PipeExampleBtor (144 ms) [ RUN ] TestVlgTargetGen.PipeExampleAbc E0702 22:49:36.926733 9366 vtarget_gen_yosys.cc:1020] Executing Yosys failed! E0702 22:49:36.954540 9366 vtarget_gen_yosys.cc:1020] Executing Yosys failed! E0702 22:49:36.982802 9366 vtarget_gen_yosys.cc:1020] Executing Yosys failed! E0702 22:49:37.010774 9366 vtarget_gen_yosys.cc:1020] Executing Yosys failed! E0702 22:49:37.039234 9366 vtarget_gen_yosys.cc:1020] Executing Yosys failed! [ OK ] TestVlgTargetGen.PipeExampleAbc (144 ms) [ RUN ] TestVlgTargetGen.PipeExampleRfmapPost [ OK ] TestVlgTargetGen.PipeExampleRfmapPost (27 ms) [ RUN ] TestVlgTargetGen.PipeExampleJasperGold [ OK ] TestVlgTargetGen.PipeExampleJasperGold (15 ms) [ RUN ] TestVlgTargetGen.PipeExampleNotEqu [ OK ] TestVlgTargetGen.PipeExampleNotEqu (26 ms) [ RUN ] TestVlgTargetGen.Memory [ OK ] TestVlgTargetGen.Memory (5 ms) [ RUN ] TestVlgTargetGen.MemoryInternal [ OK ] TestVlgTargetGen.MemoryInternal (6 ms) [ RUN ] TestVlgTargetGen.MemoryInternalExternal [ OK ] TestVlgTargetGen.MemoryInternalExternal (6 ms) [ RUN ] TestVlgTargetGen.MemoryInternalExternalEntry6 [ OK ] TestVlgTargetGen.MemoryInternalExternalEntry6 (8 ms) [ RUN ] TestVlgTargetGen.MemoryRead [ OK ] TestVlgTargetGen.MemoryRead (2 ms) [ RUN ] TestVlgTargetGen.MemoryAbsRead [ OK ] TestVlgTargetGen.MemoryAbsRead (4 ms) [ RUN ] TestVlgTargetGen.MemoryReadAbsRead [ OK ] TestVlgTargetGen.MemoryReadAbsRead (2 ms) [ RUN ] TestVlgTargetGen.MemoryReadAbsReadJasperGold [ OK ] TestVlgTargetGen.MemoryReadAbsReadJasperGold (2 ms) [ RUN ] TestVlgTargetGen.UndetValue [ OK ] TestVlgTargetGen.UndetValue (3 ms) [ RUN ] TestVlgTargetGen.UndetFunc [ OK ] TestVlgTargetGen.UndetFunc (3 ms) [ RUN ] TestVlgTargetGen.UndetFuncIteUnknown [ OK ] TestVlgTargetGen.UndetFuncIteUnknown (3 ms) [ RUN ] TestVlgTargetGen.ResetAnnotation E0702 22:49:37.155966 9366 supplementary_info.cc:81] reset cycle must >= 1 E0702 22:49:37.156002 9366 supplementary_info.cc:95] reset-state is not implemented yet. E0702 22:49:37.156016 9366 supplementary_info.cc:97] reset-sequence is not implemented yet. E0702 22:49:37.158126 9366 supplementary_info.cc:19] Unable to parse `annotation` field, expect a map. E0702 22:49:37.160457 9366 supplementary_info.cc:43] memory-ports's must be string->string map E0702 22:49:37.160485 9366 supplementary_info.cc:51] port name : r2 should be one of ren/wen/raddr/waddr/rdata/wdata E0702 22:49:37.160503 9366 supplementary_info.cc:69] Unsupported memory export directive:unknown, expect internal/external E0702 22:49:37.165074 9366 supplementary_info.cc:95] reset-state is not implemented yet. E0702 22:49:37.165104 9366 supplementary_info.cc:97] reset-sequence is not implemented yet. [ OK ] TestVlgTargetGen.ResetAnnotation (12 ms) [ RUN ] TestVlgTargetGen.ResetAnnotationZ3 E0702 22:49:37.167507 9366 supplementary_info.cc:95] reset-state is not implemented yet. E0702 22:49:37.167533 9366 supplementary_info.cc:97] reset-sequence is not implemented yet. E0702 22:49:37.189390 9366 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0702 22:49:37.212842 9366 vtarget_gen_yosys.cc:787] Executing Yosys failed! [ OK ] TestVlgTargetGen.ResetAnnotationZ3 (48 ms) [ RUN ] TestVlgTargetGen.ResetAnnotationABC E0702 22:49:37.215694 9366 supplementary_info.cc:95] reset-state is not implemented yet. E0702 22:49:37.215721 9366 supplementary_info.cc:97] reset-sequence is not implemented yet. E0702 22:49:37.237848 9366 vtarget_gen_yosys.cc:1020] Executing Yosys failed! E0702 22:49:37.261502 9366 vtarget_gen_yosys.cc:1020] Executing Yosys failed! [ OK ] TestVlgTargetGen.ResetAnnotationABC (47 ms) [ RUN ] TestVlgTargetGen.AesExample [ OK ] TestVlgTargetGen.AesExample (0 ms) [----------] 25 tests from TestVlgTargetGen (1244 ms total) [----------] 9 tests from TestInvExtract [ RUN ] TestInvExtract.Abc [ OK ] TestInvExtract.Abc (0 ms) [ RUN ] TestInvExtract.PipeBlifGla [ OK ] TestInvExtract.PipeBlifGla (1 ms) [ RUN ] TestInvExtract.AbcAiger [ OK ] TestInvExtract.AbcAiger (6 ms) [ RUN ] TestInvExtract.AbcAigerGLA [ OK ] TestInvExtract.AbcAigerGLA (4 ms) [ RUN ] TestInvExtract.PipeAigerGLA [ OK ] TestInvExtract.PipeAigerGLA (5 ms) [ RUN ] TestInvExtract.GrainInvExtract E0702 22:49:37.340850 9366 grain_inv_parse.cc:99] Invariant refers to outside var:impout [ OK ] TestInvExtract.GrainInvExtract (63 ms) [ RUN ] TestInvExtract.Z3InvExtract [ OK ] TestInvExtract.Z3InvExtract (1 ms) [ RUN ] TestInvExtract.Z3InvExtractPipe [ OK ] TestInvExtract.Z3InvExtractPipe (3 ms) [ RUN ] TestInvExtract.Z3InvExtractRangeSpec E0702 22:49:37.347231 9366 chc_inv_in_wrapper.cc:38] Trying to rewind local_var_idx from 3 to 2 [ OK ] TestInvExtract.Z3InvExtractRangeSpec (3 ms) [----------] 9 tests from TestInvExtract (86 ms total) [----------] 2 tests from TestZ3Adapter [ RUN ] TestZ3Adapter.Construct [ OK ] TestZ3Adapter.Construct (9 ms) [ RUN ] TestZ3Adapter.Suffix [ OK ] TestZ3Adapter.Suffix (4 ms) [----------] 2 tests from TestZ3Adapter (13 ms total) [----------] 14 tests from TestZ3Expr [ RUN ] TestZ3Expr.XorBool [ OK ] TestZ3Expr.XorBool (4 ms) [ RUN ] TestZ3Expr.XorBv [ OK ] TestZ3Expr.XorBv (5 ms) [ RUN ] TestZ3Expr.NotNot [ OK ] TestZ3Expr.NotNot (3 ms) [ RUN ] TestZ3Expr.NegNeg [ OK ] TestZ3Expr.NegNeg (4 ms) [ RUN ] TestZ3Expr.Div [ OK ] TestZ3Expr.Div (6 ms) [ RUN ] TestZ3Expr.SRem [ OK ] TestZ3Expr.SRem (7 ms) [ RUN ] TestZ3Expr.URem [ OK ] TestZ3Expr.URem (9 ms) [ RUN ] TestZ3Expr.SMod [ OK ] TestZ3Expr.SMod (6 ms) [ RUN ] TestZ3Expr.LRotate [ OK ] TestZ3Expr.LRotate (4 ms) [ RUN ] TestZ3Expr.RRotate [ OK ] TestZ3Expr.RRotate (5 ms) [ RUN ] TestZ3Expr.LoadStore [ OK ] TestZ3Expr.LoadStore (4 ms) [ RUN ] TestZ3Expr.StoreLoad [ OK ] TestZ3Expr.StoreLoad (4 ms) [ RUN ] TestZ3Expr.Extract [ OK ] TestZ3Expr.Extract (3 ms) [ RUN ] TestZ3Expr.Concat [ OK ] TestZ3Expr.Concat (8 ms) [----------] 14 tests from TestZ3Expr (72 ms total) [----------] 13 tests from TestVlgVerifInvSyn [ RUN ] TestVlgVerifInvSyn.SimpleCntCegar E0702 22:49:37.460788 9366 vtarget_gen_inv_chc.cc:546] Executing Yosys failed! Confirmed synthesized invariants: 1==1 (1'b1) == (((!((m1.v) == (4'h3))) ||(!((m1.imp) == (4'h4)))) &&((!((m1.imp) == (4'he))) ||(!((m1.v) == (4'h9)))) &&((!((m1.imp) == (4'hd))) ||(!((m1.v) == (4'ha)))) &&((!((m1.imp) == (4'hc))) ||(!((m1.v) == (4'hb)))) &&((!((m1.imp) == (4'hb))) ||(!((m1.v) == (4'hc)))) &&((!((m1.imp) == (4'ha))) ||(!((m1.v) == (4'hd)))) &&((!((m1.v) == (4'he))) ||(!((m1.imp) == (4'h9)))) &&((!((m1.imp) == (4'h8))) ||(!((m1.v) == (4'hf)))) &&((!((m1.imp) == (4'h3))) ||(!((m1.v) == (4'h4)))) &&((!((m1.v) == (4'h6))) ||(!((m1.imp) == (4'h1)))) &&((!((m1.v) == (4'h7))) ||(!((m1.imp) == (4'h0)))) &&((!((m1.v) == (4'h8))) ||(!((m1.imp) == (4'hf)))) &&((!((m1.imp) == (4'h5))) ||(!((m1.v) == (4'h2)))) &&((!((m1.imp) == (4'h7))) ||(!((m1.v) == (4'h0)))) &&((!((m1.v) == (4'h5))) ||(!(m1.imp[1:1])) ||(m1.imp[0:0]) ||(m1.imp[2:2]) ||(m1.imp[3:3])) &&((!((m1.v) == (4'h1))) ||(!((m1.imp) == (4'h6))))) E0702 22:49:37.465754 9366 inv_syn_cegar.cc:844] Not loading the statistics state from initial time! [ OK ] TestVlgVerifInvSyn.SimpleCntCegar (36 ms) [ RUN ] TestVlgVerifInvSyn.SimpleCntCegarWithAssumptions E0702 22:49:37.496891 9366 vtarget_gen_inv_chc.cc:546] Executing Yosys failed! Confirmed synthesized invariants: 1==1 (1'b1) == (((!((m1.v) == (4'h3))) ||(!((m1.imp) == (4'h4)))) &&((!((m1.imp) == (4'he))) ||(!((m1.v) == (4'h9)))) &&((!((m1.imp) == (4'hd))) ||(!((m1.v) == (4'ha)))) &&((!((m1.imp) == (4'hc))) ||(!((m1.v) == (4'hb)))) &&((!((m1.imp) == (4'hb))) ||(!((m1.v) == (4'hc)))) &&((!((m1.imp) == (4'ha))) ||(!((m1.v) == (4'hd)))) &&((!((m1.v) == (4'he))) ||(!((m1.imp) == (4'h9)))) &&((!((m1.imp) == (4'h8))) ||(!((m1.v) == (4'hf)))) &&((!((m1.imp) == (4'h3))) ||(!((m1.v) == (4'h4)))) &&((!((m1.v) == (4'h6))) ||(!((m1.imp) == (4'h1)))) &&((!((m1.v) == (4'h7))) ||(!((m1.imp) == (4'h0)))) &&((!((m1.v) == (4'h8))) ||(!((m1.imp) == (4'hf)))) &&((!((m1.imp) == (4'h5))) ||(!((m1.v) == (4'h2)))) &&((!((m1.imp) == (4'h7))) ||(!((m1.v) == (4'h0)))) &&((!((m1.v) == (4'h5))) ||(!(m1.imp[1:1])) ||(m1.imp[0:0]) ||(m1.imp[2:2]) ||(m1.imp[3:3])) &&((!((m1.v) == (4'h1))) ||(!((m1.imp) == (4'h6))))) [ OK ] TestVlgVerifInvSyn.SimpleCntCegarWithAssumptions (31 ms) [ RUN ] TestVlgVerifInvSyn.LoadInvFromBeginning E0702 22:49:37.532950 9366 vtarget_gen_inv_chc.cc:546] Executing Yosys failed! Confirmed synthesized invariants: 1==1 (1'b1) == ((!((m1.imp) == (4'he))) ||(!((m1.v) == (4'h9)))) && (((!((m1.v) == (4'h3))) ||(!((m1.imp) == (4'h4)))) &&((!((m1.imp) == (4'hd))) ||(!((m1.v) == (4'ha)))) &&((!((m1.imp) == (4'hc))) ||(!((m1.v) == (4'hb)))) &&((!((m1.imp) == (4'hb))) ||(!((m1.v) == (4'hc)))) &&((!((m1.imp) == (4'ha))) ||(!((m1.v) == (4'hd)))) &&((!((m1.v) == (4'he))) ||(!((m1.imp) == (4'h9)))) &&((!((m1.imp) == (4'h8))) ||(!((m1.v) == (4'hf)))) &&((!((m1.imp) == (4'h3))) ||(!((m1.v) == (4'h4)))) &&((!((m1.v) == (4'h6))) ||(!((m1.imp) == (4'h1)))) &&((!((m1.v) == (4'h7))) ||(!((m1.imp) == (4'h0)))) &&((!((m1.v) == (4'h8))) ||(!((m1.imp) == (4'hf)))) &&((!((m1.imp) == (4'h5))) ||(!((m1.v) == (4'h2)))) &&((!((m1.imp) == (4'h7))) ||(!((m1.v) == (4'h0)))) &&((!((m1.v) == (4'h5))) ||(!(m1.imp[1:1])) ||(m1.imp[0:0]) ||(m1.imp[2:2]) ||(m1.imp[3:3])) &&((!((m1.v) == (4'h1))) ||(!((m1.imp) == (4'h6))))) (1'b1) == (((!((m1.v) == (4'h3))) ||(!((m1.imp) == (4'h4)))) &&((!((m1.imp) == (4'he))) ||(!((m1.v) == (4'h9)))) &&((!((m1.imp) == (4'hd))) ||(!((m1.v) == (4'ha)))) &&((!((m1.imp) == (4'hc))) ||(!((m1.v) == (4'hb)))) &&((!((m1.imp) == (4'hb))) ||(!((m1.v) == (4'hc)))) &&((!((m1.imp) == (4'ha))) ||(!((m1.v) == (4'hd)))) &&((!((m1.v) == (4'he))) ||(!((m1.imp) == (4'h9)))) &&((!((m1.imp) == (4'h8))) ||(!((m1.v) == (4'hf)))) &&((!((m1.imp) == (4'h3))) ||(!((m1.v) == (4'h4)))) &&((!((m1.v) == (4'h6))) ||(!((m1.imp) == (4'h1)))) &&((!((m1.v) == (4'h7))) ||(!((m1.imp) == (4'h0)))) &&((!((m1.v) == (4'h8))) ||(!((m1.imp) == (4'hf)))) &&((!((m1.imp) == (4'h5))) ||(!((m1.v) == (4'h2)))) &&((!((m1.imp) == (4'h7))) ||(!((m1.v) == (4'h0)))) &&((!((m1.v) == (4'h5))) ||(!(m1.imp[1:1])) ||(m1.imp[0:0]) ||(m1.imp[2:2]) ||(m1.imp[3:3])) &&((!((m1.v) == (4'h1))) ||(!((m1.imp) == (4'h6))))) E0702 22:49:37.565109 9366 vtarget_gen_inv_chc.cc:546] Executing Yosys failed! Confirmed synthesized invariants: 1==1 (1'b1) == ((!((m1.imp) == (4'he))) ||(!((m1.v) == (4'h9)))) && (((!((m1.v) == (4'h3))) ||(!((m1.imp) == (4'h4)))) &&((!((m1.imp) == (4'hd))) ||(!((m1.v) == (4'ha)))) &&((!((m1.imp) == (4'hc))) ||(!((m1.v) == (4'hb)))) &&((!((m1.imp) == (4'hb))) ||(!((m1.v) == (4'hc)))) &&((!((m1.imp) == (4'ha))) ||(!((m1.v) == (4'hd)))) &&((!((m1.v) == (4'he))) ||(!((m1.imp) == (4'h9)))) &&((!((m1.imp) == (4'h8))) ||(!((m1.v) == (4'hf)))) &&((!((m1.imp) == (4'h3))) ||(!((m1.v) == (4'h4)))) &&((!((m1.v) == (4'h6))) ||(!((m1.imp) == (4'h1)))) &&((!((m1.v) == (4'h7))) ||(!((m1.imp) == (4'h0)))) &&((!((m1.v) == (4'h8))) ||(!((m1.imp) == (4'hf)))) &&((!((m1.imp) == (4'h5))) ||(!((m1.v) == (4'h2)))) &&((!((m1.imp) == (4'h7))) ||(!((m1.v) == (4'h0)))) &&((!((m1.v) == (4'h5))) ||(!(m1.imp[1:1])) ||(m1.imp[0:0]) ||(m1.imp[2:2]) ||(m1.imp[3:3])) &&((!((m1.v) == (4'h1))) ||(!((m1.imp) == (4'h6))))) (1'b1) == (((!((m1.v) == (4'h3))) ||(!((m1.imp) == (4'h4)))) &&((!((m1.imp) == (4'he))) ||(!((m1.v) == (4'h9)))) &&((!((m1.imp) == (4'hd))) ||(!((m1.v) == (4'ha)))) &&((!((m1.imp) == (4'hc))) ||(!((m1.v) == (4'hb)))) &&((!((m1.imp) == (4'hb))) ||(!((m1.v) == (4'hc)))) &&((!((m1.imp) == (4'ha))) ||(!((m1.v) == (4'hd)))) &&((!((m1.v) == (4'he))) ||(!((m1.imp) == (4'h9)))) &&((!((m1.imp) == (4'h8))) ||(!((m1.v) == (4'hf)))) &&((!((m1.imp) == (4'h3))) ||(!((m1.v) == (4'h4)))) &&((!((m1.v) == (4'h6))) ||(!((m1.imp) == (4'h1)))) &&((!((m1.v) == (4'h7))) ||(!((m1.imp) == (4'h0)))) &&((!((m1.v) == (4'h8))) ||(!((m1.imp) == (4'hf)))) &&((!((m1.imp) == (4'h5))) ||(!((m1.v) == (4'h2)))) &&((!((m1.imp) == (4'h7))) ||(!((m1.v) == (4'h0)))) &&((!((m1.v) == (4'h5))) ||(!(m1.imp[1:1])) ||(m1.imp[0:0]) ||(m1.imp[2:2]) ||(m1.imp[3:3])) &&((!((m1.v) == (4'h1))) ||(!((m1.imp) == (4'h6))))) [ OK ] TestVlgVerifInvSyn.LoadInvFromBeginning (68 ms) [ RUN ] TestVlgVerifInvSyn.SimpleCntCegarPassed [ OK ] TestVlgVerifInvSyn.SimpleCntCegarPassed (3 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntAbc E0702 22:49:37.598592 9366 vtarget_gen_inv_abc.cc:568] Executing Yosys failed! Confirmed synthesized invariants: ~((m1.imp[0:0] & m1.v[0:0]) | (~m1.imp[0:0] & ~m1.v[0:0])) [ OK ] TestVlgVerifInvSyn.CegarCntAbc (30 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntAbcBlif E0702 22:49:37.629313 9366 vtarget_gen_inv_abc.cc:514] Executing Yosys failed! Confirmed synthesized invariants: ~((m1.imp[0:0] & m1.v[0:0]) | (~m1.imp[0:0] & ~m1.v[0:0])) [ OK ] TestVlgVerifInvSyn.CegarCntAbcBlif (30 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntAbcWithAssumption E0702 22:49:37.658651 9366 vtarget_gen_inv_abc.cc:568] Executing Yosys failed! [ OK ] TestVlgVerifInvSyn.CegarCntAbcWithAssumption (28 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntAbcInvStart E0702 22:49:37.688189 9366 vtarget_gen_inv_abc.cc:568] Executing Yosys failed! E0702 22:49:37.734863 9366 vtarget_gen_inv_abc.cc:568] Executing Yosys failed! Confirmed synthesized invariants: ~((m1impAndv[0:0] & m1.v[0:0]) | (~m1.imp[0:0] & ~m1.v[0:0])) ~((m1.imp[0:0] & m1.v[0:0]) | (~m1.imp[0:0] & ~m1.v[0:0])) [ OK ] TestVlgVerifInvSyn.CegarCntAbcInvStart (78 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntGrain E0702 22:49:37.766268 9366 vtarget_gen_inv_chc.cc:546] Executing Yosys failed! Confirmed synthesized invariants: (m1.imp) == (~(m1.v)) [ OK ] TestVlgVerifInvSyn.CegarCntGrain (32 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntGrainBackVars E0702 22:49:37.798308 9366 vtarget_gen_inv_chc.cc:546] Executing Yosys failed! Confirmed synthesized invariants: ((m1.imp) == (~(m1.v))) &&(!((m1.imp) == (~(m1.v)))) &&(((m1.imp) == (~(m1.v))) ||((m1.imp) == (~(m1.v)))) &&(((m1.imp) == (~(m1.v))) ? ((m1.imp) == (~(m1.v))) : ((m1.imp) == (~(m1.v)))) &&(((m1.imp) == (~(m1.v))) ^ ((m1.imp) == (~(m1.v)))) &&(!(((m1.imp) == (~(m1.v))) &&((m1.imp) == (~(m1.v))))) &&(({m1.v , m1.v}) == ({m1.imp , m1.imp})) &&((m1.imp) == ((m1.imp) &(m1.v))) &&((m1.imp) == (~((m1.imp) &(m1.v)))) &&((m1.imp) == ((m1.imp) |(m1.v))) &&((m1.imp) == (~((m1.imp) |(m1.v)))) &&((m1.imp) == ((m1.imp) ^ (m1.v))) &&((m1.imp) == (~((m1.imp) ^ (m1.v)))) &&((m1.imp) < (m1.v)) &&($signed(m1.imp) < $signed(m1.v)) &&((m1.imp) <= (m1.v)) &&($signed(m1.imp) <= $signed(m1.v)) &&((m1.imp) > (m1.v)) &&($signed(m1.imp) > $signed(m1.v)) &&((m1.imp) >= (m1.v)) &&($signed(m1.imp) >= $signed(m1.v)) &&((m1.imp) == (m1.v)) &&((( ~(m1.imp) + 'b1 )) == (m1.v)) &&(((m1.imp) +(m1.v) +(m1.v)) == (m1.v)) &&(((m1.imp) - (m1.v)) == (m1.v)) &&(((m1.imp) *(m1.v) *(m1.v)) == (m1.v)) &&(((m1.imp) / (m1.v)) == (m1.v)) &&(($signed(m1.imp) / $signed(m1.v)) == (m1.v)) &&(($signed(m1.imp) % $signed(m1.v)) == (m1.v)) &&(((m1.imp) % (m1.v)) == (m1.v)) &&(((m1.imp) << (2'b01)) == (m1.v)) &&(((m1.imp) >> (4'h1)) == (m1.v)) &&(((m1.imp) >>> (3'd3)) == (m1.v)) &&((__INV_EXT_new_local_var_5__[5:2]) == (m1.imp)) &&((m1.v[2:0]) == (m1.imp[2:0])) [ OK ] TestVlgVerifInvSyn.CegarCntGrainBackVars (40 ms) [ RUN ] TestVlgVerifInvSyn.CegarPipelineAbcAigEnhance E0702 22:49:37.859745 9366 vtarget_gen_inv_abc.cc:568] Executing Yosys failed! E0702 22:49:37.890208 9366 vtarget_gen_inv_enhance.cc:527] Executing Yosys failed! [ OK ] TestVlgVerifInvSyn.CegarPipelineAbcAigEnhance (110 ms) [ RUN ] TestVlgVerifInvSyn.SimpleCntRelChc E0702 22:49:37.944111 9366 vtarget_gen_relchc.cc:374] Executing Yosys failed! [ OK ] TestVlgVerifInvSyn.SimpleCntRelChc (25 ms) [ RUN ] TestVlgVerifInvSyn.SimpleCntRelChcNoStart E0702 22:49:37.969795 9366 vtarget_gen_relchc.cc:374] Executing Yosys failed! [ OK ] TestVlgVerifInvSyn.SimpleCntRelChcNoStart (25 ms) [----------] 13 tests from TestVlgVerifInvSyn (538 ms total) [----------] 2 tests from InvSynSupportAuxClass [ RUN ] InvSynSupportAuxClass.CexObj [ OK ] InvSynSupportAuxClass.CexObj (2 ms) [ RUN ] InvSynSupportAuxClass.InvCnf [ OK ] InvSynSupportAuxClass.InvCnf (0 ms) [----------] 2 tests from InvSynSupportAuxClass (2 ms total) [----------] Global test environment tear-down [==========] 336 tests from 45 test cases ran. (247595 ms total) [ PASSED ] 336 tests. Built target run_test ctest -R ExampleCMakeBuild Test project /home/semaphore/ILAng/build Start 2: ExampleCMakeBuild 1/1 Test #2: ExampleCMakeBuild ................ Passed 1.45 sec 100% tests passed, 0 tests failed out of 1 Total Test time (real) = 1.45 sec export SEMAPHORE_JOB_RESULT=passed