Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
AVA
FloVer
Commits
36bcf541
Commit
36bcf541
authored
Sep 20, 2016
by
Heiko Becker
Browse files
Rename parameter for certification to "certificate"
parent
a8f0e703
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/main/scala/daisy/Main.scala
View file @
36bcf541
...
...
@@ -19,7 +19,7 @@ object Main {
val
optionPrintToughSMTCalls
=
FlagOptionDef
(
"print-tough-smt-calls"
,
"If enabled, will print SMT queries which take longer to file for inspection."
)
val
optionValidators
=
ChoiceOptionDef
(
"
v
erif
y
"
,
"Wether to
v
erify and which
verifi
er to use"
,
Set
(
"coq"
,
"hol"
),
"coq"
)
val
optionValidators
=
ChoiceOptionDef
(
"
c
er
t
if
icate
"
,
"Wether to
c
er
t
ify and which
theorem prov
er to use"
,
Set
(
"coq"
,
"hol"
),
"coq"
)
val
globalOptions
:
Set
[
CmdLineOptionDef
[
Any
]]
=
Set
(
FlagOptionDef
(
"help"
,
"Show this message."
),
...
...
@@ -188,10 +188,10 @@ object Main {
backend
.
CodeGenerationPhase
}
else
if
(
ctx
.
findOption
(
optionValidators
)
!=
None
)
{
analysis
.
SpecsProcessingPhase
andThen
transform
.
SSATransformerPhase
andThen
analysis
.
RangeErrorPhase
andThen
InfoPhase
andThen
backend
.
CertificatePhase
backend
.
CertificatePhase
andThen
backend
.
CodeGenerationPhase
}
else
{
analysis
.
SpecsProcessingPhase
andThen
analysis
.
RangeErrorPhase
andThen
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment