Support More Options in Microbat - llmhyy/microbat GitHub Wiki

Microbat support users to customize a set of options such as

• JDK path
• step limit
• number of variable layer (i.e., how many layers of descendant of a variable shall we record)
• support concurrent traces (i.e., record multiple traces for concurrent program)
• apply detailed inspection (i.e., recommend a step when a deadend happens, please refer to our ASE'18 paper for the definition of deadline)

If we would like to add a new option, please refer to the change recorded in commit 6aee4f0460ab52c07ccaeda8e242f6c627e03b84 (code example) and commit 6aee4f0460ab52c07ccaeda8e242f6c627e03b84 (code example, a fix for commit 6aee) where we add an option of "support concurrent trace".