From aef46ce9c6ea20e5f50b9725abe92dd7f4a0d84e Mon Sep 17 00:00:00 2001 From: Julian Erhard Date: Mon, 13 Nov 2023 14:39:08 +0100 Subject: [PATCH] Add LoopTermination and TerminationPreprocessing to goblint_lib --- src/goblint_lib.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/goblint_lib.ml b/src/goblint_lib.ml index e1087f8fc9..e06f5fd245 100644 --- a/src/goblint_lib.ml +++ b/src/goblint_lib.ml @@ -124,6 +124,7 @@ module RelationPriv = RelationPriv module ThreadEscape = ThreadEscape module PthreadSignals = PthreadSignals module ExtractPthread = ExtractPthread +module LoopTermination = LoopTermination (** {2 Longjmp} @@ -338,6 +339,7 @@ module Tracing = Tracing module Preprocessor = Preprocessor module CompilationDatabase = CompilationDatabase module MakefileUtil = MakefileUtil +module TerminationPreprocessing = TerminationPreprocessing (** {2 Witnesses}