FilesExpand file tree

 master

/

diffblue.yml

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

103 lines (103 loc) · 2.87 KB

 master

/

diffblue.yml

Top

File metadata and controls

• Code
• Blame

103 lines (103 loc) · 2.87 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

91

92

93

94

95

96

97

98

99

100

101

102

103

# Tested on Deeptest release 1.12.0

testCmd: ls

cbmcArguments:

java-generate-no-comments: true

units:

- target:

- dir: target/classes

file: com/github/dockerjava/netty/handler/FramedResponseStreamHandler.class

sourceDir: src/main/java

sourceFile: com/github/dockerjava/netty/handler/FramedResponseStreamHandler.java

# Child of FramedResponseStreamHandler.class

- dir: target/classes

file: com/github/dockerjava/api/async/ResultCallback.class

sourceDir: src/main/java

sourceFile: com/github/dockerjava/api/async/ResultCallback.java

# Child of FramedResponseStreamHandler.class

- dir: target/classes

file: com/github/dockerjava/api/model/Frame.class

sourceDir: src/main/java

sourceFile: com/github/dockerjava/api/model/Frame.java

# Child of FramedResponseStreamHandler.class

- dir: target/classes

file: com/github/dockerjava/api/model/StreamType.class

sourceDir: src/main/java

sourceFile: com/github/dockerjava/api/model/StreamType.java

phases:

-

timeout: 60

cbmcArguments:

max-nondet-array-length: 10

unwind: 1

string-non-empty: true

java-assume-inputs-non-null: true

-

timeout: 60

cbmcArguments:

classpath: '/tools/cbmc/models-simple-overlay.jar:/tools/cbmc/models.jar:.'

max-nondet-array-length: 10

unwind: 1

-

timeout: 60

cbmcArguments:

classpath: '/tools/cbmc/models-simple-overlay.jar:/tools/cbmc/models.jar:.'

max-nondet-array-length: 20

unwind: 2

string-non-empty: true

java-assume-inputs-non-null: true

-

timeout: 60

cbmcArguments:

classpath: '/tools/cbmc/models-simple-overlay.jar:/tools/cbmc/models.jar:.'

max-nondet-array-length: 20

unwind: 2

-

timeout: 60

cbmcArguments:

classpath: '/tools/cbmc/models.jar:.'

max-nondet-array-length: 30

max-nondet-string-length: 10

unwind: 3

string-non-empty: true

java-assume-inputs-non-null: true

-

timeout: 60

cbmcArguments:

classpath: '/tools/cbmc/models.jar:.'

max-nondet-array-length: 30

max-nondet-string-length: 10

unwind: 3

-

timeout: 120

cbmcArguments:

classpath: '/tools/cbmc/models.jar:.'

max-nondet-array-length: 30

max-nondet-string-length: 10

unwind: 4

load-containing-class-only: true

string-non-empty: true

java-assume-inputs-non-null: true

-

timeout: 120

cbmcArguments:

classpath: '/tools/cbmc/models.jar:.'

max-nondet-array-length: 50

max-nondet-string-length: 50

unwind: 4

load-containing-class-only: true

-

timeout: 120

cbmcArguments:

classpath: '/tools/cbmc/models.jar:.'

max-nondet-array-length: 130

max-nondet-string-length: 110

unwind: 10

string-non-empty: true

java-assume-inputs-non-null: true

-

timeout: 120

cbmcArguments:

classpath: '/tools/cbmc/models.jar:.'

max-nondet-array-length: 300

max-nondet-string-length: 100

unwind: 10