/nix/store/y7lg0l6slg6c768mnzvglxmqiflx4q3h-isabelle-test.drv

installing
unpacking source archive /nix/store/5sw01lfpy258izyq1wa52rsjlwy3h46v-source/isabelle
source root is isabelle
fatal: not a git repository (or any parent up to mount point /)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
Building Marlowe proofs
Started at Mon Jul 22 09:15:21 GMT 2024 (polyml-for-isabelle-2022_x86_64-linux on localhost)
ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m"
ISABELLE_BUILD_OPTIONS=""

ML_PLATFORM="x86_64-linux"
ML_HOME="/nix/store/a4bgvp9lkwcfcy78g8niwdiy2fifz73f-polyml-for-isabelle-2022/bin"
ML_SYSTEM="polyml-for-isabelle-2022"
ML_OPTIONS="--minheap 1000"

Fontconfig error: Cannot load default config file: No such file: (null)
Session Pure/Pure
Session Misc/Tools
Session HOL/HOL (main)
Session HOL/HOL-Library (main timing)
Session Marlowe/Util
Building Util ...
Util: theory HOL-Library.Phantom_Type
Util: theory Util.Division
Util: theory HOL-Library.LaTeXsugar
Util: theory Util.SList
Util: theory Util.Utils
Util: theory Util.SpecificationLatexSugar
Util: theory Util.MList
Util: theory HOL-Library.Cardinality
Util: theory HOL-Library.Numeral_Type
Util: theory HOL-Library.Type_Length
Util: theory HOL-Library.Word
Util: theory Util.ByteString
Util: theory Util.Serialisation
Timing Util (8 threads, 13.397s elapsed time, 47.848s cpu time, 4.283s GC time, factor 3.57)
Finished Util (0:00:22 elapsed time, 0:01:01 cpu time, factor 2.71)

Finished at Mon Jul 22 09:15:48 GMT 2024
0:00:27 elapsed time, 0:01:01 cpu time, factor 2.24
Started at Mon Jul 22 09:15:49 GMT 2024 (polyml-for-isabelle-2022_x86_64-linux on localhost)
ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m"
ISABELLE_BUILD_OPTIONS=""

ML_PLATFORM="x86_64-linux"
ML_HOME="/nix/store/a4bgvp9lkwcfcy78g8niwdiy2fifz73f-polyml-for-isabelle-2022/bin"
ML_SYSTEM="polyml-for-isabelle-2022"
ML_OPTIONS="--minheap 1000"

Fontconfig error: Cannot load default config file: No such file: (null)
Session Pure/Pure
Session Misc/Tools
Session HOL/HOL (main)
Session HOL/HOL-Library (main timing)
Session Marlowe/Util
Session Marlowe/Core
Building Core ...
Core: theory HOL-Library.Phantom_Type
Core: theory HOL-Library.LaTeXsugar
Core: theory HOL-Library.Product_Lexorder
Core: theory Util.Division
Core: theory Util.SList
Core: theory Util.Utils
Core: theory Util.MList
Core: theory Util.SpecificationLatexSugar
Core: theory HOL-Library.Cardinality
Core: theory HOL-Library.Numeral_Type
Core: theory HOL-Library.Type_Length
Core: theory HOL-Library.Word
Core: theory Util.ByteString
Core: theory Core.BlockchainTypes
Core: theory Core.SemanticsTypes
Core: theory Core.OptBoundTimeInterval
Core: theory Core.SemanticsGuarantees
Core: theory Core.Semantics
Core: theory Core.CloseSafe
Core: theory Core.MultiAssets
Core: theory Core.SingleInputTransactions
Core: theory Core.ValidState
Core: theory Core.PositiveAccounts
Core: theory Core.AssetsPreservation
Core: theory Core.QuiescentResult
Core: theory Core.TransactionBound
Core: theory Core.Timeout
Core: theory Core.TimeRange
Timing Core (8 threads, 27.860s elapsed time, 113.480s cpu time, 12.940s GC time, factor 4.07)
Finished Core (0:00:45 elapsed time, 0:02:25 cpu time, factor 3.18)

Finished at Mon Jul 22 09:16:38 GMT 2024
0:00:48 elapsed time, 0:02:25 cpu time, factor 3.01
Started at Mon Jul 22 09:16:38 GMT 2024 (polyml-for-isabelle-2022_x86_64-linux on localhost)
ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m"
ISABELLE_BUILD_OPTIONS=""

ML_PLATFORM="x86_64-linux"
ML_HOME="/nix/store/a4bgvp9lkwcfcy78g8niwdiy2fifz73f-polyml-for-isabelle-2022/bin"
ML_SYSTEM="polyml-for-isabelle-2022"
ML_OPTIONS="--minheap 1000"

