Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added yml file generation and verifier class replacing random #12

Merged
merged 17 commits into from
Dec 12, 2024
Merged

Added yml file generation and verifier class replacing random #12

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
a553325
removed unneccessary files
rubalgoyal Nov 14, 2024
6f4e176
pushing changes after creatng benchmarks
rubalgoyal Nov 26, 2024
e5a7f4e
removed unneccesary files
rubalgoyal Dec 4, 2024
beeac81
resolving merge conflicts
rubalgoyal Dec 4, 2024
98b7d2c
resolving conflicts
rubalgoyal Dec 4, 2024
e142bf6
resolved conflicts in classpath
rubalgoyal Dec 4, 2024
a0637d3
removed the database files from commit
rubalgoyal Dec 8, 2024
69c3fa0
converted benchmark programs for svcomp submission
rubalgoyal Dec 10, 2024
e521aed
Resolved leftover merge conflicts
rubalgoyal Dec 10, 2024
dac1e29
ignored the .idea folder from commit
rubalgoyal Dec 10, 2024
65b268c
Merge branch 'develop' into svcomp-benchmarks
rubalgoyal Dec 10, 2024
7cf7d61
Removed the .DS_Store
rubalgoyal Dec 10, 2024
e0d7e16
Merge branch 'svcomp-benchmarks' of https://github.com/unl-pal/paclab…
rubalgoyal Dec 10, 2024
865473d
Resolved a build error and built successfully
rubalgoyal Dec 10, 2024
596f6c1
Remove .DS_Store files and add to .gitignore
rubalgoyal Dec 10, 2024
dda1760
Remove .DS_Store and .idea files and add to .gitignore
rubalgoyal Dec 10, 2024
3c59fce
Modifying Transformer and Main and config
charles-moloney Dec 11, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
62 changes: 13 additions & 49 deletions .classpath
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,66 +1,30 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry exported="true" kind="lib" path="lib/org.eclipse.core.resources_3.7.101.dist.jar"/>
<classpathentry exported="true" kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="src" path="benchmarks/caseyjames/myJavaProjects/myJavaProjects-master/Assignments/src"/>
<classpathentry kind="src" path="benchmarks/Jarcionek/MTG-Deck-Builder/MTG-Deck-Builder-master/src/main/java"/>
<classpathentry kind="src" path="benchmarks/jipson7/sortingComparison-ScalaVsJava/sortingComparison-master/java"/>
<classpathentry kind="src" path="benchmarks/JsonHunt/mobile-app-scaffolding/mobile-app-scaffolding-master/mobile/platforms/android/CordovaLib/src"/>
<classpathentry kind="src" path="benchmarks/mathewreny/ARM230Compiler/ARM230Compiler-master/Build415/Program_Files"/>
<classpathentry kind="src" path="benchmarks/mathewreny/ARM230Compiler/ARM230Compiler-master/BuildApril14th/Program_Files"/>
<classpathentry kind="src" path="benchmarks/mathewreny/ARM230Compiler/ARM230Compiler-master/CSCELAB/ARM230Assembler/ARM230Assembler/Program_Files"/>
<classpathentry kind="src" path="benchmarks/mathewreny/ARM230Compiler/ARM230Compiler-master/MostRecentEclipseBuild/Program_Files"/>
<classpathentry kind="src" path="benchmarks/mathewreny/ARM230Compiler/ARM230Compiler-master/Program_Files"/>
<classpathentry kind="src" path="benchmarks/PIfagor/Checkers/Checkers-master/src"/>
<classpathentry kind="src" path="benchmarks/PunchApp/volley/volley-master/src"/>
<classpathentry kind="src" path="benchmarks/ronak1790/Contested_Massive_Multiplayer_Online_Role_Playing_Game/Contested_Massive_Multiplayer_Online_Role_Playing_Game-master/Contested_Server-master/Contested_Server-master/ContestedServer"/>
<classpathentry kind="src" path="benchmarks/stefanil/JFXControls/JFXControls-master/src/main/java"/>
<classpathentry kind="src" path="benchmarks/The-WUUSTER/Randoms/Randoms-master/src"/>
<classpathentry kind="src" path="benchmarks/wangjia55/CircleChooseDisc/CircleChooseDisc-master/app/src/main/java"/>
<classpathentry kind="src" path="database/caseyjames/myJavaProjects/myJavaProjects-master/Assignments/src"/>
<classpathentry kind="src" path="database/caseyjames/myJavaProjects/myJavaProjects-master/Labs/src"/>
<classpathentry kind="src" path="database/jakubrojcek/GPR/GPR-master/src"/>
<classpathentry kind="src" path="database/jakubrojcek/GPR/GPR-master/tests"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/accumulo/src/main/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/cassandra/src/main/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/core/src/main/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/core/src/test/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/dynamodb/src/main/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/elasticsearch/src/main/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/elasticsearch/src/test/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/gemfire/src/main/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/hbase/src/main/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/hypertable/src/main/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/infinispan/src/main/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/jdbc/src/main/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/mapkeeper/src/main/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/mongodb/src/main/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/nosqldb/src/main/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/orientdb/src/main/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/redis/src/main/java"/>
<classpathentry kind="src" path="database/Sonnbc/modelCheckingNobi/modelCheckingNobi-master/YCSB/voldemort/src/main/java"/>
<classpathentry kind="src" path="database/yue31313/ShellCommand/ShellCommand-master/gen"/>
<classpathentry kind="src" path="database/yue31313/ShellCommand/ShellCommand-master/src"/>
<classpathentry kind="src" path="programs"/>
<classpathentry excluding="java/" kind="src" path="src"/>
<classpathentry kind="src" path="src/java"/>
<classpathentry kind="src" path="test"/>
<classpathentry exported="true" kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER">
<attributes>
<attribute name="module" value="true"/>
</attributes>
</classpathentry>
<classpathentry kind="src" path="src"/>
<classpathentry kind="src" path="lib"/>
<classpathentry exported="true" kind="lib" path="lib/bcel-6.2.jar"/>
<classpathentry exported="true" kind="lib" path="lib/commons-csv-1.5.jar"/>
<classpathentry exported="true" kind="lib" path="lib/commons-io-2.16.1.jar"/>
<classpathentry exported="true" kind="lib" path="lib/jpf.jar"/>
<classpathentry exported="true" kind="lib" path="lib/org.eclipse.core.contenttype-3.4.200-v20140207-1251.jar"/>
<classpathentry exported="true" kind="lib" path="lib/org.eclipse.core.jobs-3.6.0-v20140424-0053.jar"/>
<classpathentry exported="true" kind="lib" path="lib/org.eclipse.core.resources-3.6.0.v20100526-0737.jar"/>
<classpathentry exported="true" kind="lib" path="lib/org.eclipse.core.runtime-3.7.0.jar"/>
<classpathentry exported="true" kind="lib" path="lib/org.eclipse.equinox.common-3.6.0.v20100503.jar"/>
<classpathentry exported="true" kind="lib" path="lib/org.eclipse.equinox.preferences-3.5.200-v20140224-1527.jar"/>
<classpathentry exported="true" kind="lib" path="lib/org.eclipse.jdt.core-3.3.0-v_771.jar"/>
<classpathentry exported="true" kind="lib" path="lib/org.eclipse.jdt.ui-6.12.2.jar"/>
<classpathentry exported="true" kind="lib" path="lib/org.eclipse.jface.jar"/>
<classpathentry exported="true" kind="lib" path="lib/org.eclipse.ltk.core.refactoring-6.12.2.jar"/>
<classpathentry exported="true" kind="lib" path="lib/org.eclipse.osgi-3.7.1.jar"/>
<classpathentry exported="true" kind="lib" path="lib/org.eclipse.text_3.5.0.jar"/>
<classpathentry exported="true" kind="lib" path="lib/sootclasses-trunk-jar-with-dependencies.jar"/>
<classpathentry exported="true" kind="lib" path="lib/eclipse.jdt.core.jar"/>
<classpathentry exported="true" kind="src" path="/jpf-symbc"/>
<classpathentry exported="true" kind="lib" path="lib/org.eclipse.jdt.ui-6.12.2.jar"/>
<classpathentry exported="true" kind="con" path="org.eclipse.jdt.junit.JUNIT_CONTAINER/4"/>
<classpathentry exported="true" kind="lib" path="/Users/rubalgoyal/Downloads/snakeyaml-2.0-javadoc.jar"/>
<classpathentry exported="true" kind="lib" path="/Users/rubalgoyal/Downloads/snakeyaml-2.0.jar"/>
<classpathentry kind="output" path="bin"/>
</classpath>
2 changes: 1 addition & 1 deletion .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -43,4 +43,4 @@ kls_database.db
# IntelliJ
.idea/
.vscode/
.dir-local.el
.dir-local.el
6 changes: 6 additions & 0 deletions .project
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,15 @@
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.buildship.core.gradleprojectbuilder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.jdt.core.javanature</nature>
<nature>org.eclipse.buildship.core.gradleprojectnature</nature>
</natures>
<filteredResources>
<filter>
Expand Down
Empty file added CompilationIssues.txt
View file
Open in desktop
Empty file.
14 changes: 5 additions & 9 deletions config.properties
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,13 @@
csv=dataset.csv
projectCount=200
projectCount=50
maxLoc=10000
minLoc=100
downloadDir=database
benchmarkDir=benchmarks
transformAll=true
debugLevel=2
type=R
minExpr=1
type=I
minExpr=3
minIfStmt=1
minParams=0
minTypeExpr=0
minTypeCond=0
minTypeParams=0
transformAll=true
target=SVCOMP
# target=SPF
target=SVCOMP
Binary file added dataset.numbers
View file
Open in desktop
Binary file not shown.
Loading
Loading