Issues

• Create dockerfile with llvm, klee and gotollvm that are working correctly

  Software-Analysis-Team/UTBotGo#16 · Filter by author PolyProgrammist opened on Dec 1, 2021
  2

• Create a simple approach to use llvm, gotollvm and klee with minimal build time

  Software-Analysis-Team/UTBotGo#15 · Filter by author PolyProgrammist opened on Dec 1, 2021

• Research how to launch the most simple program on go with klee and document it along with versions of klee, llvm and gotollvm

  Software-Analysis-Team/UTBotGo#14 · Filter by author PolyProgrammist opened on Dec 1, 2021

• Documentation on how to run program with gotollvm and which llvm and gotollvm versions to use

  Software-Analysis-Team/UTBotGo#13 · Filter by author PolyProgrammist opened on Dec 1, 2021
  2