Commit 8e059428 authored by ='s avatar =

Prototype of typing specified by a file

parent 94aa329a
......@@ -29,6 +29,7 @@ object Main {
List("analysis","solver")),
FlagOptionDef("codegen", "Generate code (as opposed to just doing analysis)."),
FlagOptionDef("randomMP", "random mixed precision assignment"),
ParamOptionDef("precFile", "Force typing using a given file", ""),
optionFunctions,
optionPrintToughSMTCalls,
optionValidators
......@@ -174,6 +175,11 @@ object Main {
case _ => false
}
for(opt <- ctx.options) opt match {
case ParamOption("precFile", b) => println(s"precFile is $b")
case _ =>
}
// this is not ideal, using 'magic' strings
if (ctx.hasFlag("dynamic")) {
analysis.SpecsProcessingPhase andThen
......
......@@ -126,4 +126,4 @@ object Identifiers {
(s1 & s2).nonEmpty
}
}
\ No newline at end of file
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment