I have two simple issues:
(1) If I want to match multi-path at the same time, what should I do?
(2) How to save the matching result to file?
I have run the project using "python util/submit/batch.py --host localhost --port 1234 --file src/test/resources/com/bmwcarit/barefoot/matcher/x0001-015.json
SUCCESS
..."
Should I install other softwares? I am a new guy, wishing to get some advice, thanks.