Builder benchmark-examples Build #284

Results:

Build successful

SourceStamp:

BuildSlave:

Reason:

scheduler

Steps and Logfiles:

1. svn update ( 18 secs )
   1. stdio
2. Local mods Ran ( 0 secs )
   1. stdio
3. shell 'ant' ( 19 secs )
   1. stdio
4. shell_1 benchmark.py ( 22 mins, 39 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 ( 26 secs )
   1. stdio
10. shell_5 Prepare results 2 ( 0 secs )
    1. stdio
11. Transfer results uploading results ( 0 secs )
    1. - no logs -
12. Final result Final result ( 0 secs )
    1. - no logs -
    2. TABLE

Build Properties:

Blamelist:

1. pwendler

Timing:

Resubmit Build:

All Changes:

1. Change #361

   Changed by	pwendler
   Changed at	Mon 20 Feb 2012 20:01:31
   Repository	https://svn.sosy-lab.org/software/cpachecker/trunk
   Revision	5671

   Comments

   import support for MultiEdges from branch explicit into trunk

   Changed files

   • .classpath
   • .settings/org.eclipse.jdt.core.prefs
   • README.txt
   • build.xml
   • doc/ConfigurationOptions.txt
   • src/org/sosy_lab/cpachecker/cfa/CFACreator.java
   • src/org/sosy_lab/cpachecker/cfa/MultiEdgeCreator.java
   • src/org/sosy_lab/cpachecker/cfa/objectmodel/AbstractCFAEdge.java
   • src/org/sosy_lab/cpachecker/cfa/objectmodel/CFAEdgeType.java
   • src/org/sosy_lab/cpachecker/cfa/objectmodel/MultiEdge.java
   • src/org/sosy_lab/cpachecker/cpa/explicit/ExplicitTransferRelation.java
   • src/org/sosy_lab/cpachecker/cpa/featurevariables/FeatureVarsTransferRelation.java
   • src/org/sosy_lab/cpachecker/cpa/predicate
   • src/org/sosy_lab/cpachecker/exceptions/UnrecognizedCFAEdgeException.java
   • src/org/sosy_lab/cpachecker/util/cwriter/PathToCTranslator.java
   • test