Builder integration-predicateAnalysis Build #241

Results:

Warnings

SourceStamp:

BuildSlave:

Reason:

scheduler

Steps and Logfiles:

1. svn update ( 17 secs )
   1. stdio
2. Local mods Ran ( 0 secs )
   1. stdio
3. shell 'ant' ( 4 secs )
   1. stdio
4. shell_1 benchmark.py ( 41 mins, 51 secs )
   1. stdio
5. setproperty 5 properties set ( 0 secs )
   1. stdio
   2. property changes
6. shell_2 Cleanup results ( 0 secs )
   1. stdio
7. shell_3 regression.py ( 0 secs )
   1. stdio
8. shell_4 table_generator.py ( 0 secs )
   1. stdio
9. MasterShellCommand Ran ( 22 secs )
   1. stdio
10. shell_5 Prepare results 2 ( 0 secs )
    1. stdio
11. Transfer results uploading results ( 1 secs )
    1. - no logs -
12. Final result Final result ( 0 secs )
    1. - no logs -
    2. DIFF
    3. TABLE

Build Properties:

Blamelist:

1. schremmer

Timing:

Resubmit Build:

All Changes:

1. Change #354

   Changed by	schremmer
   Changed at	Fri 17 Feb 2012 11:01:31
   Repository	https://svn.sosy-lab.org/software/cpachecker/trunk
   Revision	5647

   Comments

   Removed mem_slave_tlm.4.cil.c because the global timeout condition did not work correctly (bug?) sometimes on PA-ABM, and because it was flapping. Removed locks/test_locks_10.c because it was near timeout time for explicitanalysis.

   Changed files

   • test/test-sets/integration-ControlFlowInteger.set
   • test/test-sets/integration-SystemC.set