85d4bca81a
new format: <target>.<config>.<case_name>, the default value of "config" is "default"
new format: <target>.<config>.<case_name>, the default value of "config" is "default"