forked from epfl-lara/stainless
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.larabot.conf
43 lines (40 loc) · 1.29 KB
/
.larabot.conf
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
commands = [
"sbt -batch -Dtestsuite-parallelism=5 test"
"sbt -batch -Dtestsuite-parallelism=3 -Dtestcase-parallelism=5 \"stainless-dotty / IntegrationTest / testOnly stainless.DottyExtractionSuite stainless.GhostRewriteSuite stainless.GenCSuite stainless.LibrarySuite stainless.verification.VerificationSuite stainless.verification.UncheckedSuite stainless.verification.TerminationVerificationSuite stainless.verification.ImperativeSuite stainless.verification.FullImperativeSuite stainless.verification.StrictArithmeticSuite stainless.termination.TerminationSuite stainless.evaluators.EvaluatorComponentTest stainless.verification.SatPrecondVerificationSuite\""
]
nightly {
commands = [
"sbt universal:stage"
"sbt -batch -Dtestsuite-parallelism=5 test"
"sbt -batch -Dtestsuite-parallelism=3 -Dtestcase-parallelism=5 it:test"
"bash bin/external-tests.sh"
"sbt -batch scripted"
"bash bin/build-slc-lib.sh"
]
}
trusted = [
"colder"
"larsrh"
"mantognini"
"manoskouk"
"MikaelMayer"
"regb"
"romac"
"samarion"
"vkuncak"
"redelmann"
"jad-hamza"
"gsps"
"drganam"
"brunnerant"
"zyfarok"
"yannbolliger"
"rjraya"
"mario-bucev"
"samuelchassot"
]
notify {
master = [
]
}