Merge pull request #13167 from ywon0925/ICE-isoltest

Fix validation error causing ICE with isoltest --test

test/CMakeLists.txt

@@ -1,5 +1,5 @@
 set(sources
-    boostTest.cpp
+    soltest.cpp
     Common.cpp
     Common.h
     CommonSyntaxTest.cpp

test/tools/isoltest.cpp

@@ -509,6 +509,11 @@ int main(int argc, char const *argv[])
 		cerr << exception.what() << endl;
 		return EXIT_FAILURE;
 	}
+	catch (solidity::test::ConfigException const& exception)
+	{
+		cerr << exception.what() << endl;
+		return EXIT_FAILURE;
+	}
 	catch (...)
 	{
 		cerr << "Unhandled exception caught." << endl;