exit status 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 [email protected] or https://github.com/symflower/symflower. Thanks so much for your help!\x1b[0m\n2024/04/24 10:10:17 $ symflower test --language golang --workspace /tmp/eval-dev-quality1063840461/plain\n\x1b[0;34mGive us your feedback and let us know how we can improve Symflower at [email protected] or https://github.com/symflower/symflower. Thanks so much for your help!\x1b[0m\nERROR: unknown flag `language'\n2024/04/24 10:10:17 Evaluated model \"symflower/symbolic-execution\" using language \"golang\" and repository \"golang/plain\": encountered 1 problems: [exit status 1\ngithub.com/symflower/eval-dev-quality/util.CommandWithResult\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/util/exec.go:36\ngithub.com/symflower/eval-dev-quality/language/golang.(*Language).Execute\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/language/golang/language.go:84\ngithub.com/symflower/eval-dev-quality/evaluate.Repository\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/evaluate/repository.go:67\ngithub.com/symflower/eval-dev-quality/evaluate.TestRepository.TestRepository.func1.func3\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/evaluate/repository_test.go:42\ntesting.tRunner\n\t/opt/hostedtoolcache/go/1.21.9/x64/src/testing/testing.go:1595\nruntime.goexit\n\t/opt/hostedtoolcache/go/1.21.9/x64/src/runtime/asm_amd64.s:1650\ngithub.com/symflower/eval-dev-quality/language/golang.(*Language).Execute\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/language/golang/language.go:94\ngithub.com/symflower/eval-dev-quality/evaluate.Repository\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/evaluate/repository.go:67\ngithub.com/symflower/eval-dev-quality/evaluate.TestRepository.TestRepository.func1.func3\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/evaluate/repository_test.go:42\ntesting.tRunner\n\t/opt/hostedtoolcache/go/1.21.9/x64/src/testing/testing.go:1595\nruntime.goexit\n\t/opt/hostedtoolcache/go/1.21.9/x64/src/runtime/asm_amd64.s:1650\nplain.go]\n" does not contain "PASS: TestSymflowerPlain"

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 [email protected] or https://github.com/symflower/symflower. Thanks so much for your help!\x1b[0m\n2024/04/24 10:10:17 $ symflower test --language golang --workspace /tmp/eval-dev-quality1868582524/plain\n\x1b[0;34mGive us your feedback and let us know how we can improve Symflower at [email protected] or https://github.com/symflower/symflower. Thanks so much for your help!\x1b[0m\nERROR: unknown flag `language'\n2024/04/24 10:10:17 Evaluated model \"symflower/symbolic-execution\" using language \"golang\" and repository \"golang/plain\": encountered 1 problems: [exit status 1\ngithub.com/symflower/eval-dev-quality/util.CommandWithResult\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/util/exec.go:36\ngithub.com/symflower/eval-dev-quality/language/golang.(*Language).Execute\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/language/golang/language.go:84\ngithub.com/symflower/eval-dev-quality/evaluate.Repository\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/evaluate/repository.go:67\ngithub.com/symflower/eval-dev-quality/cmd/eval-dev-quality/cmd.(*Evaluate).Execute\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/cmd/eval-dev-quality/cmd/evaluate.go:185\ngithub.com/symflower/eval-dev-quality/cmd/eval-dev-quality/cmd.Execute.func1\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/cmd/eval-dev-quality/cmd/command.go:34\ngithub.com/jessevdk/go-flags.(*Parser).ParseArgs\n\t/home/runner/go/pkg/mod/github.com/jessevdk/[email protected]/parser.go:333\ngithub.com/symflower/eval-dev-quality/cmd/eval-dev-quality/cmd.Execute\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/cmd/eval-dev-quality/cmd/command.go:37\ngithub.com/symflower/eval-dev-quality/cmd/eval-dev-quality/cmd.TestEvaluateExecute.TestEvaluateExecute.func1.func4\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/cmd/eval-dev-quality/cmd/evaluate_test.go:33\ntesting.tRunner\n\t/opt/hostedtoolcache/go/1.21.9/x64/src/testing/testing.go:1595\nruntime.goexit\n\t/opt/hostedtoolcache/go/1.21.9/x64/src/runtime/asm_amd64.s:1650\ngithub.com/symflower/eval-dev-quality/language/golang.(*Language).Execute\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/language/golang/language.go:94\ngithub.com/symflower/eval-dev-quality/evaluate.Repository\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/evaluate/repository.go:67\ngithub.com/symflower/eval-dev-quality/cmd/eval-dev-quality/cmd.(*Evaluate).Execute\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/cmd/eval-dev-quality/cmd/evaluate.go:185\ngithub.com/symflower/eval-dev-quality/cmd/eval-dev-quality/cmd.Execute.func1\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/cmd/eval-dev-quality/cmd/command.go:34\ngithub.com/jessevdk/go-flags.(*Parser).ParseArgs\n\t/home/runner/go/pkg/mod/github.com/jessevdk/[email protected]/parser.go:333\ngithub.com/symflower/eval-dev-quality/cmd/eval-dev-quality/cmd.Execute\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/cmd/eval-dev-quality/cmd/command.go:37\ngithub.com/symflower/eval-dev-quality/cmd/eval-dev-quality/cmd.TestEvaluateExecute.TestEvaluateExecute.func1.func4\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/cmd/eval-dev-quality/cmd/evaluate_test.go:33\ntesting.tRunner\n\t/opt/hostedtoolcache/go/1.21.9/x64/src/testing/testing.go:1595\nruntime.goexit\n\t/opt/hostedtoolcache/go/1.21.9/x64/src/runtime/asm_amd64.s:1650\nplain.go]\n2024/04/24 10:10:17 Excluding model \"symflower/symbolic-execution\" since it was not able to solve the \"golang/plain\" repository for language \"golang\": [exit status 1\ngithub.com/symflower/eval-dev-quality/util.CommandWithResult\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/util/exec.go:36\ngithub.com/symflower/eval-dev-quality/language/golang.(*Language).Execute\n\t/home/runner/w

