generated unit test file plain_symflower_test.go\nAnalyzed 1 out of 1 source files\nHad 0 errors that block a full analysis\nGenerated 1 test\nFound 0 potential problems\n\x1b[0;34mGive us your feedback and let us know how we can improve Symflower at hello@symflower.com or https://github.com/symflower/symflower. Thanks so much for your help!\x1b[0m\n2024/04/22 13:43:12 $ gotestsum --format standard-verbose --hide-summary skipped -- -cover -v -vet=off ./...\n=== RUN TestSymflowerPlain\n=== RUN TestSymflowerPlain/#00\n--- PASS: TestSymflowerPlain (0.00s)\n --- PASS: TestSymflowerPlain/#00 (0.00s)\nPASS\ncoverage: 100.0% of statements\nok \tplain\t0.002s\tcoverage: 100.0% of statements\n\nDONE 2 tests in 0.147s\n2024/04/22 13:43:12 Evaluated model \"symflower/symbolic-execution\" using language \"golang\" and repository \"golang/plain\": encountered 0 problems: []\n2024/04/22 13:43:12 Evaluating models and languages\n2024/04/22 13:43:12 Evaluation score for \"symflower/symbolic-execution\" (\"No Excess Response\"): score=6, coverage-statement=1, files-executed=1, response-no-error=1, response-no-excess=1, response-not-empty=1, response-with-code=1\n" does not contain "Evaluation score for \"symflower/symbolic-execution\" (\"code-no-excess\"): score=6, coverage-statement=1, files-executed=1, response-no-error=1, response-no-excess=1, response-not-empty=1, response-with-code=1"

generated unit test file plain_symflower_test.go\nAnalyzed 1 out of 1 source files\nHad 0 errors that block a full analysis\nGenerated 1 test\nFound 0 potential problems\n\x1b[0;34mGive us your feedback and let us know how we can improve Symflower at hello@symflower.com or https://github.com/symflower/symflower. Thanks so much for your help!\x1b[0m\n2024/04/22 13:43:12 $ gotestsum --format standard-verbose --hide-summary skipped -- -cover -v -vet=off ./...\n=== RUN TestSymflowerPlain\n=== RUN TestSymflowerPlain/#00\n--- PASS: TestSymflowerPlain (0.00s)\n --- PASS: TestSymflowerPlain/#00 (0.00s)\nPASS\ncoverage: 100.0% of statements\nok \tplain\t0.002s\tcoverage: 100.0% of statements\n\nDONE 2 tests in 0.147s\n2024/04/22 13:43:12 Evaluated model \"symflower/symbolic-execution\" using language \"golang\" and repository \"golang/plain\": encountered 0 problems: []\n2024/04/22 13:43:12 Evaluating models and languages\n2024/04/22 13:43:12 Evaluation score for \"symflower/symbolic-execution\" (\"No Excess Response\"): score=6, coverage-statement=1, files-executed=1, response-no-error=1, response-no-excess=1, response-not-empty=1, response-with-code=1\n" does not contain "Evaluation score for \"symflower/symbolic-execution\" (\"code-no-excess\"): score=6, coverage-statement=1, files-executed=1, response-no-error=1, response-no-excess=1, response-not-empty=1, response-with-code=1"