1:BUILD_BY[name] student7 1:BUILD_ENVIRONMENT[operating system 32 vs 64] 1:END_BUILD_ENVIRONMENT 1:DEPENDENCIES[list of dependencies with where to get them] Scala version 2.9.1 (or higher) google http://www.scala-lang.org/downloads# JDK version 1.6 (or higher) google http://www.oracle.com/technetwork/java/javase/downloads/jdk7-downloads-1880260.html 1:END_DEPENDENCIES 1:NOTES[notes on attempted build] Downloaded Scala, JDK and Congete. JDK could not install, error :java.lang.ClassNotFoundException 1:END_NOTES 2:BUILD_BY[name] student8 2:BUILD_ENVIRONMENT[operating system 32 vs 64] Ubuntu 64 2:END_BUILD_ENVIRONMENT 2:DEPENDENCIES[list of dependencies with where to get them] Scala IDE bundle 2.10.4 from http://scala-ide.org/download/sdk.html 2:END_DEPENDENCIES 2:NOTES[notes on attempted build] Downloaded pldi2012_data.tar.gz from http://mp.binaervarianz.de/pldi2012/pldi2012_data.tar.gz Extracted pldi2012_data.tar.gz to /lhome/student/repro_lab/PradelG12/pldi2012-data Downloaded scala IDE bundle 2.10.4 from http://scala-ide.org/download/sdk.html Extracted the archive Double-clicked eclipse in the extracted eclipse directory to launch eclipse Created a new workspace In eclipse, File -> New -> Scala Project Entered "ConTeGe" as the project name and clicked "Finish" Right clicked on ConTeGe in the Package Explorer, clicked on "Import..." Selected General -> File System Browsed to the ConTeGe source directory. Selected the whole ConTeGe source directory. Unselected the file ".project" Clicked "Finish" When prompted if I wanted to overwrite .classpath, I clicked "Yes To All" After imported, I got error "Unbound classpath container: 'JRE System Library [jdk1.6.0_27]' in project 'ConTeGe'" Right-clicked on ConTeGe in the Package Explorer, clicked on "Properties" Chose "Java Build Path", chose tab "Libraries", remove "JRE System Library", then clicked "Ok" Edited ClassTest.sh in the workspace like the following: ====== Start of ClassTest.sh ===== #!/bin/sh # ClassTester arguments: # # 0: the class under test (CUT) # 1: file with helper types # 2: random seed # 3: max. nb of tries to generate suffixes (i.e. how long it should run) # 4: result file (only written when a thread safety violation is found) # 5: whether to reset static state before each test (only works when classes have been instrumented with ClinitRewriter) #### Adapt to your environment: scala="/lhome/student/repro_lab/PradelG12/eclipse/configuration/org.eclipse.osgi/bundles/290/1/.cp/lib/scala-library.jar" #### Adapt to your environment: #testedJar="/lhome/student/repro_lab/PradelG12/pldi2012-data/XYSeries/jar/jfreechart-0.9.8_rewritten.jar" #testedJarLibs="/lhome/student/repro_lab/PradelG12/pldi2012-data/XYSeries/lib/jcommon-0.8.0.jar:/lhome/student/repro_lab/PradelG12/pldi2012-data/XYSeries/lib/clinit.jar" #testedJarEnvTypes="/lhome/student/repro_lab/PradelG12/pldi2012-data/XYSeries/env_types.txt" #testedJarEnvTypes="/lhome/student/repro_lab/PradelG12/pldi2012-data/XYSeries/env_classes.txt" testedJar="/lhome/student/repro_lab/PradelG12/pldi2012-data/BufferedInputStream/jar/jdk1.1_subset_rewritten.jar" testedJarLibs="/lhome/student/repro_lab/PradelG12/pldi2012-data/BufferedInputStream/lib/clinit.jar" testedJarEnvTypes="/lhome/student/repro_lab/PradelG12/pldi2012-data/BufferedInputStream/env_classes.txt" pwd=`pwd` contege="${pwd}/bin" contegeLibs="${pwd}/lib/asm-tree-4.0.jar:${pwd}/lib/asm-4.0.jar:${pwd}/lib/tools.jar:${pwd}/lib/testSkeleton.jar:${pwd}/lib/commons-io-2.0.1.jar:${pwd}/lib/jpf.jar:${pwd}/lib/bcel-5.2.jar" contegeOwnLibs="${pwd}/ownLibs/javaModel.jar:${pwd}/ownLibs/clinitRewriter.jar" seed=0 maxSuffixGenTries=100 java -cp ${scala}:${contege}:${contegeLibs}:${contegeOwnLibs}:${testedJar}:${testedJarLibs} contege.ClassTester java.io.BufferedInputStream ${testedJarEnvTypes} ${seed} ${maxSuffixGenTries} result.out false =====End of ClassTester.sh===== $ ./ClassTester.sh Starting ClassTester at Mon Jul 21 20:01:34 MST 2014 Testing java.io.BufferedInputStream with seed 0 === Statistics: === Executed sequences: 0 Failed : 0 Concurrent runs: 0 Succeeded : 0 Failed : 0 Sequential interleavings: 0 ------------ Too long sequence: 0 Failed call CUT tasks: 0 / 0 Reasons for failed call CUT tasks: Reasons for failed state changer call tasks: Tasks started: 10 -- GetParamTask for java.io.InputStream Tasks failed: 10 -- GetParamTask for java.io.InputStream Null parameters: No parameter found: ------------------------- Successful / inconclusive JPF runs: 0 / 0 ==================== --- Timer: 51 --- all -----------(end) Done with ClassTester at Mon Jul 21 20:01:34 MST 2014 2:END_NOTES