Skip to content
Snippets Groups Projects
Select Git revision
  • 09e7759834368d44fe643427b4b7c60e1821bff4
  • master default protected
  • exam
  • exper
  • klee
  • simple
  • v0.3.2
  • v0.3.1
  • v0.3.0
  • v0.2.2
  • v0.2.1
  • v0.2.0
  • v0.1.1
  • v0.1.0
14 results

expand_wcet_bkpt.rs

Blame
  • run.istats 1.39 KiB
    version: 1
    creator: klee
    pid: 232064
    cmd: get_sign.bc
    
    
    positions: instr line
    event: Icov : CoveredInstructions
    event: Forks : Forks
    event: Ireal : InstructionRealTimes
    event: Itime : InstructionTimes
    event: I : Instructions
    event: UCdist : MinDistToUncovered
    event: Rtime : ResolveTime
    event: States : States
    event: Iuncov : UncoveredInstructions
    event: Q : Queries
    event: Qiv : QueriesInvalid
    event: Qv : QueriesValid
    event: Qtime : QueryTime
    events: Icov Forks Ireal Itime I UCdist Rtime States Iuncov Q Qiv Qv Qtime 
    ob=assembly.ll
    fn=get_sign
    10 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    11 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    12 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    13 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    14 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    15 0 1 1 0 0 1 0 0 0 0 2 2 0 32370 
    18 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    19 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    22 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    23 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    24 0 1 1 0 0 1 0 0 0 0 1 1 0 13814 
    27 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    28 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    31 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    32 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    35 0 1 0 0 0 3 0 0 0 0 0 0 0 0 
    36 0 1 0 0 0 3 0 0 0 0 0 0 0 0 
    fn=main
    41 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    42 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    43 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    44 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    45 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    46 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    47 0 1 0 0 0 1 0 0 0 0 0 0 0 0 
    cfn=get_sign
    calls=1 8 0
    47 0 17 2 0 0 21 0 0 0 0 3 3 0 46184 
    48 0 1 0 0 0 3 0 0 0 0 0 0 0 0