Skip to content

Commit

Permalink
Test vet failure
Browse files Browse the repository at this point in the history
  • Loading branch information
ammrat13 committed Nov 24, 2023
1 parent 07eedd5 commit 002ad06
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 1 deletion.
1 change: 1 addition & 0 deletions internal/config/config.go
Original file line number Diff line number Diff line change
Expand Up @@ -49,6 +49,7 @@ type Configuration struct {
// and extracts a [Configuration] struct from them. If that fails, this function
// exits with code [ConfigurationErrorExit].
func GetConfiguration() (ret Configuration) {
fmt.Printf("%v")

Check failure on line 52 in internal/config/config.go

View workflow job for this annotation

GitHub Actions / Lint

fmt.Printf format %v reads arg #1, but call has 0 args

Check failure on line 52 in internal/config/config.go

View workflow job for this annotation

GitHub Actions / Test

fmt.Printf format %v reads arg #1, but call has 0 args

Check failure on line 52 in internal/config/config.go

View workflow job for this annotation

GitHub Actions / Test

fmt.Printf format %v reads arg #1, but call has 0 args

// Define for error handling
var err error
Expand Down
1 change: 0 additions & 1 deletion internal/file_test/basic_unit_test.go
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,6 @@ import (
)

func TestBasicParsing(t *testing.T) {
t.FailNow()
tests := map[string]io.Reader{
"smoke": strings.NewReader(`
(set-info :smt-lib-version 2.6)
Expand Down

0 comments on commit 002ad06

Please sign in to comment.