Preview

tracerx-wp
- LICENSE.TXT
  
  2.9 kB
- README.md
  
  858 Bytes
- bin
  - ktest_tool.py
    
    3.3 kB
  - testcase_converter_klee.py
    
    14.4 kB
  - tracerx-wp
    
    10.1 kB
  - utils.py
    
    6.8 kB
- include
  - klee-test-comp.c
    
    3.3 kB
  - klee.h
    
    5.9 kB
- klee_build
  - Debug+Asserts
    - lib
      - .dir
        
        29 Bytes
      - klee-libc.bc
        
        32.1 kB
      - kleeRuntimeIntrinsic.bc
        
        11.3 kB
      - libkleaverExpr.a
        
        13.8 MB
      - libkleaverSolver.a
        
        11.8 MB
      - libkleeBasic.a
        
        1.7 MB
      - libkleeCore.a
        
        67.1 MB
      - libkleeModule.a
        
        10.1 MB
      - libkleeRuntest.a
        
        26.8 kB
      - libkleeRuntest.so
        
        38.9 kB
      - libkleeRuntimePOSIX.bca
        
        193.7 kB
      - libkleeSupport.a
        
        949.4 kB
      - libz3.so
        
        23.4 MB
  - bin
    - .dir
      
      29 Bytes
    - gen-random-bout
      
      38.2 kB
    - kleaver
      
      11.4 MB
    - klee
      
      48.9 MB
    - klee-replay
      
      124.3 kB
    - klee-stats
      
      17.7 kB
    - ktest-tool
      
      4.0 kB
- libraries
  - libLLVM-3.4.so
    
    26.9 MB
  - libLLVM-6.0.so.1
    
    61.1 MB
  - libedit.so.2
    
    208.1 kB
  - libffi.so.6
    
    31.0 kB
  - libm.so.6
    
    1.7 MB
  - libminisat.so.2
    
    121.7 kB
  - libstp.so.2.3
    
    32.0 MB
  - libtcmalloc_minimal.so.4
    
    1.4 MB
  - libtinfo.so.5
    
    170.8 kB
  - libz.so.1
    
    117.0 kB
  - libz3.so
    
    21.3 MB
- llvm-3.4.2
  - clang
    
    38.7 MB
  - llvm-link
    
    3.8 MB

tracerx-wp.zip