Skip to content

Instantly share code, notes, and snippets.

@koo5
Created December 4, 2020 23:37
Show Gist options
  • Select an option

  • Save koo5/e43d07a0440a3c4d47f3d9963dc059ed to your computer and use it in GitHub Desktop.

Select an option

Save koo5/e43d07a0440a3c4d47f3d9963dc059ed to your computer and use it in GitHub Desktop.

Revisions

  1. koo5 created this gist Dec 4, 2020.
    227 changes: 227 additions & 0 deletions gistfile1.txt
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,227 @@
    >bash -c "git show --pretty=oneline | head -n 1"
    f94d3e67f86c1d3ba674dc1b5c8af0224a1a4e23 Updated xpce

    >git status
    HEAD detached at V8.3.14
    Untracked files:
    (use "git add <file>..." to include in what will be committed)

    ../2/
    ../Testing/
    ../test_runs/

    nothing added to commit but untracked files present (use "git add" to track)

    >ctest -j 1 --output-on-failure
    Test project /home/sfi/swipl-devel/build
    Start 1: swipl:basic
    1/69 Test #1: swipl:basic ...................... Passed 1.51 sec
    Start 2: swipl:unprotected
    2/69 Test #2: swipl:unprotected ................ Passed 0.35 sec
    Start 3: swipl:core
    3/69 Test #3: swipl:core .......................***Exception: SegFault 3.34 sec
    Running scripts from core ...............................................................................................................................................................................................................................................................................................................
    SWI-Prolog [thread 5 () at Fri Dec 4 23:51:28 2020]: received fatal signal 11 (segv)
    C-stack trace labeled "crash":
    [0] save_backtrace() at /home/sfi/swipl-devel/build/../src/os/pl-cstack.c:332 [0x7fbf0bcee3e8]
    [1] print_c_backtrace() at /home/sfi/swipl-devel/build/../src/os/pl-cstack.c:867 [0x7fbf0bcee59e]
    [2] sigCrashHandler() at /home/sfi/swipl-devel/build/../src/os/pl-cstack.c:905 [0x7fbf0bcee6bf]
    [3] dispatch_signal() at /home/sfi/swipl-devel/build/../src/pl-setup.c:553 [0x7fbf0bc77083]
    [4] killpg() at ??:? [0x7fbf0b817fd0]
    [5] visibleClause__LD() at /home/sfi/swipl-devel/build/../src/pl-inline.h:508 [0x7fbf0bbf67d1]
    [6] nextClause__LD() at /home/sfi/swipl-devel/build/../src/pl-index.c:586 [0x7fbf0bbf9d1f]
    [7] pl_retract1_va() at /home/sfi/swipl-devel/build/../src/pl-proc.c:3023 [0x7fbf0bc62f2a]
    [8] PL_next_solution() at /home/sfi/swipl-devel/build/../src/pl-vmi.c:4355 [0x7fbf0bc13bf5]
    [9] callProlog() at /home/sfi/swipl-devel/build/../src/pl-pro.c:394 [0x7fbf0bc5c81f]
    [10] start_thread() at /home/sfi/swipl-devel/build/../src/pl-thread.c:1802 [0x7fbf0bc8e7d9]
    [11] start_thread() at /build/glibc-2ORdQG/glibc-2.27/nptl/pthread_create.c:463 [0x7fbf0aef96db]
    [12] clone() at /build/glibc-2ORdQG/glibc-2.27/misc/../sysdeps/unix/sysv/linux/x86_64/clone.S:97 [0x7fbf0b8faa3f]
    Prolog stack:
    [1267] system:retract/1 [PC=1 in supervisor]
    [1266] plunit_retract:collect/2 [PC=8 in clause 1]
    [1] plunit_retract:collect/1 [PC=7 in clause 1]
    [0] system:$c_call_prolog/0 [PC=0 in top query clause]
    Running on_halt hooks with status 139
    Killing 14487 with default signal handlers

    Start 4: swipl:attvar
    4/69 Test #4: swipl:attvar ..................... Passed 0.37 sec
    Start 5: swipl:debug
    5/69 Test #5: swipl:debug ...................... Passed 1.20 sec
    Start 6: swipl:tabling
    6/69 Test #6: swipl:tabling .................... Passed 2.87 sec
    Start 7: swipl:library
    7/69 Test #7: swipl:library .................... Passed 1.91 sec
    Start 8: swipl:compile
    8/69 Test #8: swipl:compile .................... Passed 0.22 sec
    Start 9: swipl:charset
    9/69 Test #9: swipl:charset .................... Passed 0.23 sec
    Start 10: swipl:eclipse
    10/69 Test #10: swipl:eclipse .................... Passed 0.20 sec
    Start 11: swipl:clp
    11/69 Test #11: swipl:clp ........................ Passed 0.32 sec
    Start 12: swipl:GC
    12/69 Test #12: swipl:GC ......................... Passed 2.34 sec
    Start 13: swipl:save
    13/69 Test #13: swipl:save ....................... Passed 1.82 sec
    Start 14: swipl:files
    14/69 Test #14: swipl:files ...................... Passed 0.26 sec
    Start 15: swipl:transaction
    15/69 Test #15: swipl:transaction ................ Passed 0.38 sec
    Start 16: swipl:xsb/basic_tests
    16/69 Test #16: swipl:xsb/basic_tests ............ Passed 0.56 sec
    Start 17: swipl:xsb/ai_tests
    17/69 Test #17: swipl:xsb/ai_tests ............... Passed 0.59 sec
    Start 18: swipl:xsb/ptq
    18/69 Test #18: swipl:xsb/ptq .................... Passed 0.44 sec
    Start 19: swipl:xsb/neg_tests
    19/69 Test #19: swipl:xsb/neg_tests .............. Passed 0.43 sec
    Start 20: swipl:xsb/delay_tests
    20/69 Test #20: swipl:xsb/delay_tests ............ Passed 0.76 sec
    Start 21: swipl:xsb/wfs_tests
    21/69 Test #21: swipl:xsb/wfs_tests .............. Passed 0.52 sec
    Start 22: swipl:xsb/table_tests
    22/69 Test #22: swipl:xsb/table_tests ............ Passed 1.10 sec
    Start 23: swipl:xsb/incremental_tests
    23/69 Test #23: swipl:xsb/incremental_tests ...... Passed 0.32 sec
    Start 24: swipl:xsb/nonmt_tests
    24/69 Test #24: swipl:xsb/nonmt_tests ............ Passed 0.34 sec
    Start 25: swipl:xsb/sub_tests
    25/69 Test #25: swipl:xsb/sub_tests .............. Passed 0.42 sec
    Start 26: swipl:thread
    26/69 Test #26: swipl:thread ..................... Passed 7.29 sec
    Start 27: swipl:thread_wait
    27/69 Test #27: swipl:thread_wait ................ Passed 2.13 sec
    Start 28: chr:chr
    28/69 Test #28: chr:chr .......................... Passed 1.05 sec
    Start 29: clib:cgi
    29/69 Test #29: clib:cgi ......................... Passed 0.17 sec
    Start 30: clib:crypt
    30/69 Test #30: clib:crypt ....................... Passed 0.17 sec
    Start 31: clib:memfile
    31/69 Test #31: clib:memfile ..................... Passed 0.20 sec
    Start 32: clib:process
    32/69 Test #32: clib:process ..................... Passed 0.31 sec
    Start 33: clib:readutil
    33/69 Test #33: clib:readutil .................... Passed 0.19 sec
    Start 34: clib:socket
    34/69 Test #34: clib:socket ...................... Passed 4.31 sec
    Start 35: clib:af_unix
    35/69 Test #35: clib:af_unix ..................... Passed 0.16 sec
    Start 36: clib:stream
    36/69 Test #36: clib:stream ...................... Passed 0.17 sec
    Start 37: clib:time
    37/69 Test #37: clib:time ........................ Passed 1.00 sec
    Start 38: clib:uri
    38/69 Test #38: clib:uri ......................... Passed 0.18 sec
    Start 39: http:cgi_stream
    39/69 Test #39: http:cgi_stream .................. Passed 0.29 sec
    Start 40: http:http
    40/69 Test #40: http:http ........................ Passed 0.48 sec
    Start 41: http:json
    41/69 Test #41: http:json ........................ Passed 0.36 sec
    Start 42: http:multipart
    42/69 Test #42: http:multipart ................... Passed 0.33 sec
    Start 43: http:proxy
    43/69 Test #43: http:proxy ....................... Passed 0.44 sec
    Start 44: http:websocket
    44/69 Test #44: http:websocket ................... Passed 0.39 sec
    Start 45: nlp:nlp
    45/69 Test #45: nlp:nlp .......................... Passed 0.19 sec
    Start 46: redis:redis
    46/69 Test #46: redis:redis ...................... Passed 0.23 sec
    Start 47: pengines:pengines
    47/69 Test #47: pengines:pengines ................ Passed 2.86 sec
    Start 48: pengines:term_html
    48/69 Test #48: pengines:term_html ............... Passed 0.28 sec
    Start 49: protobufs:protobufs
    49/69 Test #49: protobufs:protobufs .............. Passed 0.17 sec
    Start 50: RDF:rdf
    50/69 Test #50: RDF:rdf .......................... Passed 0.24 sec
    Start 51: RDF:write
    51/69 Test #51: RDF:write ........................ Passed 0.32 sec
    Start 52: semweb:con
    52/69 Test #52: semweb:con ....................... Passed 0.22 sec
    Start 53: semweb:litmap
    53/69 Test #53: semweb:litmap .................... Passed 0.26 sec
    Start 54: semweb:load
    54/69 Test #54: semweb:load ...................... Passed 0.31 sec
    Start 55: semweb:ntriples
    55/69 Test #55: semweb:ntriples .................. Passed 0.26 sec
    Start 56: semweb:rdf11
    56/69 Test #56: semweb:rdf11 ..................... Passed 0.31 sec
    Start 57: semweb:rdf_db
    57/69 Test #57: semweb:rdf_db .................... Passed 0.38 sec
    Start 58: semweb:subprop
    58/69 Test #58: semweb:subprop ................... Passed 1.25 sec
    Start 59: semweb:turtle2
    59/69 Test #59: semweb:turtle2 ................... Passed 0.27 sec
    Start 60: semweb:turtle
    60/69 Test #60: semweb:turtle .................... Passed 1.26 sec
    Start 61: sgml:sgml
    61/69 Test #61: sgml:sgml ........................ Passed 0.20 sec
    Start 62: sgml:sgml_write
    62/69 Test #62: sgml:sgml_write .................. Passed 0.18 sec
    Start 63: sgml:xsd
    63/69 Test #63: sgml:xsd ......................... Passed 0.21 sec
    Start 64: sgml:c14n
    64/69 Test #64: sgml:c14n ........................ Passed 0.24 sec
    Start 65: zlib:zlib
    65/69 Test #65: zlib:zlib ........................ Passed 0.34 sec
    Start 66: bdb:bdb
    66/69 Test #66: bdb:bdb .......................... Passed 0.22 sec
    Start 67: pcre:pcre
    67/69 Test #67: pcre:pcre ........................ Passed 0.20 sec
    Start 68: yaml:yaml
    68/69 Test #68: yaml:yaml ........................ Passed 0.23 sec
    Start 69: ssl:ssl
    69/69 Test #69: ssl:ssl .......................... Passed 3.41 sec

    99% tests passed, 1 tests failed out of 69

    Total Test time (real) = 56.48 sec

    The following tests FAILED:
    3 - swipl:core (SEGFAULT)
    Errors while running CTest

    >gcc -v
    Using built-in specs.
    COLLECT_GCC=gcc
    COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/7/lto-wrapper
    OFFLOAD_TARGET_NAMES=nvptx-none
    OFFLOAD_TARGET_DEFAULT=1
    Target: x86_64-linux-gnu
    Configured with: ../src/configure -v --with-pkgversion='Ubuntu 7.5.0-3ubuntu1~18.04' --with-bugurl=file:///usr/share/doc/gcc-7/README.Bugs --enable-languages=c,ada,c++,go,brig,d,fortran,objc,obj-c++ --prefix=/usr --with-gcc-major-version-only --program-suffix=-7 --program-prefix=x86_64-linux-gnu- --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --enable-bootstrap --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-libmpx --enable-plugin --enable-default-pie --with-system-zlib --with-target-system-zlib --enable-objc-gc=auto --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-offload-targets=nvptx-none --without-cuda-driver --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
    Thread model: posix
    gcc version 7.5.0 (Ubuntu 7.5.0-3ubuntu1~18.04)

    >uname -a
    Linux node 5.4.0-1032-azure #33~18.04.1-Ubuntu SMP Tue Nov 17 11:40:52 UTC 2020 x86_64 x86_64 x86_64 GNU/Linux

    >lscpu
    Architecture: x86_64
    CPU op-mode(s): 32-bit, 64-bit
    Byte Order: Little Endian
    CPU(s): 2
    On-line CPU(s) list: 0,1
    Thread(s) per core: 1
    Core(s) per socket: 2
    Socket(s): 1
    NUMA node(s): 1
    Vendor ID: GenuineIntel
    CPU family: 6
    Model: 79
    Model name: Intel(R) Xeon(R) CPU E5-2673 v4 @ 2.30GHz
    Stepping: 1
    CPU MHz: 2294.686
    BogoMIPS: 4589.37
    Hypervisor vendor: Microsoft
    Virtualization type: full
    L1d cache: 32K
    L1i cache: 32K
    L2 cache: 256K
    L3 cache: 51200K
    NUMA node0 CPU(s): 0,1
    Flags: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ss ht syscall nx pdpe1gb rdtscp lm constant_tsc rep_good nopl xtopology cpuid pni pclmulqdq ssse3 fma cx16 pcid sse4_1 sse4_2 movbe popcnt aes xsave avx f16c rdrand hypervisor lahf_lm abm 3dnowprefetch invpcid_single pti fsgsbase bmi1 hle avx2 smep bmi2 erms invpcid rtm rdseed adx smap xsaveopt md_clear