JSA Result:
"jsaTest" folder contains all the JSA testcases("jsaTest/src") and analysis results("jsaTest/jsaResult").
Violist Result:
"reflection" folder contains all testcases.
"StringOutput" folder contains results with Violist SSI.
"AutoOutput" folder contains results with Violist FSAI and "Automatons" folder contains all automatons corresponding to the results in "AutoOutput" folder. They are generated by JSA automaon library.