Go

More precise CSV header and add problem count as well as excluded models #49

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Annotations

7 errors

expected 'package', found foobar

expected 'package', found foobar

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

The logs for this run have expired and are no longer available.