found 1 symbols

plain.plain: computing test cases

plain.plain: computed 1 unit tests

plain.plain: found 0 problems

generated unit test file plain_symflower_test.go

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 [email protected] or https://github.com/symflower/symflower. Thanks so much for your help!\x1b[0m\n2024/04/24 10:10:17 $ symflower test --language golang --workspace /tmp/eval-dev-quality1868582524/plain\n\x1b[0;34mGive us your feedback and let us know how we can improve Symflower at [email protected] or https://github.com/symflower/symflower. Thanks so much for your help!\x1b[0m\nERROR: unknown flag `language'\n2024/04/24 10:10:17 Evaluated model \"symflower/symbolic-execution\" using language \"golang\" and repository \"golang/plain\": encountered 1 problems: [exit status 1\ngithub.com/symflower/eval-dev-quality/util.CommandWithResult\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/util/exec.go:36\ngithub.com/symflower/eval-dev-quality/language/golang.(*Language).Execute\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/language/golang/language.go:84\ngithub.com/symflower/eval-dev-quality/evaluate.Repository\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/evaluate/repository.go:67\ngithub.com/symflower/eval-dev-quality/cmd/eval-dev-quality/cmd.(*Evaluate).Execute\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/cmd/eval-dev-quality/cmd/evaluate.go:185\ngithub.com/symflower/eval-dev-quality/cmd/eval-dev-quality/cmd.Execute.func1\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/cmd/eval-dev-quality/cmd/command.go:34\ngithub.com/jessevdk/go-flags.(*Parser).ParseArgs\n\t/home/runner/go/pkg/mod/github.com/jessevdk/[email protected]/parser.go:333\ngithub.com/symflower/eval-dev-quality/cmd/eval-dev-quality/cmd.Execute\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/cmd/eval-dev-quality/cmd/command.go:37\ngithub.com/symflower/eval-dev-quality/cmd/eval-dev-quality/cmd.TestEvaluateExecute.TestEvaluateExecute.func1.func4\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/cmd/eval-dev-quality/cmd/evaluate_test.go:33\ntesting.tRunner\n\t/opt/hostedtoolcache/go/1.21.9/x64/src/testing/testing.go:1595\nruntime.goexit\n\t/opt/hostedtoolcache/go/1.21.9/x64/src/runtime/asm_amd64.s:1650\ngithub.com/symflower/eval-dev-quality/language/golang.(*Language).Execute\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/language/golang/language.go:94\ngithub.com/symflower/eval-dev-quality/evaluate.Repository\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/evaluate/repository.go:67\ngithub.com/symflower/eval-dev-quality/cmd/eval-dev-quality/cmd.(*Evaluate).Execute\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/cmd/eval-dev-quality/cmd/evaluate.go:185\ngithub.com/symflower/eval-dev-quality/cmd/eval-dev-quality/cmd.Execute.func1\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/cmd/eval-dev-quality/cmd/command.go:34\ngithub.com/jessevdk/go-flags.(*Parser).ParseArgs\n\t/home/runner/go/pkg/mod/github.com/jessevdk/[email protected]/parser.go:333\ngithub.com/symflower/eval-dev-quality/cmd/eval-dev-quality/cmd.Execute\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/cmd/eval-dev-quality/cmd/command.go:37\ngithub.com/symflower/eval-dev-quality/cmd/eval-dev-quality/cmd.TestEvaluateExecute.TestEvaluateExecute.func1.func4\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/cmd/eval-dev-quality/cmd/evaluate_test.go:33\ntesting.tRunner\n\t/opt/hostedtoolcache/go/1.21.9/x64/src/testing/testing.go:1595\nruntime.goexit\n\t/opt/hostedtoolcache/go/1.21.9/x64/src/runtime/asm_amd64.s:1650\nplain.go]\n2024/04/24 10:10:17 Excluding model \"symflower/symbolic-execution\" since it was not able to solve the \"golang/plain\" repository for language \"golang\": [exit status 1\ngithub.com/symflower/eval-dev-quality/util.CommandWithResult\n\t/home/runner/work/eval-dev-quality/eval-dev-quality/util/exec.go:36\ngithub.com/symflower/eval-dev-quality/language/golang.(*Language).Execute\n\t/home/runner/w