Fontconfig error: Cannot load default config file: No such file: (null)
Session Pure/Pure
Session Misc/Tools
Session HOL/HOL (main)
Session HOL/HOL-Library (main timing)
Session Marlowe/Util
Session Marlowe/Core
Session Marlowe/Examples
Building Examples ...
Examples: theory HOL-Library.LaTeXsugar
Examples: theory HOL-Library.Phantom_Type
Examples: theory HOL-Library.Product_Lexorder
Examples: theory Util.Division
Examples: theory Util.SList
Examples: theory Util.Utils
Examples: theory Util.MList
Examples: theory Util.SpecificationLatexSugar
Examples: theory HOL-Library.Cardinality
Examples: theory HOL-Library.Numeral_Type
Examples: theory HOL-Library.Type_Length
Examples: theory HOL-Library.Word
Examples: theory Util.ByteString
Examples: theory Core.BlockchainTypes
Examples: theory Core.SemanticsTypes
Examples: theory Core.OptBoundTimeInterval
Examples: theory Core.SemanticsGuarantees
Examples: theory Core.Semantics
Examples: theory Core.MultiAssets
Examples: theory Core.ValidState
Examples: theory Core.PositiveAccounts
Examples: theory Core.AssetsPreservation
Examples: theory Core.QuiescentResult
Examples: theory Core.TransactionBound
Examples: theory Core.Timeout
Examples: theory Examples.Escrow
Examples: theory Examples.Swap
Timing Examples (8 threads, 32.118s elapsed time, 120.462s cpu time, 13.098s GC time, factor 3.75)
Finished Examples (0:00:45 elapsed time, 0:02:26 cpu time, factor 3.21)

Finished at Mon Jul 22 09:17:26 GMT 2024
0:00:47 elapsed time, 0:02:26 cpu time, factor 3.07
Started at Mon Jul 22 09:17:27 GMT 2024 (polyml-for-isabelle-2022_x86_64-linux on localhost)
ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m"
ISABELLE_BUILD_OPTIONS=""

ML_PLATFORM="x86_64-linux"
ML_HOME="/nix/store/a4bgvp9lkwcfcy78g8niwdiy2fifz73f-polyml-for-isabelle-2022/bin"
ML_SYSTEM="polyml-for-isabelle-2022"
ML_OPTIONS="--minheap 1000"

Fontconfig error: Cannot load default config file: No such file: (null)
Session Pure/Pure
Session Misc/Tools
Session HOL/HOL (main)
Session HOL/HOL-Library (main timing)
Session Marlowe/Util
Session Marlowe/Core
Session Marlowe/Examples
Session Marlowe/CodeExports
Building CodeExports ...
CodeExports: theory HOL-Library.Code_Target_Int
CodeExports: theory HOL-Library.Code_Abstract_Nat
CodeExports: theory HOL-Library.LaTeXsugar
CodeExports: theory HOL-Library.Phantom_Type
CodeExports: theory HOL-Library.Product_Lexorder
CodeExports: theory Util.Division
CodeExports: theory Util.SList
CodeExports: theory Util.Utils
CodeExports: theory Util.MList
CodeExports: theory Util.SpecificationLatexSugar
CodeExports: theory HOL-Library.Code_Target_Nat
CodeExports: theory HOL-Library.Code_Target_Numeral
CodeExports: theory HOL-Library.Cardinality
CodeExports: theory HOL-Library.Numeral_Type
CodeExports: theory HOL-Library.Type_Length
CodeExports: theory HOL-Library.Word
CodeExports: theory Util.ByteString
CodeExports: theory Core.BlockchainTypes
CodeExports: theory Core.SemanticsTypes
CodeExports: theory Core.OptBoundTimeInterval
CodeExports: theory Core.SemanticsGuarantees
CodeExports: theory Core.Semantics
CodeExports: theory Core.MultiAssets
CodeExports: theory Core.SingleInputTransactions
CodeExports: theory Core.ValidState
CodeExports: theory Core.PositiveAccounts
CodeExports: theory Core.AssetsPreservation
CodeExports: theory Core.QuiescentResult
CodeExports: theory Core.TransactionBound
CodeExports: theory Core.Timeout
CodeExports: theory Core.TimeRange
CodeExports: theory Examples.ContractForDifference
CodeExports: theory Examples.Escrow
CodeExports: theory Examples.Swap
CodeExports: theory CodeExports.CodeExports
Timing CodeExports (8 threads, 28.919s elapsed time, 132.102s cpu time, 11.071s GC time, factor 4.57)
Finished CodeExports (0:00:43 elapsed time, 0:02:41 cpu time, factor 3.67)
Exporting CodeExports ...
export "/build/isabelle/generated/Arith.hs"
export "/build/isabelle/generated/Division.hs"
export "/build/isabelle/generated/Examples/ContractForDifference.hs"
export "/build/isabelle/generated/Examples/Escrow.hs"
export "/build/isabelle/generated/Examples/Swap.hs"
export "/build/isabelle/generated/HOL.hs"
export "/build/isabelle/generated/List.hs"
export "/build/isabelle/generated/MList.hs"
export "/build/isabelle/generated/OptBoundTimeInterval.hs"
export "/build/isabelle/generated/Option.hs"
export "/build/isabelle/generated/Orderings.hs"
export "/build/isabelle/generated/PositiveAccounts.hs"
export "/build/isabelle/generated/Product_Lexorder.hs"
export "/build/isabelle/generated/Product_Type.hs"
export "/build/isabelle/generated/SList.hs"
export "/build/isabelle/generated/Semantics.hs"
export "/build/isabelle/generated/SemanticsGuarantees.hs"
export "/build/isabelle/generated/SemanticsTypes.hs"
export "/build/isabelle/generated/SingleInputTransactions.hs"
export "/build/isabelle/generated/Str.hs"
export "/build/isabelle/generated/TimeRange.hs"
export "/build/isabelle/generated/Timeout.hs"
export "/build/isabelle/generated/TransactionBound.hs"

