search

viperproject / axiom-profiler

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
Other
32 stars 4 forks source link

Failure inside the docker #40

Open rahxephon89 opened 12 months ago

rahxephon89 commented 12 months ago

When I tried to execute the command: docker build . --tag=axiom-profiler, I got the following error:

[+] Building 4.1s (16/17)                                                                                         docker:desktop-linux
 => [internal] load .dockerignore                                                                                                 0.0s
 => => transferring context: 2B                                                                                                   0.0s
 => [internal] load build definition from Dockerfile                                                                              0.0s
 => => transferring dockerfile: 768B                                                                                              0.0s
 => [internal] load metadata for docker.io/x11vnc/desktop:20.04                                                                   1.3s
 => [ 1/12] FROM docker.io/x11vnc/desktop:20.04@sha256:d1b18f3cbcc5f741341e9b257b7f509119d4a25ba0eb2cfc9e66c5a594195d18           0.0s
 => https://nuget.org/nuget.exe                                                                                                   1.1s
 => [internal] load build context                                                                                                 0.0s
 => => transferring context: 7.79kB                                                                                               0.0s
 => CACHED [ 2/12] RUN apt update                                                                                                 0.0s
 => CACHED [ 3/12] RUN apt install -y gnupg ca-certificates                                                                       0.0s
 => CACHED [ 4/12] RUN apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831E  0.0s
 => CACHED [ 5/12] RUN echo "deb https://download.mono-project.com/repo/ubuntu stable-focal main" > /etc/apt/sources.list.d/mono  0.0s
 => CACHED [ 6/12] RUN apt update                                                                                                 0.0s
 => CACHED [ 7/12] RUN DEBIAN_FRONTEND=noninteractive apt install -y mono-devel                                                   0.0s
 => CACHED [ 8/12] COPY --chown=ubuntu:ubuntu . /home/ubuntu/axiom-profiler                                                       0.0s
 => CACHED [ 9/12] WORKDIR /home/ubuntu/axiom-profiler                                                                            0.0s
 => CACHED [10/12] ADD --chown=ubuntu:ubuntu https://nuget.org/nuget.exe nuget.exe                                                0.0s
 => ERROR [11/12] RUN mono ./nuget.exe install Microsoft.Net.Compilers                                                            1.6s
------                                                                                                                                 
 > [11/12] RUN mono ./nuget.exe install Microsoft.Net.Compilers:                                                                       
0.514 TYPE: 6                                                                                                                          
0.514 V: mono_helper_ldstr_mscorlib                                                                                                    
0.514 * Assertion at ../../mono/arch/amd64/../x86/x86-codegen.h:410, condition `offset == (gint32)offset' not met                      
0.514                                                                                                                                  
0.515 
0.515 =================================================================
0.515   Native Crash Reporting
0.515 =================================================================
0.515 Got a SIGABRT while executing native code. This usually indicates
0.515 a fatal error in the mono runtime or one of the native libraries 
0.515 used by your application.
0.515 =================================================================
0.518 
0.518 =================================================================
0.518   Native stacktrace:
0.518 =================================================================
0.518   0x40000c004b - mono : 
0.518   0x40000c03dd - mono : 
0.518   0x400006d087 - mono : 
0.518   0x40000bf5cc - mono : 
0.518   0x4001d2a3c0 - /lib/x86_64-linux-gnu/libpthread.so.0 : 
0.518   0x40020cb18b - /lib/x86_64-linux-gnu/libc.so.6 : gsignal
0.518   0x40020aa859 - /lib/x86_64-linux-gnu/libc.so.6 : abort
0.518   0x400002f3c4 - mono : 
0.518   0x4000314135 - mono : 
0.518   0x40003315be - mono : 
0.518   0x4000331c73 - mono : monoeg_assertion_message
0.518   0x4000331cb0 - mono : mono_assertion_message_disabled
0.519   0x4000095bb8 - mono : 
0.519   0x40000c329b - mono : 
0.519   0x40000c683b - mono : 
0.519   0x40000c6b96 - mono : 
0.519   0x40000381e2 - mono : 
0.519   0x40000709c6 - mono : 
0.519   0x4000071524 - mono : 
0.519   0x4002806393 - Unknown
0.519 
0.519 =================================================================
0.519   Telemetry Dumper:
0.519 =================================================================
0.522 Pkilling 0x274969323264x from 0x274914048960x
0.525 Entering thread summarizer pause from 0x274914048960x
0.525 Finished thread summarizer pause from 0x274914048960x.
0.525 Failed to create breadcrumb file (null)/crash_hash_0x384ca2be0
0.558 
0.558 Waiting for dumping threads to resume
1.567 
1.567 =================================================================
1.567   External Debugger Dump:
1.567 =================================================================
1.571 mono_gdb_render_native_backtraces not supported on this platform, unable to find gdb or lldb
1.582 
1.582 =================================================================
1.582   Basic Fault Address Reporting
1.582 =================================================================
1.582 Memory around native instruction pointer (0x40020cb18b):0x40020cb17b  d2 4c 89 ce bf 02 00 00 00 b8 0e 00 00 00 0f 05  .L..............
1.584 0x40020cb18b  48 8b 84 24 08 01 00 00 64 48 33 04 25 28 00 00  H..$....dH3.%(..
1.584 0x40020cb19b  00 75 26 44 89 c0 48 81 c4 18 01 00 00 c3 0f 1f  .u&D..H.........
1.584 0x40020cb1ab  80 00 00 00 00 48 8b 15 b9 4c 1a 00 f7 d8 41 b8  .....H...L....A.
1.585 
1.585 =================================================================
1.585   Managed Stacktrace:
1.585 =================================================================
1.585     at <unknown> <0xffffffff>
1.585     at System.IO.UnexceptionalStreamWriter:.ctor <0x00053>
1.585     at System.IO.UnexceptionalStreamWriter:.ctor <0x0006f>
1.585     at System.Console:SetupStreams <0x00287>
1.585     at System.Console:.cctor <0x001bf>
1.585     at System.Object:runtime_invoke_void <0x0009d>
1.585     at <unknown> <0xffffffff>
1.586     at NuGet.Program:Main <0x000b3>
1.586     at <Module>:runtime_invoke_int_object <0x000a8>
1.586 =================================================================
1.586 qemu: uncaught target signal 6 (Aborted) - core dumped
1.592 Aborted
------
Dockerfile:16
--------------------
  14 |     WORKDIR /home/ubuntu/axiom-profiler
  15 |     ADD --chown=ubuntu:ubuntu https://nuget.org/nuget.exe nuget.exe
  16 | >>> RUN mono ./nuget.exe install Microsoft.Net.Compilers
  17 |     RUN xbuild /p:Configuration=Release source/AxiomProfiler.sln
  18 |     
--------------------
ERROR: failed to solve: process "/bin/sh -c mono ./nuget.exe install Microsoft.Net.Compilers" did not complete successfully: exit code: 134
EkanshdeepGupta commented 4 months ago

+1, I am also running into the same issue.