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.9.2/linux.tar toolbox/ toolbox/libcheckout toolbox/test-results toolbox/install-package toolbox/cache toolbox/retry toolbox/toolbox toolbox/system-metrics-collector toolbox/when toolbox/sem-service-check-params toolbox/spc toolbox/sem-service toolbox/install-toolbox toolbox/sem-dockerize toolbox/README.md toolbox/ssh-session-cli toolbox/libchecksum toolbox/sem-install toolbox/sem-version toolbox/artifact 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 2438 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 d640ab2 label added in json sudo apt-get update 0% [Working] Hit:1 http://mirror.hetzner.de/ubuntu/packages bionic InRelease 0% [Connecting to de.archive.ubuntu.com (141.30.62.25)] [Connecting to ppa.laun 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% [Waiting for headers] [Waiting for headers] [Waiting for headers] [Connected 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Waiti Hit:7 http://ppa.launchpad.net/ansible/ansible/ubuntu trusty InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Conne Hit:8 http://de.archive.ubuntu.com/ubuntu bionic InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Conne Get:9 http://mirror.init7.net/ubuntu bionic-updates InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [9 InRelease 14.2 kB/88.7 kB Hit:10 https://baltocdn.com/helm/stable/debian all InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [9 InRelease 14.2 kB/88.7 kB Get:11 https://download.docker.com/linux/ubuntu bionic InRelease [64.4 kB] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [9 InRelease 14.2 kB/88.7 kB 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [9 InRelease 43.2 kB/88.7 kB Hit:12 https://storage.googleapis.com/bazel-apt stable InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [9 InRelease 43.2 kB/88.7 kB Get:13 http://de.archive.ubuntu.com/ubuntu bionic-security InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.5 kB/88.7 kB 15%] [9 InRelease 43 Get:14 http://packages.cloud.google.com/apt cloud-sdk-bionic InRelease [6,780 B] 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.5 kB/88.7 kB 15%] [9 InRelease 43 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.5 kB/88.7 kB 15%] [9 InRelease 43 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.5 kB/88.7 kB 15%] [Waiting for he Hit:15 https://dl.yarnpkg.com/debian stable InRelease 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.5 kB/88.7 kB 15%] [Waiting for he Get:16 http://mirror.init7.net/ubuntu bionic-backports InRelease [74.6 kB] 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.5 kB/88.7 kB 15%] [16 InRelease 2 Get:17 http://ppa.launchpad.net/git-core/ppa/ubuntu bionic InRelease [20.8 kB] 0% [1 InRelease gpgv 242 kB] [13 InRelease 40.8 kB/88.7 kB 46%] [16 InRelease 6 Hit:18 https://packages.microsoft.com/repos/azure-cli bionic InRelease 0% [1 InRelease gpgv 242 kB] [13 InRelease 40.8 kB/88.7 kB 46%] [16 InRelease 6 0% [1 InRelease gpgv 242 kB] [13 InRelease 40.8 kB/88.7 kB 46%] [17 InRelease 1 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [17 In Get:19 http://mirror.init7.net/ubuntu bionic-security InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [19 InRelease 28.7 kB/88.7 k 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [17 InRelease 17.1 kB/20.8 k 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Connecting to packagecloud. Get:20 http://de.archive.ubuntu.com/ubuntu bionic-updates InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [20 InRelease 27.1 kB/88.7 kB 31%] [Connecting to 0% [1 InRelease gpgv 242 kB] [Connecting to ppa.launchpad.net (91.189.95.85)] [ 0% [Waiting for headers] [Connecting to packagecloud.io (54.183.38.243)] 0% [2 InRelease gpgv 88.7 kB] [Waiting for headers] [Connecting to packagecloud Hit:21 http://ppa.launchpad.net/cwchien/gradle/ubuntu bionic InRelease 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 (54.183.38.243)] 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,099 kB] 0% [3 InRelease gpgv 74.6 kB] [23 Packages 288 kB/2,099 kB 14%] [Waiting for he Hit:24 http://ppa.launchpad.net/deadsnakes/ppa/ubuntu bionic InRelease 0% [3 InRelease gpgv 74.6 kB] [23 Packages 1,320 kB/2,099 kB 63%] [Connected to 0% [3 InRelease gpgv 74.6 kB] [Connected to packagecloud.io (54.183.38.243)] Get:25 http://mirror.hetzner.de/ubuntu/packages bionic-updates/main i386 Packages [1,298 kB] 0% [3 InRelease gpgv 74.6 kB] [25 Packages 0 B/1,298 kB 0%] [Connected to packa 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [25 Packages 297 kB/1,298 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:26 http://mirror.hetzner.de/ubuntu/packages bionic-updates/main Translation-en [417 kB] 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [26 Translation-en 18.9 k 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:27 http://mirror.hetzner.de/ubuntu/packages bionic-updates/restricted amd64 Packages [370 kB] 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [27 Packages 60.0 kB/370 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:28 http://mirror.hetzner.de/ubuntu/packages bionic-updates/restricted Translation-en [50.1 kB] 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [28 Translation-en 17.9 k 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 amd64 Packages [1,736 kB] 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [29 Packages 12.3 kB/1,73 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 i386 Packages [1,568 kB] 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [30 Packages 4,096 B/1,56 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Co Get:31 http://mirror.hetzner.de/ubuntu/packages bionic-updates/universe Translation-en [370 kB] 0% [23 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [31 Translation-en 5,945 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 (54.183.38.243)] 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 (54.183.38.243)] 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 [994 kB] 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [32 Packages 0 B/994 kB 0% 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 amd64 Packages [1,753 kB] 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [33 Packages 17.5 kB/1,753 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [Waiting for headers] [Wai Get:34 http://mirror.hetzner.de/ubuntu/packages bionic-security/main Translation-en [326 kB] 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [34 Translation-en 4,096 B 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [Waiting for headers] Get:35 http://mirror.hetzner.de/ubuntu/packages bionic-security/universe amd64 Packages [1,128 kB] 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [35 Packages 0 B/1,128 kB 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [Waiting for headers] [Wai Get:36 http://mirror.hetzner.de/ubuntu/packages bionic-security/universe i386 Packages [983 kB] 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [36 Packages 21.1 kB/983 k 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [Waiting for headers] [Wai Get:37 http://mirror.hetzner.de/ubuntu/packages bionic-security/universe Translation-en [255 kB] 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [37 Translation-en 65.5 kB 0% [23 Packages store 0 B] [5 InRelease gpgv 242 kB] [Waiting for headers] 0% [5 InRelease gpgv 242 kB] [Waiting for headers] 0% [25 Packages store 0 B] [5 InRelease gpgv 242 kB] [Waiting for headers] 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] [7 InRelease gpgv 16.0 kB] [Waiting for headers] [Wa 0% [25 Packages store 0 B] [7 InRelease gpgv 16.0 kB] [Waiting for headers] Get:39 http://dl.google.com/linux/chrome/deb stable/main amd64 Packages [1,101 B] 0% [25 Packages store 0 B] [7 InRelease gpgv 16.0 kB] [39 Packages 1,101 B/1,10 0% [25 Packages store 0 B] [7 InRelease gpgv 16.0 kB] 0% [Connected to d28dx6y1hfq314.cloudfront.net (13.225.84.211)] [7 InRelease gp 0% [Connected to d28dx6y1hfq314.cloudfront.net (13.225.84.211)] [26 Translation 0% [Waiting for headers] [26 Translation-en store 0 B] 0% [Waiting for headers] [26 Translation-en store 0 B] [8 InRelease gpgv 242 kB 0% [Waiting for headers] [8 InRelease gpgv 242 kB] 0% [Waiting for headers] [27 Packages store 0 B] [8 InRelease gpgv 242 kB] 0% [Waiting for headers] [8 InRelease gpgv 242 kB] 0% [Waiting for headers] [28 Translation-en store 0 B] [8 InRelease gpgv 242 kB 0% [Waiting for headers] [28 Translation-en store 0 B] 0% [Waiting for headers] [28 Translation-en store 0 B] [10 InRelease gpgv 7,652 0% [Waiting for headers] [10 InRelease gpgv 7,652 B] 0% [Waiting for headers] [29 Packages store 0 B] [10 InRelease gpgv 7,652 B] 0% [Waiting for headers] [29 Packages store 0 B] 0% [Waiting for headers] [29 Packages store 0 B] [11 InRelease gpgv 64.4 kB] 0% [Waiting for headers] [29 Packages store 0 B] 0% [Waiting for headers] [29 Packages store 0 B] [12 InRelease gpgv 2,256 B] 0% [Waiting for headers] [29 Packages store 0 B] 0% [Waiting for headers] [29 Packages store 0 B] [14 InRelease gpgv 6,780 B] 0% [Waiting for headers] [14 InRelease gpgv 6,780 B] 0% [Waiting for headers] [30 Packages store 0 B] [14 InRelease gpgv 6,780 B] 0% [Waiting for headers] [30 Packages store 0 B] 0% [Waiting for headers] [30 Packages store 0 B] [9 InRelease gpgv 88.7 kB] [Wa Get:40 http://packages.cloud.google.com/apt cloud-sdk-bionic/main i386 Packages [159 kB] 0% [Waiting for headers] [30 Packages store 0 B] [9 InRelease gpgv 88.7 kB] [40 0% [Waiting for headers] [30 Packages store 0 B] [9 InRelease gpgv 88.7 kB] Get:41 http://packages.cloud.google.com/apt cloud-sdk-bionic/main amd64 Packages [188 kB] 0% [Waiting for headers] [30 Packages store 0 B] [9 InRelease gpgv 88.7 kB] [41 0% [Waiting for headers] [30 Packages store 0 B] [9 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 17.1 kB] [W Get:42 http://mirror.init7.net/ubuntu bionic-updates/main i386 Packages [1,298 kB] 0% [Waiting for headers] [30 Packages store 0 B] [15 InRelease gpgv 17.1 kB] [4 0% [Waiting for headers] [15 InRelease gpgv 17.1 kB] [42 Packages 789 kB/1,298 0% [Waiting for headers] [31 Translation-en store 0 B] [15 InRelease gpgv 17.1 Hit:38 https://packagecloud.io/github/git-lfs/ubuntu bionic InRelease 0% [31 Translation-en store 0 B] [15 InRelease gpgv 17.1 kB] [42 Packages 789 k 0% [31 Translation-en store 0 B] [15 InRelease gpgv 17.1 kB] 0% [31 Translation-en store 0 B] [Waiting for headers] 0% [31 Translation-en store 0 B] [18 InRelease gpgv 3,964 B] [Waiting for heade Get:43 http://mirror.init7.net/ubuntu bionic-updates/main amd64 Packages [2,099 kB] 0% [31 Translation-en store 0 B] [18 InRelease gpgv 3,964 B] [43 Packages 760 k 0% [18 InRelease gpgv 3,964 B] [43 Packages 1,503 kB/2,099 kB 72%] 0% [32 Packages store 0 B] [18 InRelease gpgv 3,964 B] [43 Packages 1,503 kB/2, 0% [32 Packages store 0 B] [18 InRelease gpgv 3,964 B] Get:44 http://mirror.init7.net/ubuntu bionic-updates/main Translation-en [417 kB] 0% [32 Packages store 0 B] [18 InRelease gpgv 3,964 B] [44 Translation-en 0 B/4 0% [32 Packages store 0 B] [18 InRelease gpgv 3,964 B] Get:45 http://mirror.init7.net/ubuntu bionic-updates/restricted amd64 Packages [370 kB] 0% [32 Packages store 0 B] [18 InRelease gpgv 3,964 B] [45 Packages 0 B/370 kB 0% [32 Packages store 0 B] [18 InRelease gpgv 3,964 B] Get:46 http://mirror.init7.net/ubuntu bionic-updates/restricted Translation-en [50.1 kB] 0% [32 Packages store 0 B] [18 InRelease gpgv 3,964 B] [46 Translation-en 0 B/5 0% [32 Packages store 0 B] [18 InRelease gpgv 3,964 B] Get:47 http://mirror.init7.net/ubuntu bionic-updates/universe amd64 Packages [1,736 kB] 0% [32 Packages store 0 B] [18 InRelease gpgv 3,964 B] [47 Packages 0 B/1,736 k 0% [32 Packages store 0 B] [18 InRelease gpgv 3,964 B] Get:48 http://mirror.init7.net/ubuntu bionic-updates/universe i386 Packages [1,568 kB] 0% [32 Packages store 0 B] [18 InRelease gpgv 3,964 B] [48 Packages 0 B/1,568 k 0% [32 Packages store 0 B] [18 InRelease gpgv 3,964 B] Get:49 http://mirror.init7.net/ubuntu bionic-updates/universe Translation-en [370 kB] 0% [32 Packages store 0 B] [18 InRelease gpgv 3,964 B] [49 Translation-en 0 B/3 0% [32 Packages store 0 B] [18 InRelease gpgv 3,964 B] 0% [32 Packages store 0 B] 0% [32 Packages store 0 B] [16 InRelease gpgv 74.6 kB] 0% [16 InRelease gpgv 74.6 kB] 0% [33 Packages store 0 B] [16 InRelease gpgv 74.6 kB] 0% [33 Packages store 0 B] 0% [33 Packages store 0 B] [13 InRelease gpgv 88.7 kB] 0% [33 Packages store 0 B] 0% [33 Packages store 0 B] [19 InRelease gpgv 88.7 kB] [Waiting for headers] Get:50 http://de.archive.ubuntu.com/ubuntu bionic-security/main i386 Packages [994 kB] 0% [33 Packages store 0 B] [19 InRelease gpgv 88.7 kB] [50 Packages 13.4 kB/994 0% [33 Packages store 0 B] [50 Packages 95.5 kB/994 kB 10%] 0% [33 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [50 Packages 95.5 kB/994 Get:51 http://mirror.init7.net/ubuntu bionic-security/main amd64 Packages [1,753 kB] 0% [33 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [50 Packages 205 kB/994 0% [33 Packages store 0 B] [17 InRelease gpgv 20.8 kB] [50 Packages 835 kB/994 0% [17 InRelease gpgv 20.8 kB] [50 Packages 835 kB/994 kB 84%] [Waiting for hea 0% [34 Translation-en store 0 B] [17 InRelease gpgv 20.8 kB] [50 Packages 835 k Get:52 http://mirror.init7.net/ubuntu bionic-security/main i386 Packages [994 kB] 0% [34 Translation-en store 0 B] [17 InRelease gpgv 20.8 kB] [50 Packages 864 k 0% [34 Translation-en store 0 B] [17 InRelease gpgv 20.8 kB] [52 Packages 359 k Get:53 http://de.archive.ubuntu.com/ubuntu bionic-security/main amd64 Packages [1,753 kB] 0% [34 Translation-en store 0 B] [17 InRelease gpgv 20.8 kB] [53 Packages 164 k 0% [34 Translation-en store 0 B] [17 InRelease gpgv 20.8 kB] [53 Packages 819 k Get:54 http://mirror.init7.net/ubuntu bionic-security/main Translation-en [326 kB] 0% [34 Translation-en store 0 B] [17 InRelease gpgv 20.8 kB] [53 Packages 819 k 0% [34 Translation-en store 0 B] [17 InRelease gpgv 20.8 kB] [53 Packages 819 k Get:55 http://mirror.init7.net/ubuntu bionic-security/universe amd64 Packages [1,128 kB] 0% [34 Translation-en store 0 B] [17 InRelease gpgv 20.8 kB] [53 Packages 819 k 0% [34 Translation-en store 0 B] [17 InRelease gpgv 20.8 kB] [55 Packages 723 k 0% [34 Translation-en store 0 B] [17 InRelease gpgv 20.8 kB] Get:56 http://de.archive.ubuntu.com/ubuntu bionic-security/main Translation-en [326 kB] 0% [34 Translation-en store 0 B] [17 InRelease gpgv 20.8 kB] [56 Translation-en Get:57 http://mirror.init7.net/ubuntu bionic-security/universe i386 Packages [983 kB] 0% [34 Translation-en store 0 B] [17 InRelease gpgv 20.8 kB] [56 Translation-en 0% [34 Translation-en store 0 B] [56 Translation-en 82.0 kB/326 kB 25%] [57 Pac Get:58 http://de.archive.ubuntu.com/ubuntu bionic-security/universe amd64 Packages [1,128 kB] 0% [34 Translation-en store 0 B] [20 InRelease gpgv 88.7 kB] [58 Packages 197 k 0% [20 InRelease gpgv 88.7 kB] [58 Packages 1,128 kB/1,128 kB 100%] [57 Package 0% [35 Packages store 0 B] [20 InRelease gpgv 88.7 kB] [58 Packages 1,128 kB/1, 0% [35 Packages store 0 B] [20 InRelease gpgv 88.7 kB] [57 Packages 873 kB/983 Get:59 http://de.archive.ubuntu.com/ubuntu bionic-security/universe i386 Packages [983 kB] 0% [35 Packages store 0 B] [20 InRelease gpgv 88.7 kB] [59 Packages 0 B/983 kB 0% [35 Packages store 0 B] [20 InRelease gpgv 88.7 kB] [59 Packages 470 kB/983 Get:60 http://mirror.init7.net/ubuntu bionic-security/universe Translation-en [255 kB] 0% [35 Packages store 0 B] [20 InRelease gpgv 88.7 kB] [59 Packages 470 kB/983 0% [35 Packages store 0 B] [20 InRelease gpgv 88.7 kB] [60 Translation-en 126 k Get:61 http://de.archive.ubuntu.com/ubuntu bionic-security/universe Translation-en [255 kB] 0% [35 Packages store 0 B] [20 InRelease gpgv 88.7 kB] [61 Translation-en 0 B/2 0% [35 Packages store 0 B] [20 InRelease gpgv 88.7 kB] [60 Translation-en 155 k 0% [35 Packages store 0 B] [20 InRelease gpgv 88.7 kB] [Waiting for headers] Get:62 http://ppa.launchpad.net/git-core/ppa/ubuntu bionic/main amd64 Packages [3,032 B] 0% [35 Packages store 0 B] [20 InRelease gpgv 88.7 kB] [62 Packages 2,672 B/3,0 0% [35 Packages store 0 B] [20 InRelease gpgv 88.7 kB] Get:63 http://ppa.launchpad.net/git-core/ppa/ubuntu bionic/main i386 Packages [3,020 B] 0% [35 Packages store 0 B] [20 InRelease gpgv 88.7 kB] [63 Packages 2,672 B/3,0 0% [35 Packages store 0 B] [20 InRelease gpgv 88.7 kB] 0% [35 Packages store 0 B] 0% [35 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [Waiting for headers] Get:64 http://de.archive.ubuntu.com/ubuntu bionic-updates/main i386 Packages [1,298 kB] 0% [35 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [64 Packages 136 kB/1,29 0% [21 InRelease gpgv 15.4 kB] [64 Packages 1,197 kB/1,298 kB 92%] 0% [36 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [64 Packages 1,197 kB/1, 0% [36 Packages store 0 B] [21 InRelease gpgv 15.4 kB] Get:65 http://de.archive.ubuntu.com/ubuntu bionic-updates/main amd64 Packages [2,099 kB] 0% [36 Packages store 0 B] [21 InRelease gpgv 15.4 kB] [65 Packages 12.3 kB/2,0 0% [36 Packages store 0 B] [65 Packages 860 kB/2,099 kB 41%] 0% [36 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [65 Packages 860 kB/2,09 0% [36 Packages store 0 B] [22 InRelease gpgv 15.4 kB] Get:66 http://de.archive.ubuntu.com/ubuntu bionic-updates/main Translation-en [417 kB] 0% [36 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [66 Translation-en 0 B/4 0% [36 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for headers] Get:67 http://de.archive.ubuntu.com/ubuntu bionic-updates/restricted amd64 Packages [370 kB] 0% [36 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [67 Packages 65.5 kB/370 0% [36 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for headers] Get:68 http://de.archive.ubuntu.com/ubuntu bionic-updates/restricted Translation-en [50.1 kB] 0% [36 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [68 Translation-en 26.1 0% [36 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for headers] Get:69 http://de.archive.ubuntu.com/ubuntu bionic-updates/universe i386 Packages [1,568 kB] 0% [36 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [69 Packages 41.3 kB/1,5 0% [36 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for headers] Get:70 http://de.archive.ubuntu.com/ubuntu bionic-updates/universe amd64 Packages [1,736 kB] 0% [36 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [70 Packages 10.3 kB/1,7 0% [22 InRelease gpgv 15.4 kB] [70 Packages 653 kB/1,736 kB 38%] 0% [37 Translation-en store 0 B] [22 InRelease gpgv 15.4 kB] [70 Packages 653 k 0% [37 Translation-en store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for heade Get:71 http://de.archive.ubuntu.com/ubuntu bionic-updates/universe Translation-en [370 kB] 0% [37 Translation-en store 0 B] [22 InRelease gpgv 15.4 kB] [71 Translation-en 0% [37 Translation-en store 0 B] [22 InRelease gpgv 15.4 kB] 0% [22 InRelease gpgv 15.4 kB] 0% [39 Packages store 0 B] [22 InRelease gpgv 15.4 kB] 0% [22 InRelease gpgv 15.4 kB] 0% [40 Packages store 0 B] [22 InRelease gpgv 15.4 kB] 0% [40 Packages store 0 B] 0% [40 Packages store 0 B] [24 InRelease gpgv 15.9 kB] 0% [24 InRelease gpgv 15.9 kB] 0% [41 Packages store 0 B] [24 InRelease gpgv 15.9 kB] 0% [24 InRelease gpgv 15.9 kB] 0% [42 Packages store 0 B] [24 InRelease gpgv 15.9 kB] 0% [42 Packages store 0 B] 0% [42 Packages store 0 B] [38 InRelease gpgv 23.2 kB] 99% [42 Packages 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 Translation-en store 0 B] 99% [Working] 99% [47 Packages store 0 B] 99% [Working] 99% [48 Packages store 0 B] 99% [Working] 99% [49 Translation-en store 0 B] 99% [Working] 99% [51 Packages store 0 B] 99% [Working] 99% [50 Packages store 0 B] 99% [Working] 99% [52 Packages store 0 B] 99% [Working] 99% [54 Translation-en store 0 B] 99% [Working] 99% [53 Packages store 0 B] 99% [Working] 99% [55 Packages store 0 B] 99% [Working] 99% [56 Translation-en store 0 B] 99% [Working] 99% [58 Packages store 0 B] 99% [Working] 99% [57 Packages store 0 B] 99% [Working] 99% [59 Packages store 0 B] 100% [Working] 100% [61 Translation-en store 0 B] 100% [Working] 100% [60 Translation-en store 0 B] 100% [Working] 100% [62 Packages store 0 B] 100% [Working] 100% [63 Packages store 0 B] 100% [Working] 100% [64 Packages store 0 B] 100% [Working] 100% [65 Packages store 0 B] 100% [Working] 100% [66 Translation-en store 0 B] 100% [Working] 100% [67 Packages store 0 B] 100% [Working] 100% [68 Translation-en store 0 B] 100% [Working] 100% [69 Packages store 0 B] 100% [Working] 100% [70 Packages store 0 B] 100% [Working] 6,749 kB/s 0s 100% [71 Translation-en store 0 B] 6,749 kB/s 0s 100% [Working] 6,749 kB/s 0s Fetched 41.2 MB in 6s (6,679 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... 13% 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... 20% Reading package lists... 20% 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... 40% Reading package lists... 40% Reading package lists... 40% Reading package lists... 40% 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... 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... 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... 83% 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... 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... 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.3 kB/11.4 kB 100%] 9% [Working] Get:3 http://de.archive.ubuntu.com/ubuntu bionic/main amd64 libfl-dev amd64 2.6.4-6 [6,320 B] 9% [3 libfl-dev 6,320 B/6,320 B 100%] 12% [Working] Get:4 http://de.archive.ubuntu.com/ubuntu bionic/universe amd64 libz3-4 amd64 4.4.1-0.3build4 [5,183 kB] 13% [4 libz3-4 58.5 kB/5,183 kB 1%] 54% [Waiting for headers] Get:5 http://de.archive.ubuntu.com/ubuntu bionic/universe amd64 libz3-dev amd64 4.4.1-0.3build4 [64.2 kB] 55% [5 libz3-dev 52.3 kB/64.2 kB 81%] 58% [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 0 B/5,204 kB 0%] 100% [Working] Fetched 10.8 MB in 0s (31.0 MB/s) Selecting previously unselected package flex. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 247108 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.31.1") -- The C compiler identification is GNU 8.4.0 -- Check for working C compiler: /usr/bin/gcc-8 -- Check for working C compiler: /usr/bin/gcc-8 -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Looking for pthread.h -- Looking for pthread.h - found -- Looking for pthread_create -- Looking for pthread_create - not found -- Looking for pthread_create in pthreads -- Looking for pthread_create in pthreads - not found -- Looking for pthread_create in pthread -- Looking for pthread_create in pthread - found -- Found Threads: TRUE -- Looking for dlfcn.h -- Looking for dlfcn.h - found -- Looking for execinfo.h -- Looking for execinfo.h - found -- Looking for glob.h -- Looking for glob.h - found -- Looking for inttypes.h -- Looking for inttypes.h - found -- Looking for libunwind.h -- Looking for libunwind.h - not found -- Looking for memory.h -- Looking for memory.h - found -- Looking for pwd.h -- Looking for pwd.h - found -- Looking for stdint.h -- Looking for stdint.h - found -- Looking for stdlib.h -- Looking for stdlib.h - found -- Looking for string.h -- Looking for string.h - found -- Looking for strings.h -- Looking for strings.h - found -- Looking for sys/stat.h -- Looking for sys/stat.h - found -- Looking for sys/syscall.h -- Looking for sys/syscall.h - found -- Looking for sys/time.h -- Looking for sys/time.h - found -- Looking for sys/types.h -- Looking for sys/types.h - found -- Looking for sys/utsname.h -- Looking for sys/utsname.h - found -- Looking for syscall.h -- Looking for syscall.h - found -- Looking for syslog.h -- Looking for syslog.h - found -- Looking for ucontext.h -- Looking for ucontext.h - found -- Looking for unistd.h -- Looking for unistd.h - found -- Looking for unwind.h -- Looking for unwind.h - found -- Looking for C++ include ext/hash_map -- Looking for C++ include ext/hash_map - found -- Looking for C++ include ext/hash_set -- Looking for C++ include ext/hash_set - found -- Looking for C++ include ext/slist -- Looking for C++ include ext/slist - found -- Looking for C++ include tr1/unordered_map -- Looking for C++ include tr1/unordered_map - found -- Looking for C++ include tr1/unordered_set -- Looking for C++ include tr1/unordered_set - found -- Looking for C++ include unordered_map -- Looking for C++ include unordered_map - found -- Looking for C++ include unordered_set -- Looking for C++ include unordered_set - found -- Looking for stddef.h -- Looking for stddef.h - found -- Check size of unsigned __int16 -- Check size of unsigned __int16 - failed -- Check size of u_int16_t -- Check size of u_int16_t - done -- Check size of uint16_t -- Check size of uint16_t - done -- Looking for dladdr -- Looking for dladdr - not found -- Looking for fcntl -- Looking for fcntl - found -- Looking for pread -- Looking for pread - found -- Looking for pwrite -- Looking for pwrite - found -- Looking for sigaction -- Looking for sigaction - found -- Looking for sigaltstack -- Looking for sigaltstack - found -- Performing Test HAVE_NO_DEPRECATED -- Performing Test HAVE_NO_DEPRECATED - Success -- Performing Test HAVE_NO_UNNAMED_TYPE_TEMPLATE_ARGS -- Performing Test HAVE_NO_UNNAMED_TYPE_TEMPLATE_ARGS - Failed -- Looking for snprintf -- Looking for snprintf - found -- Looking for get_static_proc_name in unwind -- Looking for get_static_proc_name in unwind - not found -- Looking for UnDecorateSymbolName in dbghelp -- Looking for UnDecorateSymbolName in dbghelp - not found -- Performing Test HAVE___ATTRIBUTE__ -- Performing Test HAVE___ATTRIBUTE__ - Success -- Performing Test HAVE___ATTRIBUTE__VISIBILITY_DEFAULT -- Performing Test HAVE___ATTRIBUTE__VISIBILITY_DEFAULT - Success -- Performing Test HAVE___ATTRIBUTE__VISIBILITY_HIDDEN -- Performing Test HAVE___ATTRIBUTE__VISIBILITY_HIDDEN - Success -- Performing Test HAVE___BUILTIN_EXPECT -- Performing Test HAVE___BUILTIN_EXPECT - Success -- Performing Test HAVE___SYNC_VAL_COMPARE_AND_SWAP -- Performing Test HAVE___SYNC_VAL_COMPARE_AND_SWAP - Success -- Performing Test HAVE_RWLOCK -- Performing Test HAVE_RWLOCK - Failed -- Performing Test HAVE___DECLSPEC -- Performing Test HAVE___DECLSPEC - Failed -- Performing Test STL_NO_NAMESPACE -- Performing Test STL_NO_NAMESPACE - Failed -- Performing Test STL_STD_NAMESPACE -- Performing Test STL_STD_NAMESPACE - Success -- Performing Test HAVE_USING_OPERATOR -- Performing Test HAVE_USING_OPERATOR - Success -- Performing Test HAVE_NAMESPACES -- Performing Test HAVE_NAMESPACES - Success -- Performing Test HAVE_GCC_TLS -- Performing Test HAVE_GCC_TLS - Success -- Performing Test HAVE_MSVC_TLS -- Performing Test HAVE_MSVC_TLS - Failed -- Performing Test HAVE_CXX11_TLS -- Performing Test HAVE_CXX11_TLS - Success -- Performing Test HAVE_ALIGNED_STORAGE -- Performing Test HAVE_ALIGNED_STORAGE - Success -- Performing Test HAVE_LOCALTIME_R -- Performing Test HAVE_LOCALTIME_R - Success -- Using the single-header code from /home/semaphore/ILAng/extern/json/single_include/ -- Version: 6.1.2 -- Build type: Debug -- CXX_STANDARD: 11 -- Performing Test has_std_11_flag -- Performing Test has_std_11_flag - Success -- Performing Test has_std_0x_flag -- Performing Test has_std_0x_flag - Success -- Performing Test SUPPORTS_VARIADIC_TEMPLATES -- Performing Test SUPPORTS_VARIADIC_TEMPLATES - Success -- Performing Test SUPPORTS_USER_DEFINED_LITERALS -- Performing Test SUPPORTS_USER_DEFINED_LITERALS - Success -- Performing Test FMT_HAS_VARIANT -- Performing Test FMT_HAS_VARIANT - Success -- Looking for strtod_l -- Looking for strtod_l - found -- Build Type: Debug -- Found BISON: /usr/bin/bison (found suitable version "3.0.4", minimum required is "3.0.4") -- Found FLEX: /usr/bin/flex (found suitable version "2.6.4", minimum required is "2.5.35") -- NOT building with coverage. -- Parser Build Flags Debug: -g -- Parser Link Flags Debug: -- Parser Build Flags Release: -O3 -DNDEBUG -- Parser Link Flags Release: -- Build Type: Debug -- NOT building with coverage. -- Parser Build Flags Debug: -g -- Parser Link Flags Debug: -- Parser Build Flags Release: -O3 -DNDEBUG -- Parser Link Flags Release: Submodule 'extern/vlog-parser' (https://github.com/Bo-Yuan-Huang/verilog-parser.git) registered for path 'vlog-parser' Cloning into '/home/semaphore/ILAng/extern/vlog-parser'... Submodule path 'vlog-parser': checked out '075699a67aa2af99b41160c93588984cb294290f' -- Build Type: Debug -- NOT building with coverage. -- Parser Build Flags Debug: -g -- Parser Link Flags Debug: -- Parser Build Flags Release: -O3 -DNDEBUG -- Parser Link Flags Release: -- Looking for C++ include filesystem -- Looking for C++ include filesystem - found -- Found PkgConfig: /usr/bin/pkg-config (found version "0.29.1") -- Found Z3: /usr/include -- Z3 version: 4.4.1 -- Z3 lib dir: /usr/lib/x86_64-linux-gnu/libz3.so -- Z3 include dir: /usr/include -- Found PythonInterp: /usr/bin/python (found version "2.7.17") -- Check if compiler accepts -pthread -- Check if compiler accepts -pthread - yes -- Configuring done -- Generating done -- Build files have been written to: /home/semaphore/ILAng/build make -j$(nproc) Scanning dependencies of target glog Scanning dependencies of target fmt [ 0%] Building CXX object extern/glog/CMakeFiles/glog.dir/src/demangle.cc.o [ 1%] Building CXX object extern/fmt/CMakeFiles/fmt.dir/src/format.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 [ 8%] Generating smtlib2flexlexer.c, smtlib2flexlexer.h [ 8%] Generating smtlib2bisonparser.c, smtlib2bisonparser.h /home/semaphore/ILAng/extern/smt-parser/src/smtlib2bisonparser.y:70.1-12: warning: deprecated directive, use ‘%pure-parser’ [-Wdeprecated] %pure_parser ^^^^^^^^^^^^ /home/semaphore/ILAng/extern/smt-parser/src/smtlib2bisonparser.y:72.1-13: warning: deprecated directive, use ‘%name-prefix’ [-Wdeprecated] %name-prefix="smtlib2_parser_" ^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/smt-parser/src/smtlib2bisonparser.y:96.1-12: warning: deprecated directive, use ‘%token-table’ [-Wdeprecated] %token_table ^^^^^^^^^^^^ [ 8%] Generating VCDScanner.cpp, VCDScanner.hpp Scanning dependencies of target vcdparser [ 8%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDScanner.cpp.o Scanning dependencies of target smtparser [ 9%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2flexlexer.c.o [ 9%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2bisonparser.c.o [ 9%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2hashtable.c.o [ 10%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2abstractparser.c.o [ 10%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2termparser.c.o [ 11%] 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 [ 12%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2charbuf.c.o [ 13%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDParser.cpp.o [ 13%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2stream.c.o [ 14%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2scanner.c.o [ 14%] Linking C shared library libsmtparser.so [ 14%] Built target smtparser [ 14%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDFile.cpp.o [ 15%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDFileParser.cpp.o [ 15%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDValue.cpp.o [ 15%] Generating verilog_parser.tab.c /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:166.17-29: warning: symbol binary_number is used, but is not defined as a token and has no rules [-Wother] %type binary_number ^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:165.17-30: warning: symbol decimal_number is used, but is not defined as a token and has no rules [-Wother] %type decimal_number ^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:167.17-26: warning: symbol hex_number is used, but is not defined as a token and has no rules [-Wother] %type hex_number ^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:168.17-28: warning: symbol octal_number is used, but is not defined as a token and has no rules [-Wother] %type octal_number ^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:169.17-27: warning: symbol real_number is used, but is not defined as a token and has no rules [-Wother] %type real_number ^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:822.28-42: warning: type clash on default action: != [-Wother] list_of_actual_arguments : actual_argument ^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:826.19-28: warning: type clash on default action: != [-Wother] actual_argument : expression ^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3705.27-47: warning: type clash on default action: != [-Wother] specify_item : specparam_declaration ^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3708.27-42: warning: type clash on default action: != [-Wother] | path_declaration ^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3712.27-78: warning: type clash on default action: != [-Wother] pulsestyle_declaration : KW_PULSESTYLE_ONEVENT list_of_path_outputs SEMICOLON ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3713.27-79: warning: type clash on default action: != [-Wother] | KW_PULSESTYLE_ONDETECT list_of_path_outputs SEMICOLON ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3716.31-77: warning: type clash on default action: != [-Wother] showcancelled_declaration : KW_SHOWCANCELLED list_of_path_outputs SEMICOLON ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3717.31-79: warning: type clash on default action: != [-Wother] | KW_NOSHOWCANCELLED list_of_path_outputs SEMICOLON ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4529.3-54: warning: type clash on default action: != [-Wother] OPEN_SQ_BRACKET constant_expression CLOSE_SQ_BRACKET ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4530.3-4531.33: warning: type clash on default action: != [-Wother] | OPEN_SQ_BRACKET constant_expression CLOSE_SQ_BRACKET ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y: warning: 11 nonterminals useless in grammar [-Wother] /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y: warning: 11 rules useless in grammar [-Wother] /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:543.38-50: warning: nonterminal useless in grammar: expressions_o [-Wother] %type expressions_o ^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:717.38-44: warning: nonterminal useless in grammar: comment [-Wother] %type comment ^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:721.38-53: warning: nonterminal useless in grammar: one_line_comment [-Wother] %type one_line_comment ^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:716.38-50: warning: nonterminal useless in grammar: block_comment [-Wother] %type block_comment ^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:715.38-41: warning: nonterminal useless in grammar: anys [-Wother] %type anys ^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:723.38-48: warning: nonterminal useless in grammar: white_space [-Wother] %type white_space ^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:166.17-29: warning: nonterminal useless in grammar: binary_number [-Wother] %type binary_number ^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:165.17-30: warning: nonterminal useless in grammar: decimal_number [-Wother] %type decimal_number ^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:167.17-26: warning: nonterminal useless in grammar: hex_number [-Wother] %type hex_number ^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:168.17-28: warning: nonterminal useless in grammar: octal_number [-Wother] %type octal_number ^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:169.17-27: warning: nonterminal useless in grammar: real_number [-Wother] %type real_number ^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3568.19-40: warning: rule useless in grammar [-Wother] expressions_o : expressions {$$ = $1;} |{$$=ast_list_new();} ^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3568.43-62: warning: rule useless in grammar [-Wother] expressions_o : expressions {$$ = $1;} |{$$=ast_list_new();} ^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4699.23-47: warning: rule useless in grammar [-Wother] comment : one_line_comment {$$=$1;} ^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4700.23-47: warning: rule useless in grammar [-Wother] | block_comment {$$=$1;} ^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4703.23-43: warning: rule useless in grammar [-Wother] one_line_comment : COMMENT_LINE {$$=$1;}; ^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4705.23-44: warning: rule useless in grammar [-Wother] block_comment : COMMENT_BLOCK {$$=$1;}; ^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4736.8-24: warning: rule useless in grammar [-Wother] anys : anys ANY {$$=$2;} ^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4737.8-21: warning: rule useless in grammar [-Wother] | ANY {$$ = $1;} ^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4928.15-19: warning: rule useless in grammar [-Wother] white_space : SPACE | TAB | NEWLINE; ^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4928.23-25: warning: rule useless in grammar [-Wother] white_space : SPACE | TAB | NEWLINE; ^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4928.29-35: warning: rule useless in grammar [-Wother] white_space : SPACE | TAB | NEWLINE; ^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y: warning: 508 shift/reduce conflicts [-Wconflicts-sr] /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y: warning: 1781 reduce/reduce conflicts [-Wconflicts-rr] /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:1646.26-55: warning: rule useless in parser due to conflicts [-Wother] output_variable_type_o : output_variable_type {$$= $1;} |{$$=PARAM_GENERIC;}; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:1646.58-76: warning: rule useless in parser due to conflicts [-Wother] output_variable_type_o : output_variable_type {$$= $1;} |{$$=PARAM_GENERIC;}; ^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:1778.23-32: warning: rule useless in parser due to conflicts [-Wother] | {$$=NULL;} ^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:2160.46-65: warning: rule useless in parser due to conflicts [-Wother] task_port_type_o : task_port_type {$$=$1;} | {$$=PORT_TYPE_NONE;} ; ^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:2222.23-50: warning: rule useless in parser due to conflicts [-Wother] block_variable_type : variable_identifier {$$=$1;} ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:2228.29-38: warning: rule useless in parser due to conflicts [-Wother] delay2_o : delay2 {$$=$1;}| {$$=NULL;}; ^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3200.3-3203.3: warning: rule useless in parser due to conflicts [-Wother] block_item_declaration{ ^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3204.3-3207.1: warning: rule useless in parser due to conflicts [-Wother] | block_item_declarations block_item_declaration{ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3864.21-37: warning: rule useless in parser due to conflicts [-Wother] | {$$ = EDGE_NONE;} ^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3909.23-74: warning: rule useless in parser due to conflicts [-Wother] system_timing_check : {printf("%s:%d Not Supported\n",__FILE__,__LINE__);}; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4756.35-4757.48: warning: rule useless in parser due to conflicts [-Wother] hierarchical_block_identifier : hierarchical_identifier ^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4864.35-4867.1: warning: rule useless in parser due to conflicts [-Wother] system_task_identifier : SYSTEM_ID { ^^^^^^^^^^^ [ 16%] Linking CXX shared library libvcdparser.so [ 16%] Built target vcdparser Scanning dependencies of target gtest [ 17%] Building CXX object test/extern/googletest/googlemock/gtest/CMakeFiles/gtest.dir/src/gtest-all.cc.o [ 18%] Generating verilog_scanner.c /home/semaphore/ILAng/extern/vlog-parser/src/verilog_scanner.l:791: warning, -s option given but default rule can be matched Scanning dependencies of target verilogparser [ 19%] 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; ^~~~~~ [ 19%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_parser.tab.c.o [ 20%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast.c.o [ 20%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast_mem.c.o [ 21%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast_util.c.o [ 21%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast_common.c.o [ 22%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_parser_wrapper.c.o [ 22%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_preprocessor.c.o [ 23%] Linking C shared library libverilogparser.so [ 23%] Built target verilogparser Scanning dependencies of target signalhandler_unittest [ 24%] Building CXX object extern/glog/CMakeFiles/signalhandler_unittest.dir/src/signalhandler_unittest.cc.o [ 24%] Linking CXX executable signalhandler_unittest [ 24%] Built target signalhandler_unittest Scanning dependencies of target stl_logging_unittest [ 25%] Building CXX object extern/glog/CMakeFiles/stl_logging_unittest.dir/src/stl_logging_unittest.cc.o [ 25%] Linking CXX executable stl_logging_unittest [ 25%] Built target stl_logging_unittest Scanning dependencies of target stacktrace_unittest [ 26%] Building CXX object extern/glog/CMakeFiles/stacktrace_unittest.dir/src/stacktrace_unittest.cc.o [ 26%] Linking CXX shared library libgtestd.so [ 26%] Built target gtest Scanning dependencies of target demangle_unittest [ 26%] Building CXX object extern/glog/CMakeFiles/demangle_unittest.dir/src/demangle_unittest.cc.o [ 26%] Linking CXX executable stacktrace_unittest [ 26%] Built target stacktrace_unittest Scanning dependencies of target logging_unittest [ 27%] Building CXX object extern/glog/CMakeFiles/logging_unittest.dir/src/logging_unittest.cc.o [ 27%] Linking CXX executable demangle_unittest [ 27%] Built target demangle_unittest Scanning dependencies of target symbolize_unittest [ 27%] Building CXX object extern/glog/CMakeFiles/symbolize_unittest.dir/src/symbolize_unittest.cc.o [ 28%] Linking CXX executable symbolize_unittest [ 28%] Built target symbolize_unittest Scanning dependencies of target utilities_unittest [ 28%] Building CXX object extern/glog/CMakeFiles/utilities_unittest.dir/src/utilities_unittest.cc.o [ 28%] Linking CXX executable logging_unittest [ 28%] 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%] Linking CXX executable vcdparserexec [ 29%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparserexec.dir/main.c.o [ 30%] Linking C executable verilogparserexec [ 30%] Built target vcdparserexec [ 30%] Built target verilogparserexec Scanning dependencies of target ilang Scanning dependencies of target gmock [ 30%] Building CXX object test/extern/googletest/googlemock/CMakeFiles/gmock.dir/src/gmock-all.cc.o [ 31%] Building CXX object src/CMakeFiles/ilang.dir/ilang++.cc.o [ 31%] Linking CXX shared library libgmockd.so [ 31%] Built target gmock [ 31%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr.cc.o [ 32%] 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%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr_op.cc.o [ 33%] Linking CXX shared library libgtest_maind.so [ 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 [ 34%] 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 [ 35%] 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 [ 36%] 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 [ 37%] Building CXX object src/CMakeFiles/ilang.dir/ila/object.cc.o [ 38%] Building CXX object src/CMakeFiles/ilang.dir/ila/symbol.cc.o [ 38%] 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 [ 39%] 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 [ 40%] 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 [ 41%] 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 [ 42%] 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 [ 43%] 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 [ 44%] 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 [ 45%] 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 [ 46%] 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 [ 47%] Building CXX object src/CMakeFiles/ilang.dir/mcm/inter_ila_unroller.cc.o [ 47%] Building CXX object src/CMakeFiles/ilang.dir/mcm/memory_model.cc.o [ 48%] Building CXX object src/CMakeFiles/ilang.dir/mcm/sc_manual.cc.o [ 48%] 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 [ 49%] 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 [ 50%] 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 [ 51%] 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 [ 52%] Building CXX object src/CMakeFiles/ilang.dir/util/log.cc.o [ 53%] Building CXX object src/CMakeFiles/ilang.dir/util/str_util.cc.o [ 53%] Building CXX object src/CMakeFiles/ilang.dir/util/fs.cc.o [ 53%] Building CXX object src/CMakeFiles/ilang.dir/util/posix_emu.cc.o [ 54%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_parse.cc.o [ 54%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_analysis.cc.o [ 55%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_const_parser.cc.o [ 55%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_analysis_wrapper.cc.o [ 56%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/vlog_parser_util.cc.o [ 56%] Building CXX object src/CMakeFiles/ilang.dir/verilog-out/verilog_gen.cc.o [ 57%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/cex_extract.cc.o [ 57%] 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 [ 58%] 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 [ 59%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/inv_syn_cegar.cc.o [ 59%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/grain_inv_parse.cc.o [ 60%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/vtarget_gen_inv_chc.cc.o [ 60%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/vtarget_gen_inv_abc.cc.o [ 61%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/vtarget_gen_inv_enhance.cc.o [ 61%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/directive.cc.o [ 62%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/gen_util.cc.o [ 62%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/var_extract.cc.o [ 63%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_impl.cc.o [ 63%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target.cc.o [ 64%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_as.cc.o [ 64%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_connect.cc.o [ 65%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_misc.cc.o [ 65%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_cond.cc.o [ 65%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_inv_syn_support.cc.o [ 66%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_cosa.cc.o [ 66%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_jasper.cc.o [ 67%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_yosys.cc.o [ 67%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_relchc.cc.o [ 68%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen.cc.o [ 68%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vlg_mod.cc.o [ 69%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/absmem.cc.o [ 69%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/design_stat.cc.o [ 70%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/supplementary_info.cc.o [ 70%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/smt_ast.cc.o [ 71%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/yosys_smt_parser.cc.o [ 71%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/chc_inv_callback_fn.cc.o [ 72%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/chc_inv_in.cc.o [ 72%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/chc_inv_in_wrapper.cc.o [ 72%] Building CXX object src/CMakeFiles/ilang.dir/aqed-out/aqed_out.cc.o [ 73%] Building CXX object src/CMakeFiles/ilang.dir/aqed-out/aqed_vlog_out.cc.o [ 73%] Building CXX object src/CMakeFiles/ilang.dir/aqed-out/aqed_out_impl.cc.o [ 74%] Building CXX object src/CMakeFiles/ilang.dir/aqed-out/aqed_out_util.cc.o [ 74%] Linking CXX shared library libilang.so [ 74%] Built target ilang Scanning dependencies of target unit_tests [ 75%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/eq_ilas.cc.o [ 75%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/ila_sim_test.cc.o [ 75%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/mcm_ilas.cc.o [ 76%] 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 [ 77%] 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 [ 78%] 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 [ 79%] 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 [ 84%] 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 [ 85%] 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 [ 86%] 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 [ 98%] Building CXX object test/CMakeFiles/unit_tests.dir/t_aqed_support.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 [ 16%] 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 [ 73%] Built target gmock [ 74%] Built target gtest_main [100%] Built target unit_tests Install the project... -- Install configuration: "Debug" -- Installing: /usr/local/lib/cmake/ilang/ilangConfig.cmake -- Installing: /usr/local/lib/cmake/ilang/ilangConfigVersion.cmake -- Installing: /usr/local/lib/cmake/ilang/ilangTargets.cmake -- Installing: /usr/local/lib/cmake/ilang/ilangTargets-debug.cmake -- Installing: /usr/local/lib/libglogd.so.0.4.0 -- Installing: /usr/local/lib/libglogd.so.0 -- Installing: /usr/local/lib/libglogd.so -- Set runtime path of "/usr/local/lib/libglogd.so.0.4.0" to "/usr/local/lib" -- Installing: /usr/local/include/glog/logging.h -- Installing: /usr/local/include/glog/raw_logging.h -- Installing: /usr/local/include/glog/stl_logging.h -- Installing: /usr/local/include/glog/vlog_is_on.h -- Installing: /usr/local/include/glog/log_severity.h -- Installing: /usr/local/lib/cmake/glog/glog-config.cmake -- Installing: /usr/local/lib/cmake/glog/glog-config-version.cmake -- Installing: /usr/local/lib/cmake/glog/glog-targets.cmake -- Installing: /usr/local/lib/cmake/glog/glog-targets-debug.cmake -- Up-to-date: /usr/local/include -- Installing: /usr/local/include/nlohmann -- Installing: /usr/local/include/nlohmann/json.hpp -- Installing: /usr/local/lib/cmake/nlohmann_json/nlohmann_jsonConfig.cmake -- Installing: /usr/local/lib/cmake/nlohmann_json/nlohmann_jsonConfigVersion.cmake -- Installing: /usr/local/lib/cmake/nlohmann_json/nlohmann_jsonTargets.cmake -- Installing: /usr/local/lib/cmake/fmt/fmt-config.cmake -- Installing: /usr/local/lib/cmake/fmt/fmt-config-version.cmake -- Installing: /usr/local/lib/cmake/fmt/fmt-targets.cmake -- Installing: /usr/local/lib/cmake/fmt/fmt-targets-debug.cmake -- Installing: /usr/local/lib/libfmtd.so.6.1.2 -- Installing: /usr/local/lib/libfmtd.so.6 -- Installing: /usr/local/lib/libfmtd.so -- Set runtime path of "/usr/local/lib/libfmtd.so.6.1.2" to "/usr/local/lib" -- Installing: /usr/local/include/fmt/chrono.h -- Installing: /usr/local/include/fmt/color.h -- Installing: /usr/local/include/fmt/compile.h -- Installing: /usr/local/include/fmt/core.h -- Installing: /usr/local/include/fmt/format.h -- Installing: /usr/local/include/fmt/format-inl.h -- Installing: /usr/local/include/fmt/locale.h -- Installing: /usr/local/include/fmt/ostream.h -- Installing: /usr/local/include/fmt/posix.h -- Installing: /usr/local/include/fmt/printf.h -- Installing: /usr/local/include/fmt/ranges.h -- Installing: /usr/local/lib/pkgconfig/fmt.pc -- Installing: /usr/local/lib/cmake/vcdparser/vcdparserConfig.cmake -- Installing: /usr/local/lib/cmake/vcdparser/vcdparserConfigVersion.camke -- Installing: /usr/local/lib/cmake/vcdparser/vcdparserTargets.cmake -- Installing: /usr/local/lib/cmake/vcdparser/vcdparserTargets-debug.cmake -- Installing: /usr/local/lib/libvcdparser.so -- Set runtime path of "/usr/local/lib/libvcdparser.so" to "/usr/local/lib" -- Installing: /usr/local/bin/vcdparserexec -- Set runtime path of "/usr/local/bin/vcdparserexec" to "/usr/local/lib" -- Installing: /usr/local/include/vcdparser -- Installing: /usr/local/include/vcdparser/VCDValue.hpp -- Installing: /usr/local/include/vcdparser/VCDFile.hpp -- Installing: /usr/local/include/vcdparser/VCDTypes.hpp -- Installing: /usr/local/include/vcdparser/VCDFileParser.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/smtlib2parserinterface.h -- Installing: /usr/local/include/smtparser/smtlib2hashtable.h -- Installing: /usr/local/include/smtparser/smtlib2abstractparser.h -- Installing: /usr/local/include/smtparser/smtlib2types.h -- Installing: /usr/local/include/smtparser/smtlib2yices.h -- Installing: /usr/local/include/smtparser/smtlib2stream.h -- Installing: /usr/local/include/smtparser/smtlib2termparser.h -- Installing: /usr/local/include/smtparser/smtlib2charbuf.h -- Installing: /usr/local/include/smtparser/smtlib2utils.h -- Installing: /usr/local/include/smtparser/smtlib2vector.h -- Installing: /usr/local/include/smtparser/smtlib2parser.h -- Installing: /usr/local/include/smtparser/smtlib2genvector.h -- Installing: /usr/local/include/smtparser/smtlib2abstractparser_private.h -- Installing: /usr/local/include/smtparser/smtlib2scanner.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_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_preprocessor.h -- Installing: /usr/local/include/verilogparser/verilog_ast.h -- Installing: /usr/local/include/verilogparser/verilog_ast_common.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 337 tests from 46 test cases. [----------] Global test environment set-up. [----------] 2 tests from TestVerilogExportDeathTest [ RUN ] TestVerilogExportDeathTest.dup W0611 14:38:56.247767 9684 verilog_gen.cc:248] Redeclaration of x, ignored. W0611 14:38:56.253226 9684 verilog_gen.cc:256] Redeclaration of y, ignored. W0611 14:38:56.258312 9684 verilog_gen.cc:264] Redeclaration of z, ignored. [ OK ] TestVerilogExportDeathTest.dup (16 ms) [ RUN ] TestVerilogExportDeathTest.death [ OK ] TestVerilogExportDeathTest.death (5 ms) [----------] 2 tests from TestVerilogExportDeathTest (21 ms total) [----------] 11 tests from Testasthub [ RUN ] Testasthub.CreateVar [ OK ] Testasthub.CreateVar (1 ms) [ RUN ] Testasthub.CreateConst [ OK ] Testasthub.CreateConst (0 ms) [ RUN ] Testasthub.UnaryOp [ OK ] Testasthub.UnaryOp (28 ms) [ RUN ] Testasthub.BinaryOp [ OK ] Testasthub.BinaryOp (13 ms) [ RUN ] Testasthub.BinaryCompare [ OK ] Testasthub.BinaryCompare (12 ms) [ RUN ] Testasthub.Memory [ OK ] Testasthub.Memory (31 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 W0611 14:38:56.379714 9684 ast_hub.cc:332] Overwriting original paramters of mem(8, 8) [ OK ] Testasthub.MemSize (15 ms) [----------] 11 tests from Testasthub (121 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 W0611 14:38:56.397783 9684 ast_hub.cc:332] Overwriting original paramters of mem(16, 32) [ OK ] TestApi.EntryNum (17 ms) [ RUN ] TestApi.OutStream [ OK ] TestApi.OutStream (1 ms) [ RUN ] TestApi.VerilogGen W0611 14:38:56.411233 9684 verilog_gen.cc:1190] Currently, it does not translate the initial conditions W0611 14:38:56.411397 9684 verilog_gen.cc:1207] Valid condition for ILA: m is unset W0611 14:38:56.412855 9684 verilog_gen.cc:1317] For exporting a single instruction, the initial conditions are not exported, please be aware. W0611 14:38:56.412897 9684 verilog_gen.cc:1338] Valid condition for ILA: m is unset W0611 14:38:56.413563 9684 u_abs_knob.cc:343] Fetch not set for ILA.m W0611 14:38:56.413581 9684 u_abs_knob.cc:355] Valid not set for ILA.m I0611 14:38:56.414167 9684 u_abs_knob.cc:230] Flatten ILA.Load_ila_ W0611 14:38:56.414228 9684 verilog_gen.cc:1190] Currently, it does not translate the initial conditions W0611 14:38:56.414264 9684 verilog_gen.cc:1207] Valid condition for ILA: Load_ila_ is unset W0611 14:38:56.415006 9684 verilog_gen.cc:1317] For exporting a single instruction, the initial conditions are not exported, please be aware. W0611 14:38:56.415043 9684 verilog_gen.cc:1338] Valid condition for ILA: m is unset W0611 14:38:56.415649 9684 u_abs_knob.cc:343] Fetch not set for ILA.m W0611 14:38:56.415661 9684 u_abs_knob.cc:355] Valid not set for ILA.m I0611 14:38:56.416559 9684 u_abs_knob.cc:230] Flatten ILA.Add_ila_ W0611 14:38:56.416586 9684 verilog_gen.cc:1190] Currently, it does not translate the initial conditions W0611 14:38:56.416620 9684 verilog_gen.cc:1207] Valid condition for ILA: Add_ila_ is unset W0611 14:38:56.417786 9684 verilog_gen.cc:1317] For exporting a single instruction, the initial conditions are not exported, please be aware. W0611 14:38:56.417825 9684 verilog_gen.cc:1338] Valid condition for ILA: m is unset W0611 14:38:56.418380 9684 u_abs_knob.cc:343] Fetch not set for ILA.m W0611 14:38:56.418391 9684 u_abs_knob.cc:355] Valid not set for ILA.m I0611 14:38:56.418634 9684 u_abs_knob.cc:230] Flatten ILA.Store_ila_ W0611 14:38:56.418660 9684 verilog_gen.cc:1190] Currently, it does not translate the initial conditions W0611 14:38:56.418694 9684 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 (11 ms) [----------] 13 tests from TestApi (119 ms total) [----------] 1 test from TestCase [ RUN ] TestCase.AES_V_C_EQ unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestCase.AES_V_C_EQ (21 ms) [----------] 1 test from TestCase (21 ms total) [----------] 9 tests from TestCopyTree [ RUN ] TestCopyTree.AES_V_TOP unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestCopyTree.AES_V_TOP (7 ms) [ RUN ] TestCopyTree.AES_V_CHILD unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestCopyTree.AES_V_CHILD (16 ms) [ RUN ] TestCopyTree.AES_V unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestCopyTree.AES_V (22 ms) [ RUN ] TestCopyTree.AES_C_TOP unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestCopyTree.AES_C_TOP (8 ms) [ RUN ] TestCopyTree.AES_C_CHILD unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestCopyTree.AES_C_CHILD (3 ms) [ RUN ] TestCopyTree.AES_C unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestCopyTree.AES_C (10 ms) [ RUN ] TestCopyTree.GB_LOW unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestCopyTree.GB_LOW (17 ms) [ RUN ] TestCopyTree.RBM unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestCopyTree.RBM (37 ms) [ RUN ] TestCopyTree.OC8051 unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestCopyTree.OC8051 (1372 ms) [----------] 9 tests from TestCopyTree (1492 ms total) [----------] 3 tests from TestCrr [ RUN ] TestCrr.Refinement [ OK ] TestCrr.Refinement (1 ms) [ RUN ] TestCrr.Relation [ OK ] TestCrr.Relation (51 ms) [ RUN ] TestCrr.CompRefRel [ OK ] TestCrr.CompRefRel (14 ms) [----------] 3 tests from TestCrr (66 ms total) [----------] 4 tests from TestEqCheck [ RUN ] TestEqCheck.FF_Mono [ OK ] TestEqCheck.FF_Mono (481 ms) [ RUN ] TestEqCheck.CommDiag_HF [ OK ] TestEqCheck.CommDiag_HF (24114 ms) [ RUN ] TestEqCheck.IncCommDiag_HF [ OK ] TestEqCheck.IncCommDiag_HF (17580 ms) [ RUN ] TestEqCheck.NewIncCommDiag_HF [ OK ] TestEqCheck.NewIncCommDiag_HF (16589 ms) [----------] 4 tests from TestEqCheck (58764 ms total) [----------] 2 tests from TestExpr [ RUN ] TestExpr.ReplaceArgIdx [ OK ] TestExpr.ReplaceArgIdx (0 ms) [ RUN ] TestExpr.ReplaceArgExpr [ OK ] TestExpr.ReplaceArgExpr (0 ms) [----------] 2 tests from TestExpr (1 ms total) [----------] 9 tests from TestExprConst [ RUN ] TestExprConst.Construct [ OK ] TestExprConst.Construct (0 ms) [ RUN ] TestExprConst.BoolZ3Expr [ OK ] TestExprConst.BoolZ3Expr (4 ms) [ RUN ] TestExprConst.BvZ3Expr [ OK ] TestExprConst.BvZ3Expr (3 ms) [ RUN ] TestExprConst.MemZ3Expr [ OK ] TestExprConst.MemZ3Expr (4 ms) [ RUN ] TestExprConst.BoolVal [ OK ] TestExprConst.BoolVal (15 ms) [ RUN ] TestExprConst.BvVal [ OK ] TestExprConst.BvVal (14 ms) [ RUN ] TestExprConst.MemVal [ OK ] TestExprConst.MemVal (14 ms) [ RUN ] TestExprConst.BvConstBitwidth [ OK ] TestExprConst.BvConstBitwidth (16 ms) [ RUN ] TestExprConst.BvConstNumeric [ OK ] TestExprConst.BvConstNumeric (41 ms) [----------] 9 tests from TestExprConst (111 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 (8 ms) [ RUN ] TestExprOp.ZExt [ OK ] TestExprOp.ZExt (7 ms) [ RUN ] TestExprOp.SExt [ OK ] TestExprOp.SExt (7 ms) [ RUN ] TestExprOp.Negate [ OK ] TestExprOp.Negate (4 ms) [ RUN ] TestExprOp.Not [ OK ] TestExprOp.Not (4 ms) [ RUN ] TestExprOp.Complement [ OK ] TestExprOp.Complement (4 ms) [ RUN ] TestExprOp.And [ OK ] TestExprOp.And (11 ms) [ RUN ] TestExprOp.Or [ OK ] TestExprOp.Or (10 ms) [ RUN ] TestExprOp.Xor [ OK ] TestExprOp.Xor (11 ms) [ RUN ] TestExprOp.LeftShift [ OK ] TestExprOp.LeftShift (7 ms) [ RUN ] TestExprOp.RightShift [ OK ] TestExprOp.RightShift (8 ms) [ RUN ] TestExprOp.LogicRightShift [ OK ] TestExprOp.LogicRightShift (8 ms) [ RUN ] TestExprOp.Add [ OK ] TestExprOp.Add (8 ms) [ RUN ] TestExprOp.Sub [ OK ] TestExprOp.Sub (8 ms) [ RUN ] TestExprOp.Mul [ OK ] TestExprOp.Mul (8 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 (9 ms) [ RUN ] TestExprOp.LessThanOrEqual [ OK ] TestExprOp.LessThanOrEqual (8 ms) [ RUN ] TestExprOp.GreaterThanOrEqual [ OK ] TestExprOp.GreaterThanOrEqual (7 ms) [ RUN ] TestExprOp.UnsignedLessThan [ OK ] TestExprOp.UnsignedLessThan (8 ms) [ RUN ] TestExprOp.UnsignedGreaterThan [ OK ] TestExprOp.UnsignedGreaterThan (7 ms) [ RUN ] TestExprOp.UnsignedLessThanOrEqual [ OK ] TestExprOp.UnsignedLessThanOrEqual (8 ms) [ RUN ] TestExprOp.UnsignedGreaterThanOrEqual [ OK ] TestExprOp.UnsignedGreaterThanOrEqual (9 ms) [ RUN ] TestExprOp.Imply [ OK ] TestExprOp.Imply (4 ms) [ RUN ] TestExprOp.Ite [ OK ] TestExprOp.Ite (13 ms) [----------] 30 tests from TestExprOp (241 ms total) [----------] 7 tests from TestExprVar [ RUN ] TestExprVar.Construct [ OK ] TestExprVar.Construct (0 ms) [ RUN ] TestExprVar.BoolZ3Expr [ OK ] TestExprVar.BoolZ3Expr (5 ms) [ RUN ] TestExprVar.BvZ3Expr [ OK ] TestExprVar.BvZ3Expr (7 ms) [ RUN ] TestExprVar.MemZ3Expr [ OK ] TestExprVar.MemZ3Expr (4 ms) [ RUN ] TestExprVar.BoolPrint [ OK ] TestExprVar.BoolPrint (0 ms) [ RUN ] TestExprVar.BvPrint [ OK ] TestExprVar.BvPrint (0 ms) [ RUN ] TestExprVar.MemPrint [ OK ] TestExprVar.MemPrint (0 ms) [----------] 7 tests from TestExprVar (16 ms total) [----------] 4 tests from TestFunc [ RUN ] TestFunc.Atom [ OK ] TestFunc.Atom (0 ms) [ RUN ] TestFunc.Unary [ OK ] TestFunc.Unary (14 ms) [ RUN ] TestFunc.Binary [ OK ] TestFunc.Binary (13 ms) [ RUN ] TestFunc.Multiple [ OK ] TestFunc.Multiple (0 ms) [----------] 4 tests from TestFunc (27 ms total) [----------] 4 tests from TestHashApi [ RUN ] TestHashApi.level0 [ OK ] TestHashApi.level0 (1 ms) [ RUN ] TestHashApi.level1 [ OK ] TestHashApi.level1 (0 ms) [ RUN ] TestHashApi.level2 [ OK ] TestHashApi.level2 (1 ms) [ RUN ] TestHashApi.ExplicitName [ OK ] TestHashApi.ExplicitName (0 ms) [----------] 4 tests from TestHashApi (2 ms total) [----------] 12 tests from TestInstrLvlAbs [ RUN ] TestInstrLvlAbs.Construct W0611 14:39:57.250715 9684 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 (41 ms) [ RUN ] TestInstrLvlAbs.State [ OK ] TestInstrLvlAbs.State (42 ms) [ RUN ] TestInstrLvlAbs.Init [ OK ] TestInstrLvlAbs.Init (18 ms) [ RUN ] TestInstrLvlAbs.Fetch [ OK ] TestInstrLvlAbs.Fetch (25 ms) [ RUN ] TestInstrLvlAbs.Valid [ OK ] TestInstrLvlAbs.Valid (28 ms) [ RUN ] TestInstrLvlAbs.Instr [ OK ] TestInstrLvlAbs.Instr (7 ms) [ RUN ] TestInstrLvlAbs.Child [ OK ] TestInstrLvlAbs.Child (8 ms) [ RUN ] TestInstrLvlAbs.SeqTran [ OK ] TestInstrLvlAbs.SeqTran (1 ms) [ RUN ] TestInstrLvlAbs.Print [ OK ] TestInstrLvlAbs.Print (0 ms) [----------] 12 tests from TestInstrLvlAbs (170 ms total) [----------] 2 tests from TestIlator [ RUN ] TestIlator.Default I0611 14:39:57.426839 9684 ilator.cc:78] Start generating SystemC simulator of ILA.TEST I0611 14:39:57.451196 9684 ilator.cc:108] Sucessfully generate SystemC simulator at /tmp/u9YHN8 [ OK ] TestIlator.Default (31 ms) [ RUN ] TestIlator.Optimize I0611 14:39:57.454169 9684 p_simplify_syntactic.cc:15] Start pass: syntactic simplification I0611 14:39:57.462934 9684 p_rewrite_conditional_store.cc:111] Start pass: rewrite conditional store I0611 14:39:57.464974 9684 ilator.cc:78] Start generating SystemC simulator of ILA.TEST I0611 14:39:57.472671 9684 ilator.cc:108] Sucessfully generate SystemC simulator at /tmp/aGSfiC [ OK ] TestIlator.Optimize (22 ms) [----------] 2 tests from TestIlator (53 ms total) [----------] 6 tests from TestInstr [ RUN ] TestInstr.Construct [ OK ] TestInstr.Construct (0 ms) [ RUN ] TestInstr.DecodeSimplified [ OK ] TestInstr.DecodeSimplified (31 ms) [ RUN ] TestInstr.DecodeNonSimplified [ OK ] TestInstr.DecodeNonSimplified (31 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 (63 ms total) [----------] 3 tests from TestInstrSeq [ RUN ] TestInstrSeq.ItEdge [ OK ] TestInstrSeq.ItEdge (0 ms) [ RUN ] TestInstrSeq.ItNode [ OK ] TestInstrSeq.ItNode (14 ms) [ RUN ] TestInstrSeq.AddTran [ OK ] TestInstrSeq.AddTran (0 ms) [----------] 3 tests from TestInstrSeq (14 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 I0611 14:39:57.552641 9684 v_eq_check_bmc.cc:158] [ModelGen.IlaOneHotFlat] One-hot Flat ILA: ILA.Flat_1 (0, 1) I0611 14:39:57.552726 9684 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.0 (0, 1) I0611 14:39:57.553052 9684 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.1 (0, 1) I0611 14:39:57.553562 9684 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.2 (0, 1) I0611 14:39:57.554361 9684 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.3 (0, 1) I0611 14:39:57.556921 9684 v_eq_check_bmc.cc:158] [ModelGen.IlaOneHotFlat] One-hot Flat ILA: ILA.Flat_2 (0, 1) I0611 14:39:57.556967 9684 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.0 (0, 1) I0611 14:39:57.557260 9684 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.1 (0, 1) I0611 14:39:57.557729 9684 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.2 (0, 1) I0611 14:39:57.558480 9684 v_eq_check_bmc.cc:120] [ModelGen.Instr] Complete Instruction: Instr.I.3 (0, 1) [ OK ] TestLegacyBmc.FF (11 ms) [----------] 1 test from TestLegacyBmc (11 ms total) [----------] 6 tests from TestLog [ RUN ] TestLog.Level [ OK ] TestLog.Level (1 ms) [ RUN ] TestLog.Verbose [ OK ] TestLog.Verbose (0 ms) [ RUN ] TestLog.Death [ OK ] TestLog.Death (37 ms) [ RUN ] TestLog.DebugEnable [ OK ] TestLog.DebugEnable (0 ms) [ RUN ] TestLog.DebugDisable [ OK ] TestLog.DebugDisable (0 ms) [ RUN ] TestLog.Clear [ OK ] TestLog.Clear (0 ms) [----------] 6 tests from TestLog (38 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 (5 ms) [----------] 2 tests from TestTraceStep (6 ms total) [----------] 8 tests from TestMcm [ RUN ] TestMcm.SingleILAUnroll [ OK ] TestMcm.SingleILAUnroll (16 ms) [ RUN ] TestMcm.SingleILAUnrollOrderedReverse [ OK ] TestMcm.SingleILAUnrollOrderedReverse (16 ms) [ RUN ] TestMcm.SingleILAUnrollUnorderedReverse [ OK ] TestMcm.SingleILAUnrollUnorderedReverse (23 ms) [ RUN ] TestMcm.SingleIlaMcm [ OK ] TestMcm.SingleIlaMcm (53 ms) [ RUN ] TestMcm.RegBasedMcmSc [ OK ] TestMcm.RegBasedMcmSc (34 ms) [ RUN ] TestMcm.RegBasedMcmTso [ OK ] TestMcm.RegBasedMcmTso (34 ms) [ RUN ] TestMcm.McmSc [ OK ] TestMcm.McmSc (42 ms) [ RUN ] TestMcm.McmTso [ OK ] TestMcm.McmTso (42 ms) [----------] 8 tests from TestMcm (260 ms total) [----------] 1 test from TestMngrabsknob [ RUN ] TestMngrabsknob.FlattenIla [ OK ] TestMngrabsknob.FlattenIla (1 ms) [----------] 1 test from TestMngrabsknob (1 ms total) [----------] 5 tests from TestPass [ RUN ] TestPass.AES unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestPass.AES (18 ms) [ RUN ] TestPass.AES_128 unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestPass.AES_128 (1142 ms) [ RUN ] TestPass.AES_C unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestPass.AES_C (11 ms) [ RUN ] TestPass.GB_LOW unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestPass.GB_LOW (17 ms) [ RUN ] TestPass.RBM unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestPass.RBM (37 ms) [----------] 5 tests from TestPass (1226 ms total) [----------] 9 tests from TestPortable [ RUN ] TestPortable.AES_V_TOP unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestPortable.AES_V_TOP (7 ms) [ RUN ] TestPortable.AES_V_CHILD unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestPortable.AES_V_CHILD (17 ms) [ RUN ] TestPortable.AES_V unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestPortable.AES_V (22 ms) [ RUN ] TestPortable.AES_C_TOP unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestPortable.AES_C_TOP (8 ms) [ RUN ] TestPortable.AES_C_CHILD unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestPortable.AES_C_CHILD (4 ms) [ RUN ] TestPortable.AES_C unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestPortable.AES_C (10 ms) [ RUN ] TestPortable.GB_LOW unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestPortable.GB_LOW (17 ms) [ RUN ] TestPortable.RBM unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestPortable.RBM (36 ms) [ RUN ] TestPortable.OC8051 unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestPortable.OC8051 (1356 ms) [----------] 9 tests from TestPortable (1477 ms total) [----------] 3 tests from TestSmtParse [ RUN ] TestSmtParse.Type E0611 14:40:00.570992 9684 smt_ast.cc:539] string : 0011(4) cast to width:3 [ OK ] TestSmtParse.Type (1 ms) [ RUN ] TestSmtParse.Parse [ OK ] TestSmtParse.Parse (9 ms) [ RUN ] TestSmtParse.ChcParse [ OK ] TestSmtParse.ChcParse (38 ms) [----------] 3 tests from TestSmtParse (48 ms total) [----------] 41 tests from TestSmtShim [ RUN ] TestSmtShim.OpBoolNot [ OK ] TestSmtShim.OpBoolNot (4 ms) [ RUN ] TestSmtShim.OpBvNeg [ OK ] TestSmtShim.OpBvNeg (4 ms) [ RUN ] TestSmtShim.OpBvComplement [ OK ] TestSmtShim.OpBvComplement (4 ms) [ RUN ] TestSmtShim.OpBoolAnd [ OK ] TestSmtShim.OpBoolAnd (4 ms) [ RUN ] TestSmtShim.OpBvAnd [ OK ] TestSmtShim.OpBvAnd (4 ms) [ RUN ] TestSmtShim.OpBoolOr [ OK ] TestSmtShim.OpBoolOr (4 ms) [ RUN ] TestSmtShim.OpBvOr [ OK ] TestSmtShim.OpBvOr (4 ms) [ RUN ] TestSmtShim.OpBoolXor [ OK ] TestSmtShim.OpBoolXor (4 ms) [ RUN ] TestSmtShim.OpBvXor [ OK ] TestSmtShim.OpBvXor (4 ms) [ RUN ] TestSmtShim.OpBvShl [ OK ] TestSmtShim.OpBvShl (4 ms) [ RUN ] TestSmtShim.OpBvAshr [ OK ] TestSmtShim.OpBvAshr (4 ms) [ RUN ] TestSmtShim.OpBvLshr [ OK ] TestSmtShim.OpBvLshr (4 ms) [ RUN ] TestSmtShim.OpBvAdd [ OK ] TestSmtShim.OpBvAdd (4 ms) [ RUN ] TestSmtShim.OpBvSub [ OK ] TestSmtShim.OpBvSub (4 ms) [ RUN ] TestSmtShim.OpBvAddSub [ OK ] TestSmtShim.OpBvAddSub (3 ms) [ RUN ] TestSmtShim.OpBvMul [ OK ] TestSmtShim.OpBvMul (4 ms) [ RUN ] TestSmtShim.OpBvDiv [ OK ] TestSmtShim.OpBvDiv (4 ms) [ RUN ] TestSmtShim.OpBvSrem [ OK ] TestSmtShim.OpBvSrem (4 ms) [ RUN ] TestSmtShim.OpBvUrem [ OK ] TestSmtShim.OpBvUrem (4 ms) [ RUN ] TestSmtShim.OpBvSmod [ OK ] TestSmtShim.OpBvSmod (4 ms) [ RUN ] TestSmtShim.OpBvSltSge [ OK ] TestSmtShim.OpBvSltSge (4 ms) [ RUN ] TestSmtShim.OpBvSleSgt [ OK ] TestSmtShim.OpBvSleSgt (4 ms) [ RUN ] TestSmtShim.OpBvSltSgteq [ OK ] TestSmtShim.OpBvSltSgteq (4 ms) [ RUN ] TestSmtShim.OpBvUltUge [ OK ] TestSmtShim.OpBvUltUge (4 ms) [ RUN ] TestSmtShim.OpBvUleUgt [ OK ] TestSmtShim.OpBvUleUgt (4 ms) [ RUN ] TestSmtShim.OpBvUltUgteq [ OK ] TestSmtShim.OpBvUltUgteq (4 ms) [ RUN ] TestSmtShim.OpMemLoad [ OK ] TestSmtShim.OpMemLoad (4 ms) [ RUN ] TestSmtShim.OpMemStore [ OK ] TestSmtShim.OpMemStore (4 ms) [ RUN ] TestSmtShim.OpBvConcat [ OK ] TestSmtShim.OpBvConcat (4 ms) [ RUN ] TestSmtShim.OpBvExtract [ OK ] TestSmtShim.OpBvExtract (4 ms) [ RUN ] TestSmtShim.OpBvZext [ OK ] TestSmtShim.OpBvZext (4 ms) [ RUN ] TestSmtShim.OpBvSext [ OK ] TestSmtShim.OpBvSext (4 ms) [ RUN ] TestSmtShim.OpBvRotate [ OK ] TestSmtShim.OpBvRotate (4 ms) [ RUN ] TestSmtShim.OpBoolImply [ OK ] TestSmtShim.OpBoolImply (4 ms) [ RUN ] TestSmtShim.OpBoolIte [ OK ] TestSmtShim.OpBoolIte (4 ms) [ RUN ] TestSmtShim.OpBvIte [ OK ] TestSmtShim.OpBvIte (4 ms) [ RUN ] TestSmtShim.OpApplyFunc [ OK ] TestSmtShim.OpApplyFunc (4 ms) [ RUN ] TestSmtShim.ConstBool [ OK ] TestSmtShim.ConstBool (4 ms) [ RUN ] TestSmtShim.ConstBv [ OK ] TestSmtShim.ConstBv (4 ms) [ RUN ] TestSmtShim.ConstMem [ OK ] TestSmtShim.ConstMem (5 ms) [ RUN ] TestSmtShim.DiscreteUsage [ OK ] TestSmtShim.DiscreteUsage (4 ms) [----------] 41 tests from TestSmtShim (165 ms total) [----------] 1 test from TestSmtTrans [ RUN ] TestSmtTrans.ReplaceAndAddKeep [ OK ] TestSmtTrans.ReplaceAndAddKeep (75 ms) [----------] 1 test from TestSmtTrans (75 ms total) [----------] 3 tests from TestSort [ RUN ] TestSort.Boolean [ OK ] TestSort.Boolean (23 ms) [ RUN ] TestSort.Bitvector [ OK ] TestSort.Bitvector (14 ms) [ RUN ] TestSort.Memory [ OK ] TestSort.Memory (8 ms) [----------] 3 tests from TestSort (45 ms total) [----------] 5 tests from TestSymbol [ RUN ] TestSymbol.Construct [ OK ] TestSymbol.Construct (0 ms) [ RUN ] TestSymbol.Accessors [ OK ] TestSymbol.Accessors (0 ms) [ RUN ] TestSymbol.Copy [ OK ] TestSymbol.Copy (0 ms) [ RUN ] TestSymbol.Format [ OK ] TestSymbol.Format (0 ms) [ RUN ] TestSymbol.Compare [ OK ] TestSymbol.Compare (0 ms) [----------] 5 tests from TestSymbol (0 ms total) [----------] 9 tests from TestUnroll [ RUN ] TestUnroll.InstrSeqFlatSubs [ OK ] TestUnroll.InstrSeqFlatSubs (3 ms) [ RUN ] TestUnroll.InstrSeqFlatAssn [ OK ] TestUnroll.InstrSeqFlatAssn (3 ms) [ RUN ] TestUnroll.InstrSeqFlatNone [ OK ] TestUnroll.InstrSeqFlatNone (3 ms) [ RUN ] TestUnroll.InstrSeqSolve [ OK ] TestUnroll.InstrSeqSolve (19 ms) [ RUN ] TestUnroll.MonoFlatSubs [ OK ] TestUnroll.MonoFlatSubs (28 ms) [ RUN ] TestUnroll.MonoFlatAssn [ OK ] TestUnroll.MonoFlatAssn (27 ms) [ RUN ] TestUnroll.MonoFlatNone [ OK ] TestUnroll.MonoFlatNone (28 ms) [ RUN ] TestUnroll.MonoSolve [ OK ] TestUnroll.MonoSolve (58 ms) [ RUN ] TestUnroll.PathMonoSolve [ OK ] TestUnroll.PathMonoSolve (35 ms) [----------] 9 tests from TestUnroll (204 ms total) [----------] 1 test from TestUnrollerSmt [ RUN ] TestUnrollerSmt.z3 [ OK ] TestUnrollerSmt.z3 (7 ms) [----------] 1 test from TestUnrollerSmt (7 ms total) [----------] 12 tests from TestUtil [ RUN ] TestUtil.DirAppend [ OK ] TestUtil.DirAppend (0 ms) [ RUN ] TestUtil.CopyDir E0611 14:40:01.115303 9684 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 (4 ms) [ RUN ] TestUtil.ExecShellOSPath CMakeFiles CTestTestfile.cmake Makefile unit_tests cmake_install.cmake extern tmp_portable.json [ OK ] TestUtil.ExecShellOSPath (3 ms) [ RUN ] TestUtil.ExecShellRedirect [ OK ] TestUtil.ExecShellRedirect (2007 ms) [ RUN ] TestUtil.ExecShellRedirectTimeOut [ OK ] TestUtil.ExecShellRedirectTimeOut (3005 ms) [ RUN ] TestUtil.RegularExpr [ OK ] TestUtil.RegularExpr (1 ms) [ RUN ] TestUtil.LongWidth [ OK ] TestUtil.LongWidth (0 ms) [ RUN ] TestUtil.LongWidth_unsigned [ OK ] TestUtil.LongWidth_unsigned (0 ms) [ RUN ] TestUtil.Int2Str [ OK ] TestUtil.Int2Str (0 ms) [ RUN ] TestUtil.StrTrim [ OK ] TestUtil.StrTrim (0 ms) [----------] 12 tests from TestUtil (5021 ms total) [----------] 9 tests from TestVerilogAnalysis [ RUN ] TestVerilogAnalysis.BaseFuncNoError [ OK ] TestVerilogAnalysis.BaseFuncNoError (1 ms) [ RUN ] TestVerilogAnalysis.Init [ OK ] TestVerilogAnalysis.Init (1 ms) [ RUN ] TestVerilogAnalysis.FnameMeta I0611 14:40:06.137789 9684 t_verilog_analysis.cc:67] Location of: m1.ex_wb_rd:/home/semaphore/ILAng/test/unit-data/vpipe/simple_pipe.v:38 I0611 14:40:06.137925 9684 t_verilog_analysis.cc:68] End loc of m1:/home/semaphore/ILAng/test/unit-data/vpipe/simple_pipe.v:220 [ OK ] TestVerilogAnalysis.FnameMeta (1 ms) [ RUN ] TestVerilogAnalysis.Include [ OK ] TestVerilogAnalysis.Include (0 ms) [ RUN ] TestVerilogAnalysis.RangeAnalysis E0611 14:40:06.138747 9684 verilog_const_parser.cc:164] unable to parse: (-1) E0611 14:40:06.138789 9684 verilog_const_parser.cc:164] unable to parse: d E0611 14:40:06.138839 9684 verilog_const_parser.cc:164] unable to parse: (1<<1) [ OK ] TestVerilogAnalysis.RangeAnalysis (2 ms) [ RUN ] TestVerilogAnalysis.RangeAnalysisOverwriteWidth W0611 14:40:06.140657 9684 verilog_analysis.cc:860] Overwriting width of signal: m1.i1.sig to 5(w=2 by analysis) W0611 14:40:06.141088 9684 verilog_analysis.cc:860] Overwriting width of signal: m1.in1 to 10(w=4 by analysis) W0611 14:40:06.141453 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0611 14:40:06.141487 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0611 14:40:06.141499 9684 verilog_analysis.cc:860] Overwriting width of signal: m1.in1 to 5(w=4 by analysis) W0611 14:40:06.141547 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0611 14:40:06.141583 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0611 14:40:06.141593 9684 verilog_const_parser.cc:164] unable to parse: W2 W0611 14:40:06.141623 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0611 14:40:06.141633 9684 verilog_const_parser.cc:164] unable to parse: W2 W0611 14:40:06.141662 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0611 14:40:06.141697 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0611 14:40:06.141707 9684 verilog_const_parser.cc:164] unable to parse: W2 W0611 14:40:06.141736 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0611 14:40:06.141746 9684 verilog_const_parser.cc:164] unable to parse: W2 W0611 14:40:06.141782 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0611 14:40:06.141791 9684 verilog_analysis.cc:860] Overwriting width of signal: m1.in1 to 10(w=4 by analysis) W0611 14:40:06.141810 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0611 14:40:06.141819 9684 verilog_const_parser.cc:164] unable to parse: W2 W0611 14:40:06.141837 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0611 14:40:06.141846 9684 verilog_const_parser.cc:164] unable to parse: W2 W0611 14:40:06.141865 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0611 14:40:06.141888 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0611 14:40:06.141896 9684 verilog_const_parser.cc:164] unable to parse: W2 W0611 14:40:06.141916 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0611 14:40:06.141923 9684 verilog_const_parser.cc:164] unable to parse: W2 W0611 14:40:06.141950 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0611 14:40:06.141960 9684 verilog_const_parser.cc:164] unable to parse: W2 W0611 14:40:06.141964 9684 verilog_analysis.cc:860] Overwriting width of signal: m1.in2 to 128(w=1 by analysis) W0611 14:40:06.141996 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0611 14:40:06.142020 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0611 14:40:06.142030 9684 verilog_const_parser.cc:164] unable to parse: W2 W0611 14:40:06.142033 9684 verilog_analysis.cc:860] Overwriting width of signal: m1.in2 to 256(w=1 by analysis) W0611 14:40:06.142066 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0611 14:40:06.142074 9684 verilog_const_parser.cc:164] unable to parse: W2 W0611 14:40:06.142093 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 W0611 14:40:06.142117 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0611 14:40:06.142125 9684 verilog_const_parser.cc:164] unable to parse: W2 W0611 14:40:06.142143 9684 verilog_const_parser.cc:221] ParseCurrentModuleParameters has error for : W100 E0611 14:40:06.142153 9684 verilog_const_parser.cc:164] unable to parse: W2 [ OK ] TestVerilogAnalysis.RangeAnalysisOverwriteWidth (2 ms) [ RUN ] TestVerilogAnalysis.AnalyzeName [ OK ] TestVerilogAnalysis.AnalyzeName (0 ms) [ RUN ] TestVerilogAnalysis.GetTopIo [ OK ] TestVerilogAnalysis.GetTopIo (1 ms) [ RUN ] TestVerilogAnalysis.GetTopIoNewFashion I0611 14:40:06.144464 9684 t_verilog_analysis.cc:527] End loc of m1:/home/semaphore/ILAng/test/unit-data/verilog_sample/t_pipe.v:218 [ OK ] TestVerilogAnalysis.GetTopIoNewFashion (1 ms) [----------] 9 tests from TestVerilogAnalysis (9 ms total) [----------] 12 tests from TestVerilogAnalysisErrHandling [ RUN ] TestVerilogAnalysisErrHandling.NoDoubleInstance [ OK ] TestVerilogAnalysisErrHandling.NoDoubleInstance (1 ms) [ RUN ] TestVerilogAnalysisErrHandling.EmptyFile [ OK ] TestVerilogAnalysisErrHandling.EmptyFile (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.VerilogFileNotFound [ OK ] TestVerilogAnalysisErrHandling.VerilogFileNotFound (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.VerilogSyntaxError line 2 - ERROR: syntax error, unexpected KW_REG, expecting SEMICOLON - 'reg' [ OK ] TestVerilogAnalysisErrHandling.VerilogSyntaxError (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.EmptyModuleName line 0 - ERROR: syntax error, unexpected OPEN_BRACKET, expecting SIMPLE_ID or ESCAPED_ID or MACRO_IDENTIFIER - '(' [ OK ] TestVerilogAnalysisErrHandling.EmptyModuleName (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.ModuleRedecl [ OK ] TestVerilogAnalysisErrHandling.ModuleRedecl (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.MissingModuleDecl [ OK ] TestVerilogAnalysisErrHandling.MissingModuleDecl (1 ms) [ RUN ] TestVerilogAnalysisErrHandling.ModuleDeclLoop [ OK ] TestVerilogAnalysisErrHandling.ModuleDeclLoop (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.NoSuchModuleAsTop E0611 14:40:06.146394 9684 verilog_analysis.cc:531] Cannot find declaration: nonexistingname [ OK ] TestVerilogAnalysisErrHandling.NoSuchModuleAsTop (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.TwoTop [ OK ] TestVerilogAnalysisErrHandling.TwoTop (1 ms) [ RUN ] TestVerilogAnalysisErrHandling.SigRedecl [ OK ] TestVerilogAnalysisErrHandling.SigRedecl (0 ms) [ RUN ] TestVerilogAnalysisErrHandling.UnknownPortDirection [ OK ] TestVerilogAnalysisErrHandling.UnknownPortDirection (0 ms) [----------] 12 tests from TestVerilogAnalysisErrHandling (3 ms total) [----------] 10 tests from TestVerilogGen [ RUN ] TestVerilogGen.Init [ OK ] TestVerilogGen.Init (0 ms) [ RUN ] TestVerilogGen.VlgCnst [ OK ] TestVerilogGen.VlgCnst (36 ms) [ RUN ] TestVerilogGen.ParseInst [ OK ] TestVerilogGen.ParseInst (6 ms) [ RUN ] TestVerilogGen.CpReg [ OK ] TestVerilogGen.CpReg (6 ms) [ RUN ] TestVerilogGen.SimpleProc [ OK ] TestVerilogGen.SimpleProc (10 ms) [ RUN ] TestVerilogGen.AES_V unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestVerilogGen.AES_V (22 ms) [ RUN ] TestVerilogGen.AES_C unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestVerilogGen.AES_C (11 ms) [ RUN ] TestVerilogGen.GB_Low unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestVerilogGen.GB_Low (16 ms) [ RUN ] TestVerilogGen.RBM unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestVerilogGen.RBM (38 ms) [ RUN ] TestVerilogGen.OC unknown file: Failure C++ exception with description "[json.exception.out_of_range.403] key 'l' not found" thrown in the test body. [ FAILED ] TestVerilogGen.OC (1389 ms) [----------] 10 tests from TestVerilogGen (1534 ms total) [----------] 6 tests from TestVerilogExport [ RUN ] TestVerilogExport.check_reserved_name [ OK ] TestVerilogExport.check_reserved_name (0 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 (1 ms) [ RUN ] TestVerilogExport.internalfunc [ OK ] TestVerilogExport.internalfunc (0 ms) [ RUN ] TestVerilogExport.OPs [ OK ] TestVerilogExport.OPs (4 ms) [----------] 6 tests from TestVerilogExport (5 ms total) [----------] 1 test from TestVerilogMod [ RUN ] TestVerilogMod.Modify [ OK ] TestVerilogMod.Modify (2 ms) [----------] 1 test from TestVerilogMod (2 ms total) [----------] 25 tests from TestVlgTargetGen [ RUN ] TestVlgTargetGen.PipeExample [ OK ] TestVlgTargetGen.PipeExample (28 ms) [ RUN ] TestVlgTargetGen.PipeExampleZ3 E0611 14:40:07.726454 9684 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0611 14:40:07.741612 9684 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0611 14:40:07.760507 9684 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0611 14:40:07.777952 9684 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0611 14:40:07.795404 9684 vtarget_gen_yosys.cc:787] Executing Yosys failed! [ OK ] TestVlgTargetGen.PipeExampleZ3 (87 ms) [ RUN ] TestVlgTargetGen.PipeExampleGrain E0611 14:40:07.813017 9684 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0611 14:40:07.857623 9684 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0611 14:40:07.942523 9684 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0611 14:40:08.034688 9684 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0611 14:40:08.123136 9684 vtarget_gen_yosys.cc:787] Executing Yosys failed! [ OK ] TestVlgTargetGen.PipeExampleGrain (398 ms) [ RUN ] TestVlgTargetGen.PipeExampleGrainDeath [ OK ] TestVlgTargetGen.PipeExampleGrainDeath (13 ms) [ RUN ] TestVlgTargetGen.PipeExampleEldaricaDeath [ OK ] TestVlgTargetGen.PipeExampleEldaricaDeath (11 ms) [ RUN ] TestVlgTargetGen.PipeExampleBtor E0611 14:40:08.235442 9684 vtarget_gen_yosys.cc:721] Executing Yosys failed! E0611 14:40:08.245294 9684 vtarget_gen_yosys.cc:721] Executing Yosys failed! E0611 14:40:08.255245 9684 vtarget_gen_yosys.cc:721] Executing Yosys failed! E0611 14:40:08.266829 9684 vtarget_gen_yosys.cc:721] Executing Yosys failed! E0611 14:40:08.277257 9684 vtarget_gen_yosys.cc:721] Executing Yosys failed! [ OK ] TestVlgTargetGen.PipeExampleBtor (53 ms) [ RUN ] TestVlgTargetGen.PipeExampleAbc E0611 14:40:08.287930 9684 vtarget_gen_yosys.cc:1020] Executing Yosys failed! E0611 14:40:08.298192 9684 vtarget_gen_yosys.cc:1020] Executing Yosys failed! E0611 14:40:08.308743 9684 vtarget_gen_yosys.cc:1020] Executing Yosys failed! E0611 14:40:08.319309 9684 vtarget_gen_yosys.cc:1020] Executing Yosys failed! E0611 14:40:08.329895 9684 vtarget_gen_yosys.cc:1020] Executing Yosys failed! [ OK ] TestVlgTargetGen.PipeExampleAbc (52 ms) [ RUN ] TestVlgTargetGen.PipeExampleRfmapPost [ OK ] TestVlgTargetGen.PipeExampleRfmapPost (26 ms) [ RUN ] TestVlgTargetGen.PipeExampleJasperGold [ OK ] TestVlgTargetGen.PipeExampleJasperGold (16 ms) [ RUN ] TestVlgTargetGen.PipeExampleNotEqu [ OK ] TestVlgTargetGen.PipeExampleNotEqu (27 ms) [ RUN ] TestVlgTargetGen.Memory [ OK ] TestVlgTargetGen.Memory (4 ms) [ RUN ] TestVlgTargetGen.MemoryInternal [ OK ] TestVlgTargetGen.MemoryInternal (6 ms) [ RUN ] TestVlgTargetGen.MemoryInternalExternal [ OK ] TestVlgTargetGen.MemoryInternalExternal (6 ms) [ RUN ] TestVlgTargetGen.MemoryInternalExternalEntry6 [ OK ] TestVlgTargetGen.MemoryInternalExternalEntry6 (7 ms) [ RUN ] TestVlgTargetGen.MemoryRead [ OK ] TestVlgTargetGen.MemoryRead (3 ms) [ RUN ] TestVlgTargetGen.MemoryAbsRead [ OK ] TestVlgTargetGen.MemoryAbsRead (4 ms) [ RUN ] TestVlgTargetGen.MemoryReadAbsRead [ OK ] TestVlgTargetGen.MemoryReadAbsRead (2 ms) [ RUN ] TestVlgTargetGen.MemoryReadAbsReadJasperGold [ OK ] TestVlgTargetGen.MemoryReadAbsReadJasperGold (1 ms) [ RUN ] TestVlgTargetGen.UndetValue [ OK ] TestVlgTargetGen.UndetValue (4 ms) [ RUN ] TestVlgTargetGen.UndetFunc [ OK ] TestVlgTargetGen.UndetFunc (4 ms) [ RUN ] TestVlgTargetGen.UndetFuncIteUnknown [ OK ] TestVlgTargetGen.UndetFuncIteUnknown (2 ms) [ RUN ] TestVlgTargetGen.ResetAnnotation E0611 14:40:08.443017 9684 supplementary_info.cc:81] reset cycle must >= 1 E0611 14:40:08.443055 9684 supplementary_info.cc:95] reset-state is not implemented yet. E0611 14:40:08.443068 9684 supplementary_info.cc:97] reset-sequence is not implemented yet. E0611 14:40:08.445065 9684 supplementary_info.cc:19] Unable to parse `annotation` field, expect a map. E0611 14:40:08.447551 9684 supplementary_info.cc:43] memory-ports's must be string->string map E0611 14:40:08.447579 9684 supplementary_info.cc:51] port name : r2 should be one of ren/wen/raddr/waddr/rdata/wdata E0611 14:40:08.447610 9684 supplementary_info.cc:69] Unsupported memory export directive:unknown, expect internal/external E0611 14:40:08.452853 9684 supplementary_info.cc:95] reset-state is not implemented yet. E0611 14:40:08.452885 9684 supplementary_info.cc:97] reset-sequence is not implemented yet. [ OK ] TestVlgTargetGen.ResetAnnotation (13 ms) [ RUN ] TestVlgTargetGen.ResetAnnotationZ3 E0611 14:40:08.455472 9684 supplementary_info.cc:95] reset-state is not implemented yet. E0611 14:40:08.455497 9684 supplementary_info.cc:97] reset-sequence is not implemented yet. E0611 14:40:08.462237 9684 vtarget_gen_yosys.cc:787] Executing Yosys failed! E0611 14:40:08.469619 9684 vtarget_gen_yosys.cc:787] Executing Yosys failed! [ OK ] TestVlgTargetGen.ResetAnnotationZ3 (16 ms) [ RUN ] TestVlgTargetGen.ResetAnnotationABC E0611 14:40:08.472345 9684 supplementary_info.cc:95] reset-state is not implemented yet. E0611 14:40:08.472373 9684 supplementary_info.cc:97] reset-sequence is not implemented yet. E0611 14:40:08.478471 9684 vtarget_gen_yosys.cc:1020] Executing Yosys failed! E0611 14:40:08.486254 9684 vtarget_gen_yosys.cc:1020] Executing Yosys failed! [ OK ] TestVlgTargetGen.ResetAnnotationABC (15 ms) [ RUN ] TestVlgTargetGen.AesExample [ OK ] TestVlgTargetGen.AesExample (0 ms) [----------] 25 tests from TestVlgTargetGen (798 ms total) [----------] 9 tests from TestInvExtract [ RUN ] TestInvExtract.Abc [ OK ] TestInvExtract.Abc (1 ms) [ RUN ] TestInvExtract.PipeBlifGla [ OK ] TestInvExtract.PipeBlifGla (1 ms) [ RUN ] TestInvExtract.AbcAiger [ OK ] TestInvExtract.AbcAiger (4 ms) [ RUN ] TestInvExtract.AbcAigerGLA [ OK ] TestInvExtract.AbcAigerGLA (5 ms) [ RUN ] TestInvExtract.PipeAigerGLA [ OK ] TestInvExtract.PipeAigerGLA (4 ms) [ RUN ] TestInvExtract.GrainInvExtract E0611 14:40:08.548430 9684 grain_inv_parse.cc:99] Invariant refers to outside var:impout [ OK ] TestInvExtract.GrainInvExtract (47 ms) [ RUN ] TestInvExtract.Z3InvExtract [ OK ] TestInvExtract.Z3InvExtract (1 ms) [ RUN ] TestInvExtract.Z3InvExtractPipe [ OK ] TestInvExtract.Z3InvExtractPipe (4 ms) [ RUN ] TestInvExtract.Z3InvExtractRangeSpec E0611 14:40:08.554708 9684 chc_inv_in_wrapper.cc:38] Trying to rewind local_var_idx from 3 to 2 [ OK ] TestInvExtract.Z3InvExtractRangeSpec (2 ms) [----------] 9 tests from TestInvExtract (70 ms total) [----------] 2 tests from TestZ3Adapter [ RUN ] TestZ3Adapter.Construct [ OK ] TestZ3Adapter.Construct (8 ms) [ RUN ] TestZ3Adapter.Suffix [ OK ] TestZ3Adapter.Suffix (4 ms) [----------] 2 tests from TestZ3Adapter (12 ms total) [----------] 14 tests from TestZ3Expr [ RUN ] TestZ3Expr.XorBool [ OK ] TestZ3Expr.XorBool (4 ms) [ RUN ] TestZ3Expr.XorBv [ OK ] TestZ3Expr.XorBv (4 ms) [ RUN ] TestZ3Expr.NotNot [ OK ] TestZ3Expr.NotNot (4 ms) [ RUN ] TestZ3Expr.NegNeg [ OK ] TestZ3Expr.NegNeg (4 ms) [ RUN ] TestZ3Expr.Div [ OK ] TestZ3Expr.Div (5 ms) [ RUN ] TestZ3Expr.SRem [ OK ] TestZ3Expr.SRem (7 ms) [ RUN ] TestZ3Expr.URem [ OK ] TestZ3Expr.URem (8 ms) [ RUN ] TestZ3Expr.SMod [ OK ] TestZ3Expr.SMod (6 ms) [ RUN ] TestZ3Expr.LRotate [ OK ] TestZ3Expr.LRotate (5 ms) [ RUN ] TestZ3Expr.RRotate [ OK ] TestZ3Expr.RRotate (4 ms) [ RUN ] TestZ3Expr.LoadStore [ OK ] TestZ3Expr.LoadStore (4 ms) [ RUN ] TestZ3Expr.StoreLoad [ OK ] TestZ3Expr.StoreLoad (3 ms) [ RUN ] TestZ3Expr.Extract [ OK ] TestZ3Expr.Extract (4 ms) [ RUN ] TestZ3Expr.Concat [ OK ] TestZ3Expr.Concat (8 ms) [----------] 14 tests from TestZ3Expr (70 ms total) [----------] 13 tests from TestVlgVerifInvSyn [ RUN ] TestVlgVerifInvSyn.SimpleCntCegar E0611 14:40:08.648986 9684 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))))) E0611 14:40:08.653610 9684 inv_syn_cegar.cc:844] Not loading the statistics state from initial time! [ OK ] TestVlgVerifInvSyn.SimpleCntCegar (19 ms) [ RUN ] TestVlgVerifInvSyn.SimpleCntCegarWithAssumptions E0611 14:40:08.667882 9684 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 (13 ms) [ RUN ] TestVlgVerifInvSyn.LoadInvFromBeginning E0611 14:40:08.686748 9684 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))))) E0611 14:40:08.702808 9684 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 (35 ms) [ RUN ] TestVlgVerifInvSyn.SimpleCntCegarPassed [ OK ] TestVlgVerifInvSyn.SimpleCntCegarPassed (3 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntAbc E0611 14:40:08.719529 9684 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 (14 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntAbcBlif E0611 14:40:08.733568 9684 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 (13 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntAbcWithAssumption E0611 14:40:08.745764 9684 vtarget_gen_inv_abc.cc:568] Executing Yosys failed! [ OK ] TestVlgVerifInvSyn.CegarCntAbcWithAssumption (12 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntAbcInvStart E0611 14:40:08.758877 9684 vtarget_gen_inv_abc.cc:568] Executing Yosys failed! E0611 14:40:08.780570 9684 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 (36 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntGrain E0611 14:40:08.794245 9684 vtarget_gen_inv_chc.cc:546] Executing Yosys failed! Confirmed synthesized invariants: (m1.imp) == (~(m1.v)) [ OK ] TestVlgVerifInvSyn.CegarCntGrain (15 ms) [ RUN ] TestVlgVerifInvSyn.CegarCntGrainBackVars E0611 14:40:08.808423 9684 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 (22 ms) [ RUN ] TestVlgVerifInvSyn.CegarPipelineAbcAigEnhance E0611 14:40:08.852447 9684 vtarget_gen_inv_abc.cc:568] Executing Yosys failed! E0611 14:40:08.865492 9684 vtarget_gen_inv_enhance.cc:527] Executing Yosys failed! [ OK ] TestVlgVerifInvSyn.CegarPipelineAbcAigEnhance (74 ms) [ RUN ] TestVlgVerifInvSyn.SimpleCntRelChc E0611 14:40:08.901075 9684 vtarget_gen_relchc.cc:374] Executing Yosys failed! [ OK ] TestVlgVerifInvSyn.SimpleCntRelChc (8 ms) [ RUN ] TestVlgVerifInvSyn.SimpleCntRelChcNoStart E0611 14:40:08.908999 9684 vtarget_gen_relchc.cc:374] Executing Yosys failed! [ OK ] TestVlgVerifInvSyn.SimpleCntRelChcNoStart (8 ms) [----------] 13 tests from TestVlgVerifInvSyn (272 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) [----------] 1 test from TestAqedSupport [ RUN ] TestAqedSupport.PipeExample [ OK ] TestAqedSupport.PipeExample (3 ms) [----------] 1 test from TestAqedSupport (3 ms total) [----------] Global test environment tear-down [==========] 337 tests from 46 test cases ran. (72668 ms total) [ PASSED ] 308 tests. [ FAILED ] 29 tests, listed below: [ FAILED ] TestCase.AES_V_C_EQ [ FAILED ] TestCopyTree.AES_V_TOP [ FAILED ] TestCopyTree.AES_V_CHILD [ FAILED ] TestCopyTree.AES_V [ FAILED ] TestCopyTree.AES_C_TOP [ FAILED ] TestCopyTree.AES_C_CHILD [ FAILED ] TestCopyTree.AES_C [ FAILED ] TestCopyTree.GB_LOW [ FAILED ] TestCopyTree.RBM [ FAILED ] TestCopyTree.OC8051 [ FAILED ] TestPass.AES [ FAILED ] TestPass.AES_128 [ FAILED ] TestPass.AES_C [ FAILED ] TestPass.GB_LOW [ FAILED ] TestPass.RBM [ FAILED ] TestPortable.AES_V_TOP [ FAILED ] TestPortable.AES_V_CHILD [ FAILED ] TestPortable.AES_V [ FAILED ] TestPortable.AES_C_TOP [ FAILED ] TestPortable.AES_C_CHILD [ FAILED ] TestPortable.AES_C [ FAILED ] TestPortable.GB_LOW [ FAILED ] TestPortable.RBM [ FAILED ] TestPortable.OC8051 [ FAILED ] TestVerilogGen.AES_V [ FAILED ] TestVerilogGen.AES_C [ FAILED ] TestVerilogGen.GB_Low [ FAILED ] TestVerilogGen.RBM [ FAILED ] TestVerilogGen.OC 29 FAILED TESTS test/CMakeFiles/run_test.dir/build.make:57: recipe for target 'test/CMakeFiles/run_test' failed make[3]: *** [test/CMakeFiles/run_test] Error 1 CMakeFiles/Makefile2:2125: recipe for target 'test/CMakeFiles/run_test.dir/all' failed make[2]: *** [test/CMakeFiles/run_test.dir/all] Error 2 CMakeFiles/Makefile2:2132: recipe for target 'test/CMakeFiles/run_test.dir/rule' failed make[1]: *** [test/CMakeFiles/run_test.dir/rule] Error 2 Makefile:769: recipe for target 'run_test' failed make: *** [run_test] Error 2 export SEMAPHORE_JOB_RESULT=failed