Finished at Mon Jul 22 09:18:13 GMT 2024
0:00:46 elapsed time, 0:02:41 cpu time, factor 3.50
Started at Mon Jul 22 09:18:14 GMT 2024 (polyml-for-isabelle-2022_x86_64-linux on localhost)
ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m"
ISABELLE_BUILD_OPTIONS=""

ML_PLATFORM="x86_64-linux"
ML_HOME="/nix/store/a4bgvp9lkwcfcy78g8niwdiy2fifz73f-polyml-for-isabelle-2022/bin"
ML_SYSTEM="polyml-for-isabelle-2022"
ML_OPTIONS="--minheap 1000"

Fontconfig error: Cannot load default config file: No such file: (null)
Session Pure/Pure
Session Misc/Tools
Session HOL/HOL (main)
Session HOL/HOL-Library (main timing)
Session Marlowe/Util
Session Marlowe/Core
Session Marlowe/StaticAnalysis
Building StaticAnalysis ...
StaticAnalysis: theory HOL-Library.Adhoc_Overloading
StaticAnalysis: theory HOL-Library.LaTeXsugar
StaticAnalysis: theory HOL-Library.Phantom_Type
StaticAnalysis: theory HOL-Library.Product_Lexorder
StaticAnalysis: theory Util.Division
StaticAnalysis: theory Util.Utils
StaticAnalysis: theory Util.SList
StaticAnalysis: theory Util.SpecificationLatexSugar
StaticAnalysis: theory Util.MList
StaticAnalysis: theory HOL-Library.Monad_Syntax
StaticAnalysis: theory HOL-Library.Cardinality
StaticAnalysis: theory HOL-Library.Numeral_Type
StaticAnalysis: theory HOL-Library.Type_Length
StaticAnalysis: theory HOL-Library.Word
StaticAnalysis: theory Util.ByteString
StaticAnalysis: theory Core.BlockchainTypes
StaticAnalysis: theory Core.SemanticsTypes
StaticAnalysis: theory Core.OptBoundTimeInterval
StaticAnalysis: theory Core.SemanticsGuarantees
StaticAnalysis: theory Core.Semantics
StaticAnalysis: theory Core.MultiAssets
StaticAnalysis: theory Core.SingleInputTransactions
StaticAnalysis: theory Core.ValidState
StaticAnalysis: theory Core.PositiveAccounts
StaticAnalysis: theory Core.AssetsPreservation
StaticAnalysis: theory Core.QuiescentResult
StaticAnalysis: theory Core.Timeout
StaticAnalysis: theory StaticAnalysis.StaticAnalysis
Timing StaticAnalysis (8 threads, 36.065s elapsed time, 156.126s cpu time, 11.819s GC time, factor 4.33)
Finished StaticAnalysis (0:00:52 elapsed time, 0:03:08 cpu time, factor 3.59)

Finished at Mon Jul 22 09:19:08 GMT 2024
0:00:54 elapsed time, 0:03:08 cpu time, factor 3.46

real    3m50.569s
user    13m9.024s
sys     0m41.282s
Files isabelle/generated/Examples/ContractForDifference.hs and isabelle/generated-old/Examples/ContractForDifference.hs differ
Files isabelle/generated/Examples/Escrow.hs and isabelle/generated-old/Examples/Escrow.hs differ
Files isabelle/generated/Examples/Swap.hs and isabelle/generated-old/Examples/Swap.hs differ
Files isabelle/generated/Str.hs and isabelle/generated-old/Str.hs differ
Files isabelle/generated/Stringa.hs and isabelle/generated-old/Stringa.hs differ
isabelle build generated different files, did you check in isabelle/generated?