about jalangi2

[zhangbowei]

why I use 2 to run out is ''?

import sj
import sys

analyses = ['../src/js/sample_analyses/inconsistentType/InconsistentTypeEngine.js','']
# analyses = ['../src/js/sample_analyses/ChainedAnalyses.js',
#  '../src/js/sample_analyses/dlint/Utils.js',
#  '../src/js/sample_analyses/dlint/FunCalledWithMoreArguments.js',
#  '../src/js/sample_analyses/dlint/CompareFunctionWithPrimitives.js',
#  '../src/js/sample_analyses/dlint/UndefinedOffset.js',
#  '../src/js/sample_analyses/dlint/CheckNaN.js',
#  '../src/js/sample_analyses/dlint/ConcatUndefinedToString.js',
#  '../src/js/sample_analyses/dlint/ShadowProtoProperty.js']

analysesStr = ' --analysis '+(' --analysis '.join(analyses))

sj.create_and_cd_jalangi_tmp()
# file = '../tests/dlint/dlint1';
file = '../tests/inconsistentType/inconsistent_r1_beliefs_';
sj.execute_np(sj.INSTRUMENTATION_SCRIPT+' --inlineIID --inlineSource '+file+'.js')
out = sj.execute_return_np(sj.ANALYSIS_SCRIPT+ analysesStr+' ' + file+ '_jalangi_.js')
# out = sj.execute_return_np(sj.ANALYSIS_SCRIPT+ analysesStr+'/Users/ZhangBowei/Code/js/jalangi2/tests/inconsistentType/inconsistent_paper_beliefs_.js')
# out = sj.execute_return_np(sj.ANALYSIS_SCRIPT+ analysesStr+'/Users/ZhangBowei/Code/js/jalangi2/tests/inconsistentType/inconsistent_paper_beliefs_.js')
print(out) #output: out is ''