integration-test2

2nd big integration test of all tools

Our new story is:

How to run:

./fetch_dependencies.sh

This downloads all the jars, compiles stuff, etc. Only needs to be run once.

python backend.py

Downloads the corpus, compiles the corpus projects, generates tests and dtrace files, computes dot files, runs petablox.

python frontend.py

or

python frontend.py imgscalr dyn4j

runs the main loop over the corpus, or the subset of corpus programs specified in the args.

Results of all tools running can be found on Travis:

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
corpus		corpus
graph_generation		graph_generation
insert_jaif		insert_jaif
into_logicblox		into_logicblox
inv_check		inv_check
ontology_to_daikon		ontology_to_daikon
ordering_results		ordering_results
pa2checker		pa2checker
simprog		simprog
type_inference		type_inference
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
backend.py		backend.py
common.py		common.py
corpus.json		corpus.json
fetch_corpus.py		fetch_corpus.py
fetch_dependencies.sh		fetch_dependencies.sh
frontend.py		frontend.py
requirements.txt		requirements.txt
run_all.sh		run_all.sh
test_dict.txt		test_dict.txt

Provide feedback