Changes between Version 1 and Version 2 of Ticket #7, comment 1


Ignore:
Timestamp:
08/21/2018 10:24:01 AM (13 months ago)
Author:
Vladimír Štill
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7, comment 1

    v1 v2  
    55}}}
    66  in release mode proceeds to verification and then ends with SEGV.
     76. divine check --symbolic -C,-I$HOME/repo/sv-benchmarks/c/pthread-driver-races/model ~/repo/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.c
     8{{{
     9loading bitcode … LART … E: .../lart/abstract/util.cpp: 177:
     10  encountered Unknown callable value
     11Aborted
     12}}}