Parse Important Features Graal Compiler Phase tests database: description of the feature tests
-
For running our test please use mx tool (just invoke: mx gate --tags features --features_dir PATH_TO_TESTS_DB)
-
You can use our tool for adding "features test" examples, by simply running: ./src/makeftest FEATURES_TESTS_DB IGV_BIN_DIR (Linux based)
(Win and Mac users should run python ./src/makeftest.py FEATURES_TESTS_DB IGV_BIN_DIR, where python refere to python v2.7).
-
Instead of this, you can write tests down manually.
Below are some basic rules that must be followed when adding tests into this library:
Folder must contains JAVA file and GROUND TRUTH file which must share the same name ($.java and $.json)
-
JAVA file: casual java file containing test functions
-
GROUND TRUTH file: jason based, contains list of dict (one dict per test function) with fields:
-
"source": (name of the test function)
-
"control splits": represent list of the Control Splits data, each contains fields:
- "node" (node description in format nodeBCI|ControlSplitType; ex. "15|If")
- "head" (Control Splits corresponding block; ex. "B1")
- "sons" (Sons are represented as a list of comma separated strings which represent branch blocks; ex. ["B2, B3--tail blocks", "B4, B5--tail blocks", "x(loopExitNodeBCI|LoopExit)--tail blocks"])
-
(suggested FOLDERNAME are "ftest[0-9]+"; suggested test function name are "example_FOLDERNAME", but these recommendations not need to be followed)
-