Imported Upstream version 0.2

[pkg-cerco/acc-trusted.git] / extracted / interpret2.mli

diff --git a/extracted/interpret2.mli b/extracted/interpret2.mli
index 28582873c4f6ed2f7fd7a04874d68dc33870dff3..04900341765e1a5ab0377a117377f45aa557298b 100644 (file)
--- a/extracted/interpret2.mli
+++ b/extracted/interpret2.mli
@@ -178,3 +178,7 @@ val aSM_preclassified_system :
   ASM.pseudo_assembly_program -> (BitVector.word -> BitVector.word) ->
   (BitVector.word -> Bool.bool) -> Measurable.preclassified_system
 
+val aSM_status :
+  ASM.pseudo_assembly_program -> (BitVector.word -> BitVector.word) ->
+  (BitVector.word -> Bool.bool) -> StructuredTraces.abstract_status
+