~/Work/tools/cbmc-4.3/cbmc main.c mc146818rtc.c qemu-timer.c qverify.c rtc-verify.c --unwind 11 -D__CBMC_TEST_HW__ -D__NO_TIMER__ -DRTC_BENCHMARK_PROP_1 #-D__EXPOSE_BUG__ 
file main.c: Parsing
file mc146818rtc.c: Parsing
file qemu-timer.c: Parsing
file qverify.c: Parsing
file rtc-verify.c: Parsing
Converting
Type-checking main
Type-checking mc146818rtc
Type-checking qemu-timer
Type-checking qverify
Type-checking rtc-verify
Generating GOTO Program
Adding CPROVER library
Function Pointer Removal
Partial Inlining
Generic Property Instrumentation
Starting Bounded Model Checking
**** WARNING: no body for function c::gettimeofday
Unwinding loop c::copy_data.0 iteration 1 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 2 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 3 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 4 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 5 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 6 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 7 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 8 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 9 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 10 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 1 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 2 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 3 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 4 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 5 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 6 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 7 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 8 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 9 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 10 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 1 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 2 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 3 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 4 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 5 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 6 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 7 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 8 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 9 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 10 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::copy_data.0 iteration 1 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 2 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 3 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 4 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 5 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 6 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 7 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 8 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 9 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 10 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 1 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 2 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 3 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 4 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 5 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 6 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 7 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 8 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 9 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 10 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 1 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 2 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 3 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 4 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 5 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 6 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 7 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 8 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 9 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 10 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::copy_data.0 iteration 1 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 2 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 3 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 4 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 5 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 6 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 7 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 8 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 9 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 10 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 1 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 2 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 3 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 4 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 5 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 6 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 7 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 8 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 9 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 10 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 1 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 2 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 3 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 4 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 5 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 6 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 7 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 8 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 9 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 10 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::copy_data.0 iteration 1 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 2 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 3 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 4 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 5 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 6 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 7 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 8 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 9 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 10 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 1 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 2 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 3 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 4 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 5 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 6 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 7 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 8 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 9 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 10 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 1 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 2 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 3 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 4 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 5 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 6 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 7 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 8 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 9 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 10 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::copy_data.0 iteration 1 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 2 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 3 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 4 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 5 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 6 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 7 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 8 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 9 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 10 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 1 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 2 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 3 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 4 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 5 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 6 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 7 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 8 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 9 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 10 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 1 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 2 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 3 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 4 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 5 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 6 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 7 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 8 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 9 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 10 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::copy_data.0 iteration 1 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 2 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 3 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 4 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 5 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 6 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 7 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 8 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 9 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 10 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 1 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 2 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 3 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 4 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 5 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 6 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 7 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 8 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 9 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 10 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 1 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 2 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 3 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 4 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 5 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 6 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 7 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 8 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 9 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 10 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::copy_data.0 iteration 1 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 2 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 3 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 4 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 5 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 6 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 7 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 8 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 9 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 10 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 1 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 2 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 3 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 4 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 5 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 6 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 7 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 8 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 9 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 10 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 1 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 2 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 3 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 4 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 5 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 6 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 7 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 8 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 9 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 10 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::copy_data.0 iteration 1 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 2 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 3 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 4 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 5 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 6 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 7 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 8 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 9 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 10 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 1 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 2 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 3 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 4 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 5 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 6 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 7 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 8 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 9 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 10 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 1 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 2 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 3 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 4 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 5 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 6 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 7 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 8 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 9 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 10 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::copy_data.0 iteration 1 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 2 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 3 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 4 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 5 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 6 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 7 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 8 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 9 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 10 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 1 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 2 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 3 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 4 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 5 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 6 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 7 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 8 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 9 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 10 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 1 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 2 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 3 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 4 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 5 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 6 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 7 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 8 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 9 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 10 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::copy_data.0 iteration 1 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 2 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 3 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 4 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 5 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 6 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 7 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 8 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 9 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 10 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 1 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 2 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 3 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 4 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 5 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 6 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 7 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 8 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 9 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 10 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 1 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 2 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 3 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 4 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 5 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 6 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 7 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 8 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 9 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 10 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::copy_data.0 iteration 1 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 2 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 3 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 4 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 5 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 6 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 7 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 8 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 9 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::copy_data.0 iteration 10 file mc146818rtc.c line 399 function copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 1 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 2 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 3 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 4 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 5 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 6 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 7 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 8 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 9 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::assert_equal_copy_data.0 iteration 10 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 1 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 2 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 3 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 4 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 5 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 6 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 7 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 8 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 9 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
Unwinding loop c::cmos_ioport_write.1 iteration 10 file mc146818rtc.c line 604 function cmos_ioport_write thread 0
size of program expression: 58605 assignments
simple slicing removed 1372 assignments
Generated 110 VCC(s), 110 remaining after simplification
Passing problem to propositional reduction
Running propositional reduction
Solving with MiniSAT2 with simplifier
8910882 variables, 26136568 clauses
SAT checker: negated claim is UNSATISFIABLE, i.e., holds
Runtime decision procedure: 66.092s
VERIFICATION SUCCESSFUL