@ build-test.php: compatible with src
+ spec/+d: initial test cases generated