API tools faq
paste
Advertisement
Guest User

utbot atomic logs

a guest
Sep 8th, 2022
33
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 7.57 KB | None | 0 0
raw download clone embed print report
  1. TEST GENERATION: SUCCEEDED
  2. -- The C compiler identification is Clang 10.0.1
  3. -- The CXX compiler identification is Clang 10.0.1
  4. -- Detecting C compiler ABI info
  5. -- Detecting C compiler ABI info - done
  6. -- Check for working C compiler: /usr/src/utbot-cli/utbot_distr/install/bin/clang - skipped
  7. -- Detecting C compile features
  8. -- Detecting C compile features - done
  9. -- Detecting CXX compiler ABI info
  10. -- Detecting CXX compiler ABI info - done
  11. -- Check for working CXX compiler: /usr/src/utbot-cli/utbot_distr/install/bin/clang++ - skipped
  12. -- Detecting CXX compile features
  13. -- Detecting CXX compile features - done
  14. -- Configuring done
  15. -- Generating done
  16. -- Build files have been written to: /var/utbot/processing/utbot-c-226123/build
  17. [ 50%] Building C object src/CMakeFiles/src.dir/snippet.c.o
  18. [100%] Linking C static library libsrc.a
  19. [100%] Built target src
  20. [2022-09-08 12:35:30] Run utbot-cli
  21. Running klee
  22. 2022-09-08 12:35:30.918 ( 0.013s) [UnitTestBot ] GenerationUtils.cpp:56 INFO| Target was not chosen. Using UTBot: Auto target instead.
  23. 2022-09-08 12:35:31.414 ( 0.510s) [UnitTestBot ] BaseForkTask.cpp:73 ERR| Exit status: 255
  24. 2022-09-08 12:35:31.414 ( 0.510s) [UnitTestBot ] BaseForkTask.cpp:74 ERR| See details in "/root/logs/UnitTestBot/2022-09-08T12-35-31412.log"
  25. 2022-09-08 12:35:31.415 ( 0.510s) [UnitTestBot ] KleeRunner.cpp:107 ERR| klee-stats call failed:
  26. 2022-09-08 12:35:31.415 ( 0.510s) [UnitTestBot ] KleeRunner.cpp:108 ERR|
  27. 2022-09-08 12:35:31.415 ( 0.510s) [UnitTestBot ] CLITestsWriter.cpp:21 INFO| snippet_dot_c_test.cpp test file generated
  28. 2022-09-08 12:35:31.415 ( 0.510s) [UnitTestBot ] CLITestsWriter.cpp:30 INFO| 1 test file generated.
  29. 2022-09-08 12:35:31.415 ( 0.510s) [UnitTestBot ] Server.cpp:274 INFO| KLEE time: 339 ms
  30.  
  31. 2022-09-08 12:35:31.415 ( 0.510s) [UnitTestBot ] GenerationUtils.h:66 INFO| Successfully finished tests generation.
  32.  
  33. TEST RUN: SUCCEEDED
  34. [2022-09-08 12:35:31] Run utbot-cli
  35. In file included from /var/utbot/processing/utbot-c-226123/tests/src/../../tests/src/snippet_dot_c_test.cpp:5:
  36. /var/utbot/processing/utbot-c-226123/tests/src/../../tests/src/snippet_dot_c_test.h:147:17: error: declaration of anonymous struct must be a definition
  37. typedef _Atomic(struct (anonymous struct at /usr/src/utbot-cli/utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/stdatomic.h:218:17)) atomic_flag;
  38. ^
  39. /var/utbot/processing/utbot-c-226123/tests/src/../../tests/src/snippet_dot_c_test.h:147:1: warning: typedef requires a name [-Wmissing-declarations]
  40. typedef _Atomic(struct (anonymous struct at /usr/src/utbot-cli/utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/stdatomic.h:218:17)) atomic_flag;
  41. ^~~~~~~
  42. 1 warning and 1 error generated.
  43. make[1]: *** [/var/utbot/processing/utbot-c-226123/tests/src/../../build/utbot_build/test_objects/src/snippet_dot_c_test.cpp.o] Error 1
  44. make[1]: *** Waiting for unfinished jobs....
  45. In file included from /var/utbot/processing/utbot-c-226123/tests/src/../../tests/src/snippet_dot_c_test.cpp:5:
  46. /var/utbot/processing/utbot-c-226123/tests/src/../../tests/src/snippet_dot_c_test.h:147:17: error: declaration of anonymous struct must be a definition
  47. typedef _Atomic(struct (anonymous struct at /usr/src/utbot-cli/utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/stdatomic.h:218:17)) atomic_flag;
  48. ^
  49. /var/utbot/processing/utbot-c-226123/tests/src/../../tests/src/snippet_dot_c_test.h:147:1: warning: typedef requires a name [-Wmissing-declarations]
  50. typedef _Atomic(struct (anonymous struct at /usr/src/utbot-cli/utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/stdatomic.h:218:17)) atomic_flag;
  51. ^~~~~~~
  52. 1 warning and 1 error generated.
  53. make[1]: *** [/var/utbot/processing/utbot-c-226123/tests/src/../../build/utbot_build/test_objects/src/snippet_dot_c_test.cpp.o] Error 1
  54. make: *** [run] Error 2
  55. 2022-09-08 12:35:34.289 ( 2.688s) [UnitTestBot ] BaseForkTask.cpp:73 ERR| Exit status: 2
  56. 2022-09-08 12:35:34.289 ( 2.688s) [UnitTestBot ] BaseForkTask.cpp:74 ERR| See details in "/root/logs/UnitTestBot/utbot-c-226123/2022-09-08T12-35-31652.log"
  57. 2022-09-08 12:35:35.508 ( 3.907s) [UnitTestBot ] BaseForkTask.cpp:73 ERR| Exit status: 2
  58. 2022-09-08 12:35:35.508 ( 3.907s) [UnitTestBot ] BaseForkTask.cpp:74 ERR| See details in "/root/logs/UnitTestBot/utbot-c-226123/2022-09-08T12-35-34311.log"
  59. 2022-09-08 12:35:35.508 ( 3.907s) [UnitTestBot ]CoverageAndResultsGener:66 WARN| 1 actions failed during building and running tests. See more info here: /root/logs/UnitTestBot/utbot-c-226123/2022-09-08T12-35-35508.log/2022-09-08T12-35-35508.log
  60. 2022-09-08 12:35:35.508 ( 3.907s) [UnitTestBot ]CLICoverageAndResultsWr:60 INFO| Test results summary.
  61. Coverage summary.
  62. Totals:
  63. null
  64. 2022-09-08 12:35:35.508 ( 3.907s) [UnitTestBot ]CLICoverageAndResultsWr:66 INFO| See coverage and results statistics info here: /var/utbot/processing/utbot-c-226123/results/coverage-and-results.csv
  65. 2022-09-08 12:35:35.508 ( 3.907s) [UnitTestBot ] GenerationUtils.cpp:49 ERR| In file included from /var/utbot/processing/utbot-c-226123/tests/src/../../tests/src/snippet_dot_c_test.cpp:5:
  66. /var/utbot/processing/utbot-c-226123/tests/src/../../tests/src/snippet_dot_c_test.h:147:17: error: declaration of anonymous struct must be a definition
  67. typedef _Atomic(struct (anonymous struct at /usr/src/utbot-cli/utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/stdatomic.h:218:17)) atomic_flag;
  68. ^
  69. /var/utbot/processing/utbot-c-226123/tests/src/../../tests/src/snippet_dot_c_test.h:147:1: warning: typedef requires a name [-Wmissing-declarations]
  70. typedef _Atomic(struct (anonymous struct at /usr/src/utbot-cli/utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/stdatomic.h:218:17)) atomic_flag;
  71. ^~~~~~~
  72. 1 warning and 1 error generated.
  73. /var/utbot/processing/utbot-c-226123/tests/src/../../tests/src/__snippet_shared.mk:26: recipe for target '/var/utbot/processing/utbot-c-226123/tests/src/../../build/utbot_build/test_objects/src/snippet_dot_c_test.cpp.o' failed
  74. make[1]: *** [/var/utbot/processing/utbot-c-226123/tests/src/../../build/utbot_build/test_objects/src/snippet_dot_c_test.cpp.o] Error 1
  75. In file included from /var/utbot/processing/utbot-c-226123/tests/src/../../tests/src/snippet_dot_c_test.cpp:5:
  76. /var/utbot/processing/utbot-c-226123/tests/src/../../tests/src/snippet_dot_c_test.h:147:17: error: declaration of anonymous struct must be a definition
  77. typedef _Atomic(struct (anonymous struct at /usr/src/utbot-cli/utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/stdatomic.h:218:17)) atomic_flag;
  78. ^
  79. /var/utbot/processing/utbot-c-226123/tests/src/../../tests/src/snippet_dot_c_test.h:147:1: warning: typedef requires a name [-Wmissing-declarations]
  80. typedef _Atomic(struct (anonymous struct at /usr/src/utbot-cli/utbot_distr/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/stdatomic.h:218:17)) atomic_flag;
  81. ^~~~~~~
  82. 1 warning and 1 error generated.
  83. /var/utbot/processing/utbot-c-226123/tests/src/../../tests/src/__snippet_obj.mk:26: recipe for target '/var/utbot/processing/utbot-c-226123/tests/src/../../build/utbot_build/test_objects/src/snippet_dot_c_test.cpp.o' failed
  84. make[1]: *** [/var/utbot/processing/utbot-c-226123/tests/src/../../build/utbot_build/test_objects/src/snippet_dot_c_test.cpp.o] Error 1
  85. /var/utbot/processing/utbot-c-226123/tests/src/snippet.mk:46: recipe for target 'run' failed
  86. make: *** [run] Error 2
  87.  
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!