Sunbelt Computer Software

PL/B Language Development and Support

Home
About
Blog
Products
Forum
Support
Contact

java-demo/diffblue.yml at master · diffblue/java-demo · GitHub

5 lines (5 loc) · 201 Bytes

ignoreExistingCoverage: true
cbmcArguments:
  # Because tic-tac-toe has 9 squares, we need to unwind the loops 10 times
  # This will be auto-detected in a future version
  max-nondet-array-length: 10

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

diffblue.yml

Latest commit

History

diffblue.yml

File metadata and controls