@@ -5,20 +5,27 @@ spring:
5
5
jackson :
6
6
mapper :
7
7
sort-properties-alphabetically : true
8
- h2 :
9
- console :
10
- enabled : true
11
- path : /h2-console
8
+ # h2:
9
+ # console:
10
+ # enabled: true
11
+ # path: /h2-console
12
12
datasource :
13
- url : jdbc:h2:mem:byzzbench
14
- username : sa
15
- password :
16
- driver-class-name : org.h2.Driver
13
+ # url: jdbc:h2:mem:byzzbench
14
+ # username: sa
15
+ # password:
16
+ # driver-class-name: org.h2.Driver
17
+ url : jdbc:postgresql://localhost:5432/byzzbench
18
+ username : postgres
19
+ password : byzzbench
20
+ driver-class-name : org.postgresql.Driver
17
21
jpa :
18
- database-platform : org.hibernate.dialect.H2Dialect
19
22
generate-ddl : true
20
23
show-sql : true
21
24
defer-datasource-initialization : true
25
+ # database-platform: org.hibernate.dialect.H2Dialect
26
+ database-platform : org.hibernate.dialect.PostgreSQLDialect
27
+ hibernate :
28
+ ddl-auto : update
22
29
23
30
springdoc :
24
31
swagger-ui :
@@ -28,10 +35,9 @@ springdoc:
28
35
29
36
# ByzzBench configuration
30
37
byzzbench :
31
- autostart : true # Whether to start running scenarios automatically on startup
32
- numScenarios : 1000
33
- # outputPath: /tmp/byzzbench # The path to write the output to
34
- outputSchedules : buggy # which schedules to write to file? one of 'all', 'buggy' or 'none'
38
+ autostart : true # Whether to start running a scenario campaign on startup.
39
+ numScenarios : 100 # Number of scenarios to run in the campaign.
40
+ saveSchedules : buggy # which schedules to save? 'all', 'buggy' or 'none'.
35
41
36
42
scheduler :
37
43
id : " byzzfuzz" # The ID of the scheduler to use
@@ -40,7 +46,6 @@ byzzbench:
40
46
maxMutateMessages : 0 # Maximum number of messages to mutate per scenario
41
47
deliverTimeoutWeight : 1 # The weight for scheduler to trigger a timeout
42
48
deliverMessageWeight : 99 # The weight for scheduler to deliver a message
43
- deliverClientRequestWeight : 99 # The weight for scheduler to deliver a client request to a replica
44
49
dropMessageWeight : 0 # The weight for scheduler to drop a message
45
50
mutateMessageWeight : 0 # The weight for scheduler to mutate a message
46
51
params : # additional parameters for the scheduler
@@ -62,4 +67,3 @@ byzzbench:
62
67
minEvents : 500 # check if N events have been scheduled. If so, can terminate
63
68
minRounds : 5 # check if N rounds have elapsed. If so, can terminate
64
69
samplingFrequency : 1 # check if should terminate every N scheduler decisions
65
-
0 commit comments