Skip to content
Snippets Groups Projects
Commit 57bb42fc authored by Etienne Kneuss's avatar Etienne Kneuss
Browse files

Do not register signal handlers when building options

parent 710769d2
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/Main.scala
+ 2
− 2
View file @ 57bb42fc
...@@ -177,8 +177,6 @@ object Main { ...@@ -177,8 +177,6 @@ object Main {
val intManager = new InterruptManager(reporter) val intManager = new InterruptManager(reporter)
intManager.registerSignalHandler()
LeonContext(settings = settings, LeonContext(settings = settings,
reporter = reporter, reporter = reporter,
files = files, files = files,
...@@ -215,6 +213,8 @@ object Main { ...@@ -215,6 +213,8 @@ object Main {
val ctx = processOptions(args.toList) val ctx = processOptions(args.toList)
ctx.interruptManager.registerSignalHandler()
ctx.timers.get("Leon Opts") += timer ctx.timers.get("Leon Opts") += timer
// Compute leon pipeline // Compute leon pipeline
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment