Empty files of saves the generated the test cases

[YuchuLiao]

Hello,
I would like to save the generated test cases. After I add the queries, I could get the trace coverage and the trace statistics. But when I save the test cases I will get empty files. How to get the contents of these files?

Steps:

1. Open an example like 2 doors
2. Open tools: Test Cases
3. Add Queries for the default setting
4. Save Test Cases and get two files "testcase-000.code""testcase-001.code"

[YuchuLiao]

After adding the test code entered in the model. The output test case files are not empty anymore.