diff --git a/README_testminimizer.md b/README_testminimizer.md index c2f2aa9..84a8f3f 100644 --- a/README_testminimizer.md +++ b/README_testminimizer.md @@ -49,7 +49,6 @@ pip2 install lithium-reducer --user You need to manually install this dependency at the moment. - #### Running the tool: ```bash @@ -61,6 +60,8 @@ do-like-javac/dljc -t testminimizer \ -- ``` +__Note__: You may meet the problem `module 'lithium' has no attribute 'TestcaseLine'`, which means there is a interruption by package `lithium`, running `pip uninstall lithium` may solve this problem. + ##### Regex note The parameter `--expectOutputRegex` takes the given argument as a @@ -78,5 +79,3 @@ project](https://github.com/opprop/DemoProject4TestMinimizer) that demos the TestMinimizer. You can clone it and try to run the demo script there to have a better sense of what TestMinimizer can do for you